- What is propositional logic? Provide an example to illustrate.
- What are logical connectives? Provide one or more examples to illustrate.
- What are the symbols for, and the meaning of, the four logical connectives?
- What is a simple statement? A compound statement? Use examples to illustrate.
- What is a truth table?
- In what situation is a conjunction false (or true)? Provide an example to illustrate.
- What is a disjunct? Provide an example to illustrate.
- Under what circumstances is a disjunction true (or false)? Use an example to illustrate.
- What is the logical symbol for negation?
- Under what circumstance(s) is a conditional false?
- What is the short method of argument evaluation?
- “It is not the case that either Alice walks home or Jan walks home.” What is the symbolization for this statement?
- How is a hypothetical syllogism expressed in symbolic form? Provide an example to illustrate.
- How is modus ponens expressed in symbolic form? Use an example to illustrate.
- How is a disjunctive syllogism expressed in symbolic form? Provide an example to illustrate.
- Why do “p if not q,” and “p unless q” have the same symbolization? What is the correct symbolization?
- Why do “if p then q,” and “p only if q” have the same symbolization? What is the correct symbolization?
- Why does “if p then q” have the same symbolization as “Either not p, or q”? What is the correct symbolization?
- Explain the difference between modus ponens and denying the antecedent. Why is the former valid while the latter is invalid? Use truth tables to illustrate.
- Explain the difference between modus tollens and affirming the consequent. Why is the former valid while the latter is invalid? Use truth tables to illustrate.