The student will translate logic statements, identify conditional statements, and use and interpret Venn diagrams.
G.RLT.1a
Translate propositional statements and compound statements into symbolic form, including negations (~p, read “not pâ€), conjunctions (p ∧ q, read “p and qâ€), disjunctions (p ∨ q, read “p or qâ€), conditionals (p → q, read “if p then qâ€), and biconditionals (p ↔ q, read “p if and only if qâ€), including statements representing geometric relationships.
G.RLT.1d
Interpret Venn diagrams, including those representing contextual situations.
