Aussagenlogik |
22.09.2014, 14:49 | 0664jester | Auf diesen Beitrag antworten » | ||||
Aussagenlogik Ich möchte beim folgenden Beispiel bestimmen, ob es eine Tautologie ist: Angabe: erster Schritt: fehlt mal weg! zweiter Schritt: Kann man das nun so als Tautologie stehen lassen? Gruß, jester |
||||||
22.09.2014, 16:17 | Stephan Kulla | Auf diesen Beitrag antworten » | ||||
RE: Aussagenlogik Was meinst du mit der Schreibweise ? Diese kenne ich nicht... Ansonsten: Dir könnte der Artikel zur Überprüfung einer Tautologie helfen... |
||||||
22.09.2014, 16:28 | 0664jester | Auf diesen Beitrag antworten » | ||||
RE: Aussagenlogik ! == NOT Wenn ich es ausspreche "Nicht A" Danke für die Frage. Gruß, Jester |
||||||
22.09.2014, 16:50 | Stephan Kulla | Auf diesen Beitrag antworten » | ||||
RE: Aussagenlogik
Beachte die Bindungsreihenfolge der Junktoren. Weil mehr bindet als , ist obige Gleichung falsch geklammert... Außerdem ist nach richtiger Anwendung der Morganschen Regeln (Am Ende kommst du aber wegen auf dasselbe...)
Ja, denn Alternativ kannst du eine Wahrheitstabelle erstellen... |
||||||
22.09.2014, 16:53 | Stephan Kulla | Auf diesen Beitrag antworten » | ||||
RE: Aussagenlogik
Verwende lieber "\neg A" (Ergebnis ) oder "\overline A" (Ergebnis ). Diese Schreibweisen scheinen mir die gängigen für die Negation einer Aussage zu sein (die Schreibweise mit dem Ausrufezeichen kenne ich nicht). |
||||||
22.09.2014, 18:36 | 0664jester | Auf diesen Beitrag antworten » | ||||
RE: Aussagenlogik // T für tertium non datur [/latex] T oder C ist immer T P.S \neg hat bei mir zuerst nicht funktioniert aus welchen grund auch immer. |
||||||
Anzeige | ||||||
|
||||||
23.09.2014, 01:47 | Stephan Kulla | Auf diesen Beitrag antworten » | ||||
RE: Aussagenlogik
In der zweiten Zeile müsste stehen (den Rest habe ich nicht weiter kontrolliert...) |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|