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
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)