Wie sind Terme in der PL definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie sind Formeln in der PL definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist der Wirkungsbereich des Quantors $\forall$ in der Formel $\forall x F$
(bzw. des Quantors $\exists$ in der Formel $\exists x F$ ), wobei $F$ wiederum eine Formel ist?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist der Wirkungsbereich des Quantors $\forall$ in der Formel $\forall x F \lor G$,
wobei $F$ und $G$ wiederum Formeln sind?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann heißt eine Variable $x$ frei bzw. gebunden?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Aussage in der PL?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Matrix in der PL?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Struktur in der PL?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist die Interpretation $I_{\mathcal{A}}$ einer Struktur $\mathcal{A}$ weiter definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Struktur $\mathcal{A}$ passend zu einer Formel $F$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der Wert $\mathcal{A}(t) \in U_{\mathcal{A}}$ eines Terms $t$ der Formel $F$ in der Struktur $\mathcal{A}$ definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ die folgende Form hat: $F=P(t_1,\dots ,t_k)$ mit Termen $t_1,\dots ,t_k$ und dem $k$-stelligen Prädikatensymbol $P$ (d.h. $F$ ist eine atomare Formel)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ folgende Form hat: $F=\lnot G$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ folgende Form hat: $F=(G\land H)$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ folgende Form hat: $F=(G\lor H)$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ folgende Form hat: $F=\forall x\: G$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der Wahrheitswert $\mathcal{A}(F)$ einer Formel $F$ in der Struktur $\mathcal{A}$ definiert, falls $F$ folgende Form hat: $F=\exists x\: G$ ?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist die Struktur $\mathcal{A}_{[x/d]}$ definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Modell in der PL?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine PL Formel $F$ allgemeingültig?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine PL Formel (un-)erfüllbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet das Erfüllbarkeitsproblem der PL?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann sind zwei PL Formeln $F$ und $G$ semantisch äquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann sind zwei PL Formeln $F$ und $G$ erfüllbarkeitsäquivalent?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wofür steht $F[x/t]$, wobei $F$ eine Formel, $x$ eine Variable und $t$ ein Term ist?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was besagt das Überführungslemma?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist gebundene Umbenennung?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Formel bereinigt?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Formel $F$ in Pränexform?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Formel $F$ in Skolemform?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Aussage $F$ in Klauselform?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie wird mit freien Variablen in einer Formel $F$ verfahren, wenn man $F$ auf Erfüllbarkeit testen möchte? (Lemma 3.24)
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was muss man tun, wenn man zu einer gegebenen PL Formel $F$ eine zu $F$ erfüllbarkeitsäquivalente Formel in Klauselform erhalten möchte?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist das Herbrand-Universum $D(F)$ einer PL Aussage $F$ in Skolemform definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist die Herbrand-Struktur definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Herbrand-Modell und was ist das besondere daran (in Hinsicht auf die Erfüllbarkeit einer PL Formel)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Sei $F=\forall x_1,\: \forall x_2,\dots \forall x_n \: F^*$ eine Aussage in Skolemform. Wie ist die entsprechende Herbrand-Expansion $E(F)$ definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist Grundsubstitution?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was sind Grundinstanzen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Satz von Gödel-Herbrand-Skolem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Satz von Herbrand bzw. wann ist eine Aussage $F$ in Skolemform unerfüllbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was tut der Algorithmus von Gilmore?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Sei $L=\{ L_1,L_2,\dots ,L_k\}$ eine Menge von PL Literalen und $\text{sub}$ eine Substitution. Wann ist $\text{sub}$ ein Unifikator für $L$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Menge von Literalen $L$ unifizierbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann heißt ein Unifikator $\text{sub}$ für eine Menge von Literalen $L$ allgemeinster Unifikator für $L$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Unifikationssatz?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist der prädikatenlogische Resolvent von zwei Klauseln $K_1$ und $K_2$ definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet das Lifting Lemma?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie ist das wiederholte bilden von Resolventen bei einer PL-Klauselmenge $F$ definiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Resolutionssatz der Prädikatenlogik?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie verhalten sich die drei Probleme Unerfüllbarkeit/Erfüllbarkeit/Gültigkeit der PL in Bezug auf Entscheidbarkeit/Semi-Entscheidbarkeit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.