Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, founder, Interface administrators, member, oversight, Suppressors, Administrators, translator
11,492
edits
Changes
Translations:The logic of classical language/90/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..."
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''.