Kommentare zu: Mehrfaches Quanitifzieren http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=1495 Weblog zur Einführung in die formale Logik [8. Jahrg.] Sun, 14 Dec 2014 18:04:00 +0000 hourly 1 https://wordpress.org/?v=4.1.38 Von: Pablo Labhardt http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=1495#comment-28599 Sun, 14 Dec 2014 12:20:57 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=1495#comment-28599 Liebe/r l-s

Die dazugehörige Regel wurde in Logik I mit Übungsblatt 8, Aufgabe 11g eingeführt und wird «Importation/Exportation» genannt.

Liebe Grüsse
Pablo

]]> Von: Philipp http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=1495#comment-28593 Sun, 14 Dec 2014 10:41:06 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=1495#comment-28593 Lieber l-s

Dein Vorschlag und Frau Saporitis Formalisierung sind äquivalent. (Kannst sonst ein Bäumchen zeichnen.)

Liebe Grüsse
Philipp

]]>