Prädikatenlogik

Prädikatenlogik

Frage:

was ist Prädikatenlogik ?

Antwort:

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

Erfüllbar

Frage:

Was bedeutet es das ein Ausdruck erfüllbar ist?

Antwort:

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

Allgemeingültig (Tautologie)

Frage:

Was bedeutet es das ein Ausdruck allgemeingültig ist? (Tautologie)

Antwort:

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

Kontradiktion

Frage:

Was bedeutet es das ein Ausdruck eine Kontradiktion ist? 

Antwort:

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

Folgern

Frage:

Was heißt Folgern? 

Antwort:

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

Zusammenhänge ag & ef

Frage:

Beispiele für die Zusammenhänge zwischen ag & ef 

Antwort:

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

Eigenschaften der Abbildung fl

Frage:

Zähle Eigenschaften von fl auf!

Antwort:

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

Abtrennungsregel

Frage:

Was besagt die Abtrennugnsregel? (modus ponens)

Antwort:

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

Einsetzungsregel

Frage:

Was besagt die  Einsetzungsregel?

Antwort:

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

Ableiten

Frage:

Was ist Ableiten ?

Antwort:

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

Objekte

Frage:

Aus was besteht ein Objekt? 

Antwort:

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

Individuenbereich

Frage:

Was ist ein Individuenbereich? 

Antwort:

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

Cut-Ableiten

Frage:

Was ist Cut-Ableiten ?

Antwort:

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

Entscheidungsverfahren

Frage:

Def. Entscheidungsverfahren: 

Antwort:

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

Eigenschaften des Ableitens

Frage:

Beispiele 

Antwort:

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