MA19.FM.1
Represent logic statements in words, with symbols, and in truth tables, including conditional, biconditional, converse, inverse, contrapositive, and quantified statements.
Represent logic statements in words, with symbols, and in truth tables, including conditional, biconditional, converse, inverse, contrapositive, and quantified statements.
Unpacked Content
UP:MA19.FM.1
Vocabulary
- Proposition
- Statement variables
- Logical operators
- Truth table
- Negation
- Conditional statement
- Hypothesis/antecedent
- Conclusion/consequent
- Converse statement
- Inverse statement
- Contrapositive statement
- Biconditional statement
- Equivalent statements
Knowledge
Students know:
- How to determine if a simple statement is true or false.
Skills
Students are able to:
- Construct a truth table for propositions with a variety of operators.
- Write a proposition using logical operators and statement variables such as p and q.
- Write the converse, inverse, contrapositive and biconditional of a conditional statement using logical operators and statement variables.
Understanding
Students understand that:
- A conditional statement’s validity is based on the validity of its components.
- Truth tables must contain all possible assignments of true and false for each component.
- A statement is either true or false.
Body
- Represent logic statements in words, with symbols, and in truth tables, including conditional, biconditional, converse, inverse, contrapositive, and quantified statements.