2 of 2

Chapter 30. FOL Proofs: 2 Easy Rules

Learning Objectives

In this chapter you will learn…

  • How to make basic inferences with quantifiers in informal proofs
  • How to use AElim in formal proofs
  • How to use EIntro in formal proofs

Click below to begin.