2 of 2

Chapter 31. FOL Proofs: 2 Hard Rules

Learning Objectives

In this chapter you will learn…

  • How to use arbitrary names: @n
  • How to prove universal claims informally: Universal Generalization
  • How to use AIntro in formal proofs
  • How to reason from existential claims informally: Existential Instantiation
  • How to use EElim in formal proofs

Click below to begin.