Beweise im prädikatenlogischen Kalkül!
Ɐx(Fx → Gx)x((Fx v Gx)→Hx)Ɐx(Fx → Gx)x(Kx→¬Hx)KmAlso: ¬ Gm
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.