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:
“Opera, next to Gothic architecture, is one of the strangest inventions of Western man. It could not have been foreseen by any logical process.”
—Kenneth MacKenzie Clark, Baron of Saltwood (1903–1983)
“An individual is an encloser. Time and space, liberty and necessity, truth and thought, are left at large no longer.”
—Ralph Waldo Emerson (1803–1882)