Logical Truth and Logical Constants
Logical constants, including logical connectives and quantifiers, can all be reduced conceptually to logical truth. For instance, two statements or more are logically incompatible just in case their conjunction is logically false. One statement logically implies another when it is logically incompatible with the negation of the other. A statement is logically false just in case its negation is logically true, etc. In this way all logical connectives can be expressed in terms of preserving logical truth.
Read more about this topic: Logical Truth
Famous quotes containing the words logical and/or truth:
“It is merely a linguistic peculiarity, not a logical fact, that we say “that is red” instead of “that reddens,” either in the sense of growing, becoming, red, or in the sense of making something else red.”
—John Dewey (1859–1952)
“Some men love truth so much that they seem in continual fear lest she should catch cold on over-exposure.”
—Samuel Butler (1835–1902)