Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,492
edits
Changes
The logic of classical language/it (view source)
Revision as of 10:30, 2 November 2021
, 3 years agoCreated page with "Il procedimento consiste nel mostrare che l'assunzione che <math>p</math> sia falsa porta a una contraddizione logica. Così la proposizione <math>p</math> non può essere fal..."
Inoltre, nella logica classica c'è un principio chiamato il <u>terzo escluso</u> che dichiara che una frase che non può essere falsa deve essere presa come vera poiché non c'è una terza possibilità.
Inoltre, nella logica classica c'è un principio chiamato il <u>terzo escluso</u> che dichiara che una frase che non può essere falsa deve essere presa come vera poiché non c'è una terza possibilità.
Supponiamo di dover dimostrare che la proposizione <math>p</math> è vera. The procedure consists in showing that the assumption that <math>p</math> is false leads to a logical contradiction. Thus the proposition <math>p</math> cannot be false, and therefore, according to the law of the excluded third, it must be true. This method of demonstration is called ''demonstration by absurdity''<ref>{{Cite book
Supponiamo di dover dimostrare che la proposizione <math>p</math> è vera. Il procedimento consiste nel mostrare che l'assunzione che <math>p</math> sia falsa porta a una contraddizione logica. Così la proposizione <math>p</math> non può essere falsa, e quindi, secondo la legge del terzo escluso, deve essere vera. Questo metodo di dimostrazione è chiamato ''dimostrazione per assurdo''.<ref>{{Cite book
| autore = Pereira LM
| autore = Pereira LM
| autore2 = Pinto AM
| autore2 = Pinto AM