Relation To Material Equivalence
Logical equivalence is different from material equivalence. The material equivalence of p and q (often written p↔q) is itself another statement, call it r, in same object language as p and q. r expresses the idea "p if and only if q". In particular, the truth value of p↔q can change from one model to another.
The claim that two formulas are logically equivalent is a statement in the metalanguage, expressing a relationship between two statements p and q. The claim that p and q are semantically equivalent does not depend on any particular model; it says that in every possible model, p will have the same truth value as q. The claim that p and q are syntactically equivalent does not depend on models at all; it states that there is a deduction of q from p and a deduction of p from q.
There is a close relationship between material equivalence and logical equivalence. Formulas p and q are syntactically equivalent if and only if p↔q is a theorem, while p and q are semantically equivalent if and only if p↔q is true in every model (that is, p↔q is logically valid).
Read more about this topic: Logical Equivalence
Famous quotes containing the words relation to, relation and/or material:
“The proper study of mankind is man in his relation to his deity.”
—D.H. (David Herbert)
“Science is the language of the temporal world; love is that of the spiritual world. Man, indeed, describes more than he explains; while the angelic spirit sees and understands. Science saddens man; love enraptures the angel; science is still seeking, love has found. Man judges of nature in relation to itself; the angelic spirit judges of it in relation to heaven. In short to the spirits everything speaks.”
—Honoré De Balzac (17991850)
“Any so-called material thing that you want is merely a symbol: you want it not for itself, but because it will content your spirit for the moment.”
—Mark Twain [Samuel Langhorne Clemens] (18351910)