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.1b
Identify and determine the validity of the converse, inverse, and contrapositive of a conditional statement, and recognize the connection between a biconditional statement and a true conditional statement with a true converse, including statements representing geometric relationships.
