Propositional Logic

Propositional logic is the study of statements that are either true or false and how they combine. Every if condition you write, every database query filter and every digital circuit is propositional logic in disguise, so this chapter is the foundation for the rest of the course.

In this chapter

1. Propositions and Connectives: What a proposition is, and the five connectives (not, and, or, implies, if and only if) used to build compound statements.
2. Truth Tables: How to build a truth table for any compound proposition, step by step, and how many rows you need.
3. Tautologies and Logical Equivalence: Tautologies, contradictions and contingencies, and how to prove two propositions are logically equivalent.