Hallo erst einmal muss ich erwähnen, dass Sie sehr gute Videos haben. Zudem haben sie eine sehr angenehme Stimme (was nicht immer Vorteilhaft ist :D). Ich habe leider bei Part 2 keine Auflösung zu dem Challenge gefunden den Sie am Ende aufstellen. Als Lösung habe ich erst einmal zwei Stück gefunden und kann leider nicht vergleichen ob die richtig sind, da eine Lösung nirgends auftaucht. Vielleicht klappt das ja hier über Kommentar. Meine Lösungen sind: F(x) := gewinnt die Wahl ¬F(x) := verliert die Wahl G(x,y) := x hat etwas gegen y ∀x ∃y ∈ Menschen : G(x,y) ⇒ ¬ F(x) ¬∃x ¬∀y ∈ Menschen : ¬G(x,y) ⇒ F(x)
![[K2.2] Natürlichsprachliche Ausdrücke und Prädikatenlogik - Part 2](http://i.ytimg.com/vi/4Q_yjsZpJdE/mqdefault.jpg)
![[K2.2] Natürlichsprachliche Ausdrücke und Prädikatenlogik - Part 2](/img/tr.png)
![[K2.1] Beweisen mit Hilfe der Gesetze der Aussagenlogik](http://i.ytimg.com/vi/fwLzNlY90j0/mqdefault.jpg)
Hallo erst einmal muss ich erwähnen, dass Sie sehr gute Videos haben. Zudem haben sie eine sehr angenehme Stimme (was nicht immer Vorteilhaft ist :D). Ich habe leider bei Part 2 keine Auflösung zu dem Challenge gefunden den Sie am Ende aufstellen. Als Lösung habe ich erst einmal zwei Stück gefunden und kann leider nicht vergleichen ob die richtig sind, da eine Lösung nirgends auftaucht. Vielleicht klappt das ja hier über Kommentar. Meine Lösungen sind:
F(x) := gewinnt die Wahl
¬F(x) := verliert die Wahl
G(x,y) := x hat etwas gegen y
∀x ∃y ∈ Menschen : G(x,y) ⇒ ¬ F(x)
¬∃x ¬∀y ∈ Menschen : ¬G(x,y) ⇒ F(x)
Danke dafür!
Beim Wagenuniversum wird Peter unter alle Wagen subsumiert oder ist U nicht gleich D (Gesamtmenge)?