Section 2.2 - Statements
The basic unit of propositional logic is the 'statement'. We're going to start our discussion by looking at what statements are then thinking about how individual statements can be combined into more complex compound statements.
Videos
Lectures
A statement is the basic unit of logic just like variables are for algebra or sets are for set theory. (lecture slides)
There are two English phrases, "but" and "neither . . . nor . . .", that we can translate into a symbolic form but whose translations may not be intuitively obvious. (lecture slides)
We're going to spend most of the next section talking about something called "truth tables". These are going to be the fundamental tool that we use to distinguish between statements that are equivalent and statements that aren't. (lecture slides)
