Translations:The logic of classical language/90/it

Il procedimento consiste nel mostrare che l'assunzione che $p$ sia falsa porta a una contraddizione logica. Così la proposizione $p$ non può essere falsa, e quindi, secondo la legge del terzo escluso, deve essere vera. Questo metodo di dimostrazione è chiamato dimostrazione per assurdo.