This video covers the formal proof system called natural deduction (without quantifiers), along with the corresponding sequent rules. It roughly follows chapter 2 of Chiswell & Hodges' "Mathematical Logic".
00:00 Introduction
03:47 Definition: Derivation
07:31 Definition: Sequent
13:33 Axiom rule & structural sequent rules
19:07 Conjunction introduction
24:02 Exercises: Conjunction introduction
27:21 Conjunction elimination rule
39:26 Exercises: Conjunction elimination
41:19 Implication introduction
53:17 Implication elimination
59:06 Exercises: Implication
1:01:07 Equivalence intro and elimination
1:03:59 Exercises: equivalence
1:05:44 Negation elimination
1:06:50 Negation introduction
1:15:25 Reduction ad absurdum rule
1:25:16 Negation sequent rules
1:27:50 Exercises: Negation
1:28:46 Disjunction introduction
1:39:52 Disjunction elimination
1:44:48 Exercises: Disjunction
The playlist for the course can be found here: • Logic & Foundations wi...