- the state or fact of being equivalent; equality in value, force, significance, etc.
- an instance of this; an equivalent.
- the quality of having equal valence.
- Logic, Mathematics.
- the relation between two propositions such that the second is not false when the first is true.
- the relation between two propositions such that they are either both true or both false.
- the relation between two propositions such that each logically implies the other.
- (of a logical or mathematical relationship) reflexive, symmetrical, and transitive.
- the state of being equivalent or interchangeable
- maths logic
- the relationship between two statements, each of which implies the other
- the binary truth-function that takes the value true when both component sentences are true or when both are false, corresponding to English if and only if . Symbol: ≡ or ↔, as in –(p ∧ q) ≡ – p ∨ – q