Teil I: Logik und Prädikatenlogik
Teil I: Logik und Prädikatenlogik
Teil I: Logik und Prädikatenlogik
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Syntaktische Umformung<br />
Äquivalent sind die folgenden Formeln:<br />
((P → Q) ∧ P ) → Q<br />
¬ ((¬P ∨ Q) ∧ P ) ∨ Q<br />
((P ∧ ¬Q) ∨ ¬P ) ∨ Q<br />
((P ∨ ¬P ) ∧ (¬Q ∨ ¬P )) ∨ Q<br />
(w ∧ (¬P ∨ ¬Q)) ∨ Q<br />
(¬P ∨ ¬Q) ∨ Q<br />
¬P ∨ w<br />
w<br />
12