ALEX Resources

   View Standards     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.

This informational material will introduce truth tables and give several examples. It will explain statements and logical connectives and give examples of true and false statements. Truth tables of negation, conjunction, and disjunction will be explained.

   View Standards     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.

This material will construct the five common logical connectives or operators. They are considered common logical connectives because they are very popular, useful, and always taught together.

   View Standards     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.

This informational material will introduce students to logic statements containing and and or, the symbols to represent the logical connectives, and truth tables. There is a corresponding video available. Practice questions with a PDF answer key are provided. In addition, there is a self-checking online practice tool.

   View Standards     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.

This informational material will introduce students to inverse, converse, and contrapositive logic statements. The use of symbols and truth tables for these logical statements is explained. There is a corresponding video available. Practice questions with a PDF answer key are provided. In addition, there is a self-checking online practice tool.

   View Standards     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.

This informational material will introduce negations and explain how to represent these logical statements with symbols in truth tables. It will introduce the term tautology and explain how a truth table can demonstrate a tautology. Practice questions with a PDF answer key are provided. In addition, there is a self-checking online practice tool.

   View Standards     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) 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.

This informational material will introduce students to if-then logical statements and demonstrate how to represent these statements with symbols in truth tables. It will also describe a contradicting logical argument. There is a corresponding video available. Practice questions with a PDF answer key are provided. In addition, there is a self-checking online practice tool.