Prädikatenlogik #2 --- Mathematik für Informatiker

  / lehrvideos  
http://christianbender.bplaced.net
AUFGABEN ZUM VIDEO:

Finden Sie durch das Video hindurch.
Zusätzlich:

1. Gibt es für die folgenden Prädikate Elemente aus dem genannten Universum, welche aus diesen Prädikaten wahre Aussagen macht?
Wenn ja, welche?

Es existiert ein x (Existenzquantor) aus den reellen Zahlen, so das x^2 = -1 wahr ist.

Gegeben ist das Prädikat "x + 3 ist größer als 5" bilden Sie aus diesem mittels geeigneter Quantoren über den natürlichen Zahlen eine wahre Aussage. Kann man daraus überhaupt eine wahre Aussage bilden?

Es existiert ein x (Existenzquantor) aus den rationalen Zahlen für welches das Prädikat sqrt(2) = x eine wahre Aussage wird.
sqrt : Steht für die Quadratwurzel, sqrt(2) für die Quadratwurzel von zwei. Gibt es ein x welches dieses Prädikat wahr werden lässt? Ist also die obige Aussage wahr, oder ist sie falsch? Wenn es ein x gibt, welches ist es?


2. Gegeben ist das Prädikat "x = 3 daraus folgt x = 4 "
Wenn Sie für x die 4 einsetze, wir dann das Prädikat zu einer wahren Aussage?