Hoofdstuk 4: Propositielogica: afleidingen
Hoofdstuk 4: Propositielogica: afleidingen
Hoofdstuk 4: Propositielogica: afleidingen
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Inleiding: structuur van redeneringen<br />
Natuurlijke deductie<br />
Afleidbaar en consistent<br />
Axiomatisch afleiden<br />
Theoretische aspecten van het systeem van natuurlijke deductie<br />
Absurde bewering ⊥<br />
Absurde atomaire bewering ⊥.<br />
Hoe aantonen dat ¬ϕ geldt: toon aan dat ϕ tot absurde atomaire<br />
bewering ⊥ leidt.<br />
ϕ →⊥ impliceert ¬ϕ geldig.<br />
L. Storme <strong>Hoofdstuk</strong> 4: <strong>Propositielogica</strong>: <strong>afleidingen</strong>