Logical equivalence
id:
logical-equivalence-256-12422898
title:
Logical equivalence
text:
In logic and mathematics, statements p and q are said to be logically equivalent if they have the same truth value in every model. The logical equivalence of p and q is sometimes expressed as p ≡ q , p :: q , E p q , or p ⟺ q , depending on the notation being used.
However, these symbols are also used for material equivalence, so proper interpretation would depend on the context. Logical equivalence is different from material equivalence, although the two concepts are intrinsically related.
brand slug:
wiki
category slug:
encyclopedia
description:
Concept in logic
original url:
https://en.wikipedia.org/wiki/Logical_equivalence
date created:
date modified:
2024-02-21T10:27:14Z
main entity:
{"identifier":"Q220433","url":"https://www.wikidata.org/entity/Q220433"}
image:
fields total:
13
integrity:
14