Difference between revisions of "The logic of classical language - de"

The logic of classical language - de (view source)

Revision as of 16:27, 2 January 2023

61 bytes added , 1 year ago

→‎Demonstration by absurdity

Luca

Editor, Editors, USER, editor, translator

5,845

edits

@@ Line 453: / Line 453: @@
 #Mitgliedschaft, die durch das Symbol angezeigt wird <math>\in</math> (ist ein Element von) oder durch das Symbol <math>\not\in</math> (ist kein Element von):
-===Demonstration by absurdity===
+===Demonstration durch Absurdität===
-Furthermore, in classical logic there is a principle called the <u>excluded third</u> which declares that a sentence that cannot be false must be taken as true since there is no third possibility.
+Darüber hinaus gibt es in der klassischen Logik ein Prinzip, das als ausgeschlossenes Drittel bezeichnet wird und besagt, dass ein Satz, der nicht falsch sein kann, als wahr angenommen werden muss, da es keine dritte Möglichkeit gibt.
-Suppose we need to prove that the proposition <math>p</math> is true. 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
+Angenommen, wir müssen beweisen, dass der Satz <math>p</math> iist wahr. Das Verfahren besteht darin, zu zeigen, dass die Annahme, dass <math>p</math> falsch ist, führt zu einem logischen Widerspruch. So der Vorschlag <math>p</math> kann nicht falsch sein und muss daher nach dem Gesetz des ausgeschlossenen Dritten wahr sein. Diese Demonstrationsmethode wird Demonstration durch Absurdität genannt<ref>{{Cite book
   | autore = Pereira LM
   | autore2 = Pinto AM