Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Beispiele für Sequenzenbeweise<br />
A ⊢ A<br />
⊢ A, ¬A<br />
¬¬A ⊢ A<br />
⊢ ¬¬A → A<br />
A ⊢ A<br />
⊢ A, ¬A<br />
⊢ ¬A, A<br />
B ⊢ B<br />
A → B ⊢ ¬A, B<br />
A → B ⊢ ¬A, ¬A ∨ B<br />
A → B ⊢ ¬A ∨ B, ¬A<br />
A → B ⊢ ¬A ∨ B, ¬A ∨ B<br />
A → B ⊢ ¬A ∨ B<br />
⊢ (A → B) → (¬A ∨ B)<br />
38