1. What is propositional logic? Provide an example to illustrate.
  2. What are logical connectives? Provide one or more examples to illustrate.
  3. What are the symbols for, and the meaning of, the four logical connectives?
  4. What is a simple statement? A compound statement? Use examples to illustrate.
  5. What is a truth table?
  6. In what situation is a conjunction false (or true)? Provide an example to illustrate.
  7. What is a disjunct? Provide an example to illustrate.
  8. Under what circumstances is a disjunction true (or false)? Use an example to illustrate.
  9. What is the logical symbol for negation?
  10. Under what circumstance(s) is a conditional false?
  11. What is the short method of argument evaluation?
  12. “It is not the case that either Alice walks home or Jan walks home.” What is the symbolization for this statement?
  13. How is a hypothetical syllogism expressed in symbolic form? Provide an example to illustrate.
  14. How is modus ponens expressed in symbolic form? Use an example to illustrate.
  15. How is a disjunctive syllogism expressed in symbolic form? Provide an example to illustrate.
  16. Why do “p if not q,” and “p unless q” have the same symbolization? What is the correct symbolization?
  17. Why do “if p then q,” and “p only if q” have the same symbolization? What is the correct symbolization?
  18. Why does “if p then q” have the same symbolization as “Either not p, or q”? What is the correct symbolization?
  19. 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.
  20. 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.
Back to top