G.14. Proofs with Addition (Natural Deduction)

Logic Self-Taught G video series is a basic introduction to natural deduction in propositional logic with 9 inference rules: Conjunction, Simplification, Modus Ponens, Modus Tollens, Hypothethical Syllogism, Addition, Disjunctive Syllogism, Constructive Dilemma, and Absorption.

In this video, we learn how to do simple proofs with Addition.

00:00 Introduction
00:26 Recap: Addition
00:54 Proof 1 - plan
02:22 Proof 1 - plan in action
03:12 Proof 1 - Comment on how to apply Addition
03:39 Proof 2 - plan
04:08 Proof 2 - first step and planning continued
06:08 Proof 2 - plan in action

........................