prädikatenlogik

Definition

Terme

Definition

Formel

Definition

Freie und gebundene Variablen

Semantische Äquivalenzen Quantoren

Semantische Äquivalenzen Quantoren gebundene Variable

Definition

Bereinigte Formel

Definition

Pränexform

Überführung in Normalformdarstellung

Definition

Klauselform prädikatenlogischer Formeln

Unification

Logikbasierte Wissensverarbeitung

Definition

Hornklausel

Definition

Logisches Programm