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.
Sequenzenkalkül (2)<br />
Regelname Antezedens Sukzedens<br />
[Axiom]<br />
[¬-Einführung]<br />
[∨-Einführung]<br />
[∧-Einführung]<br />
[→-Einführung]<br />
Γ ⊢ Θ, A<br />
¬A, Γ ⊢ Θ<br />
A, Γ ⊢ Θ B, Γ ⊢ Θ<br />
A ∨ B, Γ ⊢ Θ<br />
A, Γ ⊢ Θ<br />
A ∧ B, Γ ⊢ Θ<br />
B, Γ ⊢ Θ<br />
A ∧ B, Γ ⊢ Θ<br />
Γ ⊢ Θ, A B, ∆ ⊢ Λ<br />
A → B, Γ, ∆ ⊢ Θ, Λ<br />
D ⊢ D<br />
Γ ⊢ Θ, A<br />
Γ ⊢ Θ, A ∨ B<br />
A, Γ ⊢ Θ<br />
Γ ⊢ Θ, ¬A<br />
Γ ⊢ Θ, B<br />
Γ ⊢ Θ, A ∨ B<br />
Γ ⊢ Θ, A Γ ⊢ Θ, B<br />
Γ ⊢ Θ, A ∧ B<br />
A, Γ ⊢ Θ, B<br />
Γ ⊢ Θ, A → B<br />
36