Standard(s):
[MA2019] FM-19 (9-12) 1 : 1. Represent logic statements in words, with symbols, and in truth tables, including conditional, biconditional, converse, inverse, contrapositive, and quantified statements.
[MA2019] FM-19 (9-12) 2 : 2. Represent logic operations such as and, or, not, nor, and x or (exclusive or) in words, with symbols, and in truth tables.
[MA2019] FM-19 (9-12) 3 : 3. Use truth tables to solve application-based logic problems and determine the truth value of simple and compound statements including negations and implications.
a. Determine whether statements are equivalent and construct equivalent statements.
Example: Show that the contrapositive of a statement is its logical equivalent.
[MA2019] FM-19 (9-12) 4 : 4. Determine whether a logical argument is valid or invalid, using laws of logic such as the law of syllogism and the law of detachment.
a. Determine whether a logical argument is a tautology or a contradiction.