2 of 2

Chapter 21. Welcome to FOL

Learning Objectives

In this chapter you will learn…

  • How to use the formal system FOL
  • Terms vs. Predicates
  • Constants (Names) vs. Variables
  • How to use the identity predicate, =
  • How to create atomic sentences in FOL

Click below to begin.