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)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.