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 />
Syntactisch consistent<br />
◮ Verzameling formules Γ heet syntactisch consistent wanneer er<br />
geen formule ϕ is waarvoor zowel Γ ⊢ ϕ als Γ ⊢ ¬ϕ geldt.<br />
◮ In het andere geval: Γ inconsistent.<br />
◮ Voorbeeld: {¬p, p → q, q} is consistent.<br />
◮ Voorbeeld: Γ = {p, p → q, ¬q} is inconsistent.<br />
Namelijk, Γ ⊢ ¬q en Γ ⊢ q.<br />
L. Storme <strong>Hoofdstuk</strong> 4: <strong>Propositielogica</strong>: <strong>afleidingen</strong>