'Language, Proof and Logic' (Chapter 8): Conditional and Biconditional Rules

This video covers the basics of the introduction and elimination rules for the conditional and biconditional connectives. More specifically, the truth-functionality of these connectives is the foundation for the conditional introduction and elimination, and the biconditional introduction and elimination rules.