Logic 5: Natural Deduction

This video covers the formal proof system called natural deduction (without quantifiers), along with the corresponding sequent rules.