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 />
Intuïtionistische logica<br />
Intuïtionistische logica: is natuurlijke deductie zonder ¬E ∗ -regel.<br />
Gevolgen:<br />
◮ ¬¬p → p geen stelling meer<br />
◮ evenmin principe van het uitgesloten derde p ∨ ¬p<br />
Intuïtionistische logica = meer passende logica voor constructief<br />
redeneren.<br />
Weerleggen van ¬ψ in ¬E ∗ -regel is niet zelfde als constructie van<br />
ψ.<br />
L. Storme <strong>Hoofdstuk</strong> 4: <strong>Propositielogica</strong>: <strong>afleidingen</strong>