Consistency
A formal theory using "⊥" connective is defined to be consistent if and only if the false is not its theorem. In the absence of propositional constants, some substitutes such as mentioned above may be used instead to define consistency.
Read more about this topic: False (logic)
Famous quotes containing the word consistency:
“People who love only once in their lives are ... shallow people. What they call their loyalty, and their fidelity, I call either the lethargy of custom or their lack of imagination. Faithfulness is to the emotional life what consistency is to the life of the intellect—simply a confession of failures.”
—Oscar Wilde (1854–1900)
“The lawyer’s truth is not Truth, but consistency or a consistent expediency.”
—Henry David Thoreau (1817–1862)
“All religions have honored the beggar. For he proves that in a matter at the same time as prosaic and holy, banal and regenerative as the giving of alms, intellect and morality, consistency and principles are miserably inadequate.”
—Walter Benjamin (1892–1940)