2 of 2

Chapter 32. = Proofs in FOL

Learning Objectives

In this chapter you will learn…

  • How to use =Intro
  • How to use =Elim
  • Key properties of identify: symmetry, reflexivity, and transitivity

Click below to begin.

Chapter Content
0% Complete 0/3 Steps