You should know the definitions of the following terms:
Antecedent Biconditional Conditional Conjunction Conjunct Consequent Contingent Contradiction Disjunction Disjunct Invalid Necessary Condition Negation Sufficient Condition Tautology Valid
You should know the truth tables for the five logical connectives we studied in class:
 Negation (~)
 Conjunction (•)
 Disjunction (∨)
 Conditional (⊃)
 Biconditional or Material Equivalence (≡)
You should be able to provide a truth table for a proposition. You should be able to use a truth table to determine the validity or invalidity of an argument. You should be able to symbolize a proposition and an argument.You should be able to recognize the following common argument forms:  Disjunctive Syllogism
 Modus Ponens
 Modus Tollens
 Hypothetical Syllogism
 Fallacy of Affirming the Consequent
 Fallacy of Denying the Antecedent
