There are no interactive problems for this subtopic
Outcomes
G.RLT.1
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.
