TU Wien:Formale Modellierung VU (Salzer)/Kapitel Aussagenlogik

From VoWi
Jump to navigation Jump to search

Siehe auch Zusammenfassung Aussagenlogik.pdf.

Beispiel für eine Inferenzregel:

Kriterium für die Gültigkeit von Inferenzregeln
Immer wenn alle Prämissen wahr sind, ist auch die Konklusion wahr.

Funktionen[edit]

and nand
or nor
iff xor
implies
if

{not, and, or} ist vollständig für die aussagenlogische Funktionen (es können alle mit ihnen ausgedrückt werden). Ebenfalls vollständig sind {not, and}, {nand}, {not, or}, {nor}, {not, implies} und {implies, false}.

De Morgansche Gesetze
De Morgansche Gesetze[Bearbeiten, Wikipedia]

Sonstiges[edit]

  • Syntax und Semantik
  • Normalformen (z.B. disjunktive und konjunktive Normalform)
  • Erfüllbarkeitsproblem (Satisfiability, SAT)
  • Dualität von Funktionen, Operatoren und Formeln