1 of 2

Chapter 11. Proofs: Formal

Learning Objectives

In this chapter you will learn…

  • What a formal proof is
  • How to use Intro rules
  • How to use Elim rules
  • How to prove simple arguments in BOOL are valid

Click below to begin.