Logik-FAQ

Was ist Logik?
Logik (griechisch) bedeutet "Argument, Argumentation".
Logik als Wissenschaft hat zu Ziel, das "korrekte" Argumentieren mathematisch zu fassen.

Was bedeutet falsifizierbar?
Das die Formel min 1 mal Falsch enthält (false, 0)

Was bedeutet erfüllbar?
Das die Formel in min 1 Punkt Wahr ist (true, 1)

Was bedeutet unerfüllbar, widersprüchlich?
Wenn die Formel in jedem Fall falsch ist.

Was bedeutet allgemeingültig, tautologisch?
Wenn die Formel in jedem Fall wahr ist.

Was ist KNF?
KNF ist ein Konjunktion von ODER Ketten.
und vollständig?
wenn Signatur endlich ist und wenn in jedem Konjunktionsglied alle Symbole (negiert oder unnegiert) vorkommen.

Was ist DNF?
DNF ist ein Disjunktion von UND Ketten.
und vollständig?
wenn Signatur endlich ist und wenn in jedem Disjunktionsglied alle Symbole (negiert oder unnegiert) vorkommen.

Was kann man mit einer Resolution Beweisen?
Widerspruch in der Formel

Was besagt das Universum in der Pridikatenlogik?
Das Universum ist das worüber gesprochen wird.

Ein mgu ist?
most general unifyer (d.h. man muss bei der Unifikation um Zwei Klauseln anzugleichen einen mgu der beiden bilden.
P(x,a) und P(f(x),y)
 mgu Q={x -> f(a),y -> a}
Q( P(x,a) = P(f(x),y) ) 
Q( P(f(y),a) = P(f(x),a) )

Eine Hornklauselist?
Wenn sie in KNF-Form vorliegt und wenn jede Disjunktionskette der KNF maximal (bzw. genau) ein positives Literal enthält.

Logische Junktoren/Quantoren und ihre Bindungsstärke

Wahrheitstafel für die Grund Junktoren

Die semantische Äquivalenzen der Aussagenlogik

Die semantische Äquivalenzen der Prädikatenlogik