PPT-Folie
Die linke Seite (vor :- ) ist wahr, wenn die rechte Seite bewiesen werden kann.
Ein Komma zwischen zwei Fakten auf der rechten Seite entspricht einer logischen UND-Verknüpfung. Ein Semikolon entspricht einer ODER-Verknüpfung. Es kann geklammert werden.
Die UND- bzw. ODER-Verknüpfungen können auch bei Fragen angewendet werden. Mit not kann verneint werden.
Die Regeln werden auch Horn-Klauseln genannt.