SE212 - Theories, Equality, Arithmetic, Induction

• Hidden Premise - For a single argument unwritten information is known as hidden premise
• Enthymeme - Argument that contains a hidden premise, arguments that contain unstated premises that are obviously true
• Symmetry -
• Transitivity -
• Leibniz's Law - If is a theorem, then so is
  • Generally referred to as the ability to substitute “equals for equals”
• Theory of Arithmetic
  • Constants: 0
  • Functions:
    • suc (plus 1)
    • • (addition)
    • x (multiplication)
  • Predicates:
    • < (less than)