04:04 duration 4 minutes 4 seconds
CL - Lecture 4.i - Reduction 1
We use the rules to reduce a sequent to a conjunction of simpler sequents. In this example we find that the expression asserted by the sequent is a tautology — it is equivalent to the empty…