PL-Kalkül 1
Frage:
Beweise die folgende Aufgabe im prädiaktenlogischen Kalkül!
Ɐx(Fx → Gx)x(Fx → Gx)
Ɐx(Fx → Gx)x(¬Gx)
Also: Ɐx(Fx → Gx)x(¬Fx)
Antwort:
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Kommentare
Nur angemeldete Nutzer dürfen kommentieren.
Hier geht's zur kostenlosen Registrierung.