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:
“A picture whose pictorial form is logical form is called a logical picture.”
—Ludwig Wittgenstein (1889–1951)
“Where there are no rights, there are no duties. To tell the truth is thus a duty; but it is a duty only in respect to one who has a right to the truth.”
—Henri Benjamin Constant De Rebecque (1767–1830)