Beweise im prädikatenlogischen Kalkül!
Ɐx(Fx → Gx)x(Bx→Ox)SsⱯx(Fx → Gx)x(Sx→Nx)Ɐx(Fx → Gx)x(Nx→¬Os)Also: ¬ Bs
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.