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)