Encyclopedia > Logical equivalence

  Article Content

Logical equivalence

In logic, statements p and q are logically equivalent if they have the same logical content.

Syntactically[?], p and q are equivalent if each can be proved from the other. Semantically[?], p and q are equivalent if they have the same truth value in every model.

Logical equivalence is often confused with material equivalence. The former is a statement in the metalanguage[?], claiming something about statements p and q in the object language[?]. But the material equivalence of p and q (often written "pq") is itself another statement in the object language. There is a relationship, however; p and q are syntactically equivalent if and only if pq is a theorem, while p and q are semantically equivalent if and only if pq is a tautology.

Logical equivalence is sometimes denoted pq or pq. However, the latter notation is also used for material equivalence.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
East Hampton North, New York

... size is 2.47 and the average family size is 3.07. In the town the population is spread out with 22.3% under the age of 18, 6.7% from 18 to 24, 28.0% from 25 to 44, 25.8% ...

 
 
 
This page was created in 42.4 ms