Diskussion:Mathe für Nicht-Freaks: Beweis

Frage/Anmerkung

"oder es ist ein Axiom deiner Theorie oder eine Tautologie." Wenn A => B eine Tautologie ist, dann müsste B wahr sein, warum also B dann noch zeigen? (Da A von dir [extra] als wahr angenommen wird, kann A => B nur dann sinnvoll als Tautologie bezeichnet werden wenn B als wahr gilt)

noch eine Anmerkung zum Begriff "logische Schlussfolgerung", meines Wissens verwendet man ihn für Prämissen auf Konklusion, aber nicht für die (materiale) Implikation in deinem Beweis (du nennst die kleinen Zwischenschritte auch logische Schlussfolgerungen), ich bin der Meinung das sind "nur" Implikationen, das Meta-Wort "logsiche Schlussfolgerung" bei den kleinen Schritten nicht angebracht. Wie siehst du das? -- ‎93.133.133.187 20:10, 21. März 2014 (Signatur nachgetragen von: Jürgen 12:14, 22. Mär. 2014 (CET) -- bitte künftig mit 4 Tilden ~~~~ selbst erledigen)

Hallo. Vielen Dank für dein Feedback! Zu deiner Anmerkung: Aus der Tatsache, dass $A\Rightarrow B$ eine Tautologie ist, folgt noch nicht, dass $B$ stets wahr sein muss. $B$ muss nur dann wahr, wenn gleichzeitig auch $A$ wahr ist (wenn $A$ falsch ist, kann $B$ beliebige Wahrheitswerte annehmen und trotzdem ist die gesamte Implikation wahr). Beispiel: $A\land B\Rightarrow A$ ist eine Tautologie (Wenn $A$ und $B$ wahr sind, ist auch immer $A$ wahr), aber $A$ muss nicht zwangsweise immer wahr sein.

Zum zweiten Punkt: Kannst du mir hier Textbeispiele/Definitionen schicken? Es stimmt, ich verwende "logische Schlussfolgerung" und "Implikation" synonym und mir wäre auch nicht bewusst, dass es Unterschiede zwischen beiden Begriffen gäbe. Grüße Stephan Kulla 23:06, 4. Apr. 2014 (CEST)

Kapitel Beweise gut gelungen

Der hier gegebene sehr seltene Einblick in die Entstehung eines Beweises auf einem Notizblatt im stillen Kämmerlein hat mir sehr gut gefallen. Generell ist das Beweis-Kapitel hinsichtlich der Anschaulichkeit gut gelungen. Es fiel mir wesentlich leichter zu lesen als das Kapitel über die Einführung in die Logik.--Michael Oestreicher 20:54, 22. Sep. 2016 (CEST)