Last updated Unknown

Status: Tags: Links: Logic and Formal Reasoning

MACM Theorems

Principles

• Proving Theorems

Definitions

• Important mathematical statement
  • ex) Conjunctive Normal Form (CNF)
• Any statement inferred within an axiomatic theory
  • Main definition for logic inference
  • ex) Prove the computer chip design is correct

Backlinks

1

list from Discrete Math Theorems AND !outgoing(Discrete Math Theorems)

References:

Created:: 2021-10-07 08:37