Mathematisches Glossar
Aussagenlogik
- Die Aussagenlogik verknüpft Aussagen mittels logischen Operatoren, ausgehend von strukturlosen Elementaraussagen (sog. Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.
» wird vorausgesetzt von: Prädikatenlogik
Prädikatenlogik
- Logiksystem, das das Arbeiten mit Aussagen beschreibt. Prädikatenlogik ist eine Erweiterung der Aussagenlogik.
» charakterisiert: OWL ; setzt voraus: Aussagenlogik
Glossar-Legende:
|