# Logical equivalence

(Redirected from Logically equivalent)

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.fr:Équivalence logique

• Art and Cultures
• Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
• Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
• Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
• Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
• Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
• United States (http://www.academickids.com/encyclopedia/index.php/United_States)
• World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
• Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
• Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
• Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
• Space and Astronomy
• Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)