Aussagenlogik Wenn ich nun die Behauptung wenn p, dann p (p -> p) aufstelle, ist das dann eine wohlgeformte Formel?

... komplette Frage anzeigen

4 Antworten

Das ist eine wahre Behauptung. Selbst wenn sie sinnlos erscheint, kann sie aber je nach Thema gut sein, um auf irgendwas aufmerksam zu machen. Oder als Ergebnis von irgendwas.

Antwort bewerten Vielen Dank für Deine Bewertung

Das ist eine Tautologie oder immer wahre Aussage.

Antwort bewerten Vielen Dank für Deine Bewertung

Ja, das ist ein wohlgeformeter Ausdruck.

Er bedeutet: "( NOT p ) oder p ",

denn "A impliziert B" ist ja nur abkürzende Schreibweise für "( NOT A ) oder B".

Antwort bewerten Vielen Dank für Deine Bewertung

Habe ich so noch nie gesehen und würde ich auch nicht schreiben. Der Pfeil steht ja für eine Implikation und p impliziert ja nicht p sondern p ist gleich p. 

Antwort bewerten Vielen Dank für Deine Bewertung

Was möchtest Du wissen?