Logik Übungsblatt 9 §

Name: Alexander Weichart Matrikelnummer: 2170749

Aufgabe 1 §

∃x (¬ Hxb ∧ Hxx)

1. ¬ Hxb: <b,c>, <c,c>
2. Hxx: <c,c>
3. ¬ Hxb ∧ Hxx: <c,c>
4. ∃x (¬ Hxb ∧ Hxx): <c,c>

-> Ja, die Formel stimmt, da für x = c ein x existiert, das die Formel erfüllt