Truth values (only two): true and false Variables to represent propositions: p, q, etc. Operators: & operands (and): we need to be able to connect/combine things to make more complex and detailed propositions
Notes