Introduce students to:
The rudiments of Boolean Algebra.
Both a formal and intuitive understanding of implication (p -> q).
Mechanical (computational) approaches to the standard rules of inference, informal resolution theorem proving.
Anticipated learner outcomes
Students will be able to:
Describe a scenario as facts and propositions.
Use Boolean algebra to represent a world state.
Determine whether a proposition is true or false using standard rules of inference.
Optional Writing Activity
This activity introduces Boolean Algebra as a formalism for reasoning with proposition. Make a case for or against: is this a sufficient way to represent the real world (or even a virtual one), and the reason for your choice.