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
| 