Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2003-09-12 00:34:50 →
Size: 187
Editor: yakko
Comment:
← Revision 2 as of 2003-09-16 18:07:37 → ⇥
Size: 212
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:

Back to ComputerTerms

A logic theory is complete if you can always prove that a ["Valid"] formula is valid using a set of axioms. In the case of propositional logic the answer is yes, just use a truth table.

Back to ComputerTerms

CompleteLogic (last edited 2003-09-16 18:07:37 by yakko)