| Autor |
Beitrag |
    
Björn
| | Veröffentlicht am Montag, den 25. Oktober, 1999 - 10:40: | 
|
Ich weiß nit, ob das das richtige Forum ist, aber egal, es geht grundsätzlich um Beweise. Kann ich etwas beweisen(in der Logik zum Beispiel) in dem ich es in der negation beweise ? ein allgemeines beispiel :Jemand will beweisen, daß eine Aussage A gilt. Das wird dadurch getan, indem man A logisch aus der Negation von A herleitet. Hat man damit A bewiesen ? Tolle Aufgabe, und davon habe ich noch mehr, aber ich glaube, sie sind einfach zu lösen, wenn ich weiß, ob man das darf oder nicht (an dem Tag war ic wohl krank oder so..).
Thx
Björn
Mailt bitte an : B.Lueck@gmx.de |
Anonym
| | Veröffentlicht am Montag, den 25. Oktober, 1999 - 15:24: |
|
Eine Aussage A ist entweder wahr oder falsch.
neg(A) ist dann entweder falsch oder wahr.
Ergo: Ist neg(A) falsch, dann muß A wahr sein... |
habac
| | Veröffentlicht am Montag, den 25. Oktober, 1999 - 16:31: |
|
Ich denke, es geht hier um den indirekten Beweis.
(ØA bezeichnet die Negation von A).
Wenn man den Satz vom ausgeschlossenen Dritten akzeptiert (was in der klassischen Logik der Fall ist), so folgt aus der Ungültigkeit von ØA die Wahrheit von A. Wenn Du also ØA annimmst und durch logisches Schliessen auf einen Widerspruch stösst (z. B. 0=1 oder A, was ja nicht gleichzeitig mit ØA zutreffen kann), dann muss die Annahme, also ØA falsch sein. Das bedeutet aber, dass A wahr ist.
habac |
|
