A contradictory statement is a statement (or form) which is false due to its logical form rather than because of the meaning of the terms employed.
In propositional logic, a contradictory statement, a.k.a. contradiction, is a statement which is false regardless of the truth values of the substatements which form it. According to G. Peano, one may generally denote a contradiction with the symbol .
For a simple example, the statement is a contradiction for any statement .
To test a given statement or form to see if it is a contradiction, one may construct its truth table. If it turns out that every value of the last column is “F”, then the statement is a contradiction.
Cf. the entry “contradiction (http://planetmath.org/Contradiction)”.
|Date of creation||2013-03-22 16:27:07|
|Last modified on||2013-03-22 16:27:07|
|Last modified by||pahio (2872)|