04:13 duration 4 minutes 13 seconds
CL - Lecture 4.h - Sequents 3
We can now give Gentzen's rules for ¬ ⋀ ⋁.