| Logic
Lesson |
Access |
Description |
| Negation |
 |
To define
closed sentence, open sentence, statement, negation, truth value,
truth table. To identify a statement as true, false or open. To list the negation of a statement in symbolic form and in
sentence form. To list the truth values for a given
statement and its negation. |
| Conjunction |
|
To define
logical connector, compound statement, and conjunction. To List a conjunction in symbolic form and in sentence
form. To recognize that the conjunction of two open
sentences depends on the replacement value of the variable in each.
To list the truth values of a conjunction, given the truth values of each part.
To construct a truth table for a conjunction to determine its
truth values. |
| Disjunction |
 |
To define disjunction.
To list a disjunction in symbolic form and in sentence form. To recognize that the disjunction of two open sentences depends on the replacement value of the variable in each.
To list the truth values for a conjunction, given the truth values of each part.
To construct a truth table for a disjunction to determine its truth values. |
| Conditional
Statements |
 |
To define conditional statement, hypothesis, and conclusion.
To identify the hypothesis and conclusion of a conditional statement.
To list a conditional statement in symbolic form and in sentence form.
To list the truth value of a conditional statement, given the truth value of each part. |
| Compound
Statements |
|
To
define symbolic form. To evaluate sentences represented by
compound statements with the connectors not, and, or, and
if-then. To list a compound statement in symbolic form with
the connectors with the connectors not, and, or, and if-then. To construct a truth table for a compound statement to determine
its truth values. |
| Biconditional
Statements |
|
To
define biconditional statement. To list a biconditional in symbolic form, and in sentence form using "if and only if" or
"iff". To identify the hypothesis and the conclusion of a
biconditional. To evaluate a sentence to determine whether or not it is
biconditional. To recognize the difference between a conditional and a biconditional statement. |
| Tautologies |
|
To
define tautology. To identify the individual parts of a compound statement.
To construct a truth table for a compound statement to determine whether or not it is a tautology. |
| Equivalence |
|
To
define logical equivalence. To construct a truth table for several compound statements to determine which two are logically equivalent.
To recognize that the biconditional of two equivalent statements is a tautology. |
| Practice
Exercises |
|
Interactive
truth tables for statements learned in this unit. To complete 10
additional exercises as practice. To assess students'
understanding of all concepts learned so far. |
| Challenge
Exercises |
|
To
solve 10 additional problems that challenge students'
understanding of all topics covered in this unit. To hone students'
problem-solving skills. |
| Solutions |
|
To review complete
solutions to all exercises presented in this unit. Includes the problem,
step-by-step solutions, final answer for each exercise. |
