Hoofdstuk 4: Propositielogica: afleidingen

kelder.zeus.ugent.be

Hoofdstuk 4: Propositielogica: afleidingen

Inleiding: structuur van redeneringen

Natuurlijke deductie

Afleidbaar en consistent

Axiomatisch afleiden

Theoretische aspecten van het systeem van natuurlijke deductie

Afleidingen

Afleidingsregels voor natuurlijke deductie:

Al deze regels hebben een equivalente lineaire vorm, b.v.

(∧I): Als ϕ uit Σ en ψ uit Φ, dan ϕ ∧ ψ uit Σ ∪ Φ.

L. Storme Hoofdstuk 4: Propositielogica: afleidingen

More magazines by this user
Similar magazines