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