Aussagenlogik I
- Einfaches formales System zur Repräsentation von Aussagen.
- Zweiwertige Logik (Jede Aussage ist entweder wahr oder falsch)
- Jede Aussage als Wort über einem Zeichenvorrat M = {Z,O} formuliert, wobei Z die Menge der binären Aussagevariablen (Typ Boolean) und O die Menge der Junktoren (Operatoren) ist, Bsp.:
Die Operatoren sind nach ihrer Bindungsstärke geordnet. Die Ordnung (Priorisierung) ist: