Comments on: Quiz zu Identität http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=97 Weblog zur Einführung in die formale Logik [2. Jahrg.] Sat, 13 Jun 2026 13:05:18 +0000 http://wordpress.org/?v=2.2.3 By: Mirko http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=97#comment-100 Mirko Thu, 03 Apr 2008 18:27:10 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=97#comment-100 Sorry für das Code Wirrwarr! Formel a) ist ∀x(Px∧Qx→Rx) Formel d) ist ¬∃x¬(Px∧(Qx∧Rx)) Gruss Mirko Sorry für das Code Wirrwarr!

Formel a) ist ∀x(Px∧Qx→Rx)

Formel d) ist ¬∃x¬(Px∧(Qx∧Rx))

Gruss
Mirko

]]> By: Mirko http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=97#comment-99 Mirko Thu, 03 Apr 2008 18:14:30 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=97#comment-99 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? 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?

]]>