Skip to main content
PRL Project

Next Page

Logical Investigations, with the Nuprl Proof Assistant

Robert L. Constable and Anne Trostle   July 2014

Table of Contents

  1. Introduction
  2. The Minimal Implicational Calculus
  3. False Propositions and Negation
  4. Conjunction and Disjunction
  5. First-Order Logic: All and Exists
  6. Appendix A: How to Step through a Proof
  7. Appendix B: Answers to Exercises
  8. References