3. Prädikatenlogik

Prädikatenlogik

Frage:

Gib an, was man unter Prädikatenlogik versteht!

Antwort:

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

Von AL zur PL

Frage:

 Um welche Konzepte erweitert die Prädikatlogik die Aussagenlogik?

Antwort:

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

1. und 2. Stufe

Frage:

Wie unterscheidet sich das Prädikatenkalkül erster Stufe vom Prädikatenkalkül zweiter Stufe?

Antwort:

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

Syntax Namen

Frage:

Gib an, wie in der PL Namen syntaktisch richtig angegben werden.

Antwort:

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

alternative Syntax

Frage:

Gib eine alternativ Syntax von Namen an!

Wofür werden sie genutzt?

Gib ein Beispiel an!

Antwort:

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

Interpretation von Namen

Frage:

Gib an wie Namen interpretiert werden!

Antwort:

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

Sprachen

Frage:

 Welche Sprachen gibt es und wozu dienen sie?

Antwort:

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

gebundene Variablen

Frage:

Wann heißt eine Individuenvariable $x_i$ gebunden? 

Antwort:

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