Last updated Unknown

Status: Tags: Links: Discrete Math Theorems - Proofs

Proving Theorems

• Using Rules of Inference
• Direct Proofs
• Proof by Contraposition
• Proof by Contradiction

Axiomatic theories

• Done explicitly
  • Specify axioms
  • Specify rules of inference

Method of exhaustion

• Check all values in the universe

Backlinks

1

list from Proving Theorems AND !outgoing(Proving Theorems)

References:

Created:: 2021-10-07 08:49