All Science Fair Projects

Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

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.

03-10-2013 05:06:04