2 of 2

Chapter 33. I ♥ FOL Proofs

Learning Objectives

In this chapter you will learn…

  • How to recognize wide-scope quantifier strategies
  • How to extract information from a negation around a quantifier
  • Why ~Ex is more important than ~Ax
  • How ~Ex is based on the 5-step plan for ~(PvQ)
  • How to prioritize multiple types of quantified information

Click below to begin.