The next level of logic

Table of contents

• Predicates, quantifiers, and equality
• New rules of inference
• Soundness and completeness
• Examples
• Lean
• Proofs in Lean