In den Vorlesungsfolien 4, Seite 16 wird der Satz „Einen verachten alle.“ mit ∃x∀yPyx formalisiert (wobei Pxy: x verachtet y). Der Satz ist von m.E. äquivalent zu „Alle verachten einen.“, der mit ∀y∃xPyx formalisiert werden könnte. Das Baumkalkül schliesst sich allerdings nicht. Wo liegt mein Fehler? Danke! Baumkalkül dazu: ⊢∃x∀yPyx↔∀y∃xPyx 1. ¬(∃x∀yPyx↔∀y∃xPyx) Hier teilt sich
Read on »