Logic and Proofs | Part 5 - Rules of Inference

This video is about:
- Drawing conclusions from the conditional 'if p then q'
- Rules of Inference
- Modus Ponendo Ponens
- Modus Tollens
- Quantification Rules

Sections correspond to "A Transition to Advanced Mathematics" by Smith, Eggen and Andre

MISTAKE: There is a mistake in the truth table on slide 3. The third true/false value in the third column is TRUE not False.

[seekanddestroyNL]

There is a mistake at 3:55. It says p -> q = F for p=F and q=T, it should've been p- > q = T