Quiz zu Identität
Hallo zusammen!
Bei der vierten Quizfrage ergibt sich bei mir keine Äquivalenz von:
a) ∀x(Px∧Qx→Rx)
und
d) ¬∃x¬(Px∧(Qx∧Rx))
Meine Vermutung ist eben, dass d) nicht angekreuzt werden sollte. Was meint Ihr dazu? Hat jemand von Euch die Aussage von Frage 8 formalisieren können?
lg,
Hannes
Mirko schrieb am 03 Apr 2008 um 8:14 pm ¶
Hallo Hannes!
so wie ich das sehe hast Du recht: die Formeln
a) \forallx(Px\landQx\toRx) und
d) \neg\existsx\neg(Px\land(Qx\landRx))
sind nicht äquivalent. Die Formel d) impliziert zwar a) aber nicht umgekehrt.
Deine zweite Frage betreffend: Kannst Du uns sagen, wo genau Du Probleme mit dem Formalisieren hast?
Mirko schrieb am 03 Apr 2008 um 8:27 pm ¶
Sorry für das Code Wirrwarr!
Formel a) ist ∀x(Px∧Qx→Rx)
Formel d) ist ¬∃x¬(Px∧(Qx∧Rx))
Gruss
Mirko