Propositional logic
? q ? (p ? q)
In the axiomatic proof theory, the proof is trivial:
q ? (p ? q)
A natural deduction proof uses ?-Introduction twice, once with the retraction of a premise:
[q](1)
p ? q (1)
q ? (p ? q)
Previous slide
Next slide
Back to first slide
View graphic version