2,041
edits
Changes
Translations:The logic of classical language/90/en (view source)
Revision as of 03:37, 27 October 2021
, 3 years agoImporting a new version from external source
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''