Category Archives: Logic

PatrickJMT Video: Intro to Propositional Logic

I mentioned in class that there are numerous online resources that you can access to help you learn the material. For example, you can find good YouTube videos to supplement the textbook readings.

One YouTube channel I like for math videos is PatrickJMT. Here is a 12min video he posted which covers the same topics we are beginning the semester with: propositional logic, specifically the basic logical connectives and truth tables.

Note that he uses slightly different terminology for some things:

  • he mostly uses the word “statements” instead of “propositions”
  • what I called “atomic propositions” in class, he calls “primitive statements”
  • he uses “implication” instead of “conditional”
  • in the truth tables, he uses “0” and “1” instead of “F” and “T”