Propositional logic
The derivation of q ? (p ? q) in sequent calculus looks as follows:
q ? q axiom
q, p ? q LW (left weakening)
q ? p ? q R?
? q ? (p ? q) R?
Previous slide
Next slide
Back to first slide
View graphic version