En un manual de lógica formal de no escasa difusión en nuestro país se propone al lector como ejercicio la prueba de la ...