http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=435 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 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=435#comment-29 Thu, 22 May 2014 18:39:11 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=435#comment-29 Die Konstante, die bei einer Existenzbeseitigung neu eingeführt werden muss, darf auf dem ganzen Ast des Baumes (von der zu entwickelnden Formel bis ganz nach oben zum Ursprung des Baums) noch nicht vorgekommen sein.
Bitte beachte: Mit einem negierten Existenzquantor wird eine Allaussage gemacht!!! (Vgl.: ¬∃xPx ist äquivalent zu ∀x¬Px) D.h. bei der Elimination eines neg. Existenzquantors darf die Konstante beliebig gewählt werden, da es sich um eine Allbeseitigung handelt.
Umgekehrt wird mit einem negierten Allquantor eine Existenzaussage gemacht. (Vgl.: ¬∀xPx ist äquivalent zu ∃x¬Px)
Herzlich, Simon

]]>