Activity
Stefan Warner and Steven R. Costenoble

Finite Mathematics & Applied Calculus: Predicate Calculus

For Students 9th - 10th Standards
The resource investigates predicate calculus. The tutorial examines propositional calculus, universal quantifiers, mathematical statements, and divisibility. Students learn about the logic concepts through notes and examples. Practice...
Website
Other

Boolean Propositional Logic

For Students 9th - 10th
Introduction to classic, boolean propositional logic. Written in a clear way with little or no technical notation. A great place to start for those beginning to learn about logic.
Website
Stanford University

Stanford Encyclopedia of Philosophy: Singular Propositions

For Students 9th - 10th
Helpful introduction to the mechanics of using "propositions" technically in logic. Article defines several important terms and uses good examples to contrast different types of propositions.
Handout
Stanford University

Stanford University: Structured Propositions

For Students 9th - 10th Standards
This site provides some brief, general information about structuring propositions.