6.1262

Nella logica la dimostrazione è solo uno strumento meccanico per riconoscere più facilmente la tautologia là dove essa è complicata.