|| To identify a statement as true, false or open. To list the negation of a statement in symbolic and in sentence form. To list the truth values for a given
statement and its negation.
logical connector, compound statement, and conjunction. To list a conjunction in symbolic
and in sentence form. To construct a truth table for a conjunction.
||To define disjunction.
To list a disjunction in symbolic and in sentence form. To construct a truth table for a disjunction.
To identify the hypothesis and conclusion of a conditional. To list a conditional in symbolic and in sentence form.
To list the truth value of a conditional, given the value of each part.
|| To evaluate sentences represented by
compound statements with logical connectors. To write a compound statement in symbolic form. To construct a truth table for a compound statement to determine its truth values.
|| To list a biconditional
in symbolic and in sentence form. To identify the hypothesis and
conclusion. To evaluate a sentence to determine whether or not it is biconditional.
||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.
||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.
||To complete 10 additional exercises as practice with mathematical logic. Includes interactive truth tables. To assess students' understanding of all concepts in this unit.
||To solve 10 additional problems that challenge students'
understanding of mathematical logic. To hone students' problem-solving skills.
||To review complete solutions to all exercises presented
in this unit. Includes the problem, step-by-step solutions, and final answer for each exercise.