Logik Vorlesung im Wintersemester 2010
15
0
0
Volltext
(2)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
ÄHNLICHE DOKUMENTE
Satz Jede Formel H ist äquivalent zu einer Formel in disjunktiver Normalform..
Dabei heißt ein Literat positiv ( btw. negativ ) , wenn die Variable. nicht negiert
Xi nicht eliminiert , so weiß nicht immer Ilxiko gewählt
Steffen Reith.. es
Logik &
Nach Satz von Henlein ist OIULZHS nicht konsistent.
auch Mengen variablen ( = Variable die f. Teilmengen der Grund meuge ). steht
Logik &