20 Mar equation
Mathematical formulae or equations are a symbolic form of propositional logic. We must accept the values of the symbols (numbers and variables) and the functions of the operators for the propositions to be well-formed. A formula probably must be well-formed to be correct but while improper structure implies incorrectness, proper structure does not imply correctness.
Keywords: combinatorial explosion