Le teorie della negazione nel XII secolo e la riscoperta della logica proposizionale The theories of negation in the 12th century and the rediscovery of propositional logic