2 of 2

Chapter 25. FO Equivalences

Learning Objectives

In this chapter you will learn…

  • How to use DeMorgan’s for Quantifiers (DeMQ) in chain of equivalences
  • How to identify when a quantifier is null on a formula (Null)
  • How to distribute quantifiers over Boolean connectives (Dist)
  • How to switch variables from x, y or z (VS)
  • When quantifiers can swap places (QR)

Click below to begin.