Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Folienskript zur Aussagenlogik (pdf)
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
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