Hoofdstuk 4: Propositielogica: afleidingen
Hoofdstuk 4: Propositielogica: afleidingen
Hoofdstuk 4: Propositielogica: afleidingen
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Inleiding: structuur van redeneringen<br />
Natuurlijke deductie<br />
Afleidbaar en consistent<br />
Axiomatisch afleiden<br />
Theoretische aspecten van het systeem van natuurlijke deductie<br />
Voorbeeld 4.6<br />
p → q ⊢ ¬q → ¬p<br />
ϕ = p → q<br />
1. p → q uit ϕ aanname ϕ<br />
2. ¬q uit ¬q (hulp)aanname<br />
3. p uit p (hulp)aanname<br />
4. q uit p, ϕ →E(1,3)<br />
5. p ∧ ¬q uit p, ¬q ∧I(2,3)<br />
6. ¬q uit p, ¬q ∧E(5)<br />
7. ¬p uit ¬q, ϕ ¬I(4,6)<br />
8. ¬q → ¬p uit ϕ →I(7)<br />
L. Storme <strong>Hoofdstuk</strong> 4: <strong>Propositielogica</strong>: <strong>afleidingen</strong>