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

https://www.facebook.com/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?