3.2 Erfüllbarkeit

Allgemein

Frage:

Wann ist eine Ausssage H erfüllbar bzw. allgemeingültig?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.

Beziehung zwischen $ef$ und $ag$

Frage:

Wie ist die Beziehung zwischen $ef$ und $ag$ definiert?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.