Nach welchen regeln wird diese Aufgabe der Prädikatenlogik gelöst?
In dem ersten Schritt wird deMorgan angewandt. Außerdem gilt die Regel:
Aber nach welchen Regeln werden die letzten beiden Schritte durchgeführt?
2 Antworten
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Mathematik
Der zweite Schritt ist falsch - der zweite Existenzquantor müsste ein Allquantor sein. Das folgt aus der Regel
∃x: ¬A(x) ⇔ ¬∀x: A(x)
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Mathematik
Der Umformung zur dritten Zeile stimmt nicht, ganz rechts müsste statt dem Existenz- ein Allquantor stehen. Dann sind die beiden letzten Schritte aber nur die von dir genannte Identität zweimal angewandt.