What is $P \equiv Q$ called? Is it called an equation, equivalence relation, or something else?
Asked
Active
Viewed 77 times
1
-
Yeah, but how do I refer to P ≡ Q ? Do I call it an equation or an equivalence relation? – Vedant Rana Oct 22 '22 at 16:01
-
2Depends on the context. – wormram Oct 22 '22 at 16:02
-
1Depends on the context. Sometimes it is just "congruent to" and the expression is a "congruence." – Thomas Andrews Oct 22 '22 at 16:04
-
1Can you tell us the context? Without a context, this question has no real answer. – Thomas Andrews Oct 22 '22 at 16:06
-
In the context of logic I say "logical equivalence." In the context of the word "modulo," this is read "is equivalent modulo (operation, relation, thing)." – Sean Roberson Oct 22 '22 at 16:06
-
OP's not asking for the meaning, but a word or phrase for this class of expressions. @bananapeel22 – Thomas Andrews Oct 22 '22 at 16:09
-
In logic, this is sometimes written for "if and only if" and is then called a "logical equivalence." – Thomas Andrews Oct 22 '22 at 16:11
-
What does '≡' mean in mathematics? – ryang Aug 17 '24 at 13:08