Search results
Results from the WOW.Com Content Network
In logic and mathematics, statements and are said to be logically equivalent if they have the same truth value in every model. [1] The logical equivalence of p {\displaystyle p} and q {\displaystyle q} is sometimes expressed as p ≡ q {\displaystyle p\equiv q} , p :: q {\displaystyle p::q} , E p q {\displaystyle {\textsf {E}}pq} , or p q ...
In the former case, equivalence of two definitions means that a mathematical object (for example, geometric body) satisfies one definition if and only if it satisfies the other definition. In the latter case, the meaning of equivalence (between two definitions of a structure) is more complicated, since a structure is more abstract than an object.
Wherever logic is applied, especially in mathematical discussions, it has the same meaning as above: it is an abbreviation for if and only if, indicating that one statement is both necessary and sufficient for the other. This is an example of mathematical jargon (although, as noted above, if is more often used than iff in statements of definition).
Any equivalence relation is the negation of an apartness relation, though the converse statement only holds in classical mathematics (as opposed to constructive mathematics), since it is equivalent to the law of excluded middle. Each relation that is both reflexive and left (or right) Euclidean is also an equivalence relation.
For a third facet, identify every mathematical predicate N with the set T(N) of objects, events, or statements for which N holds true; then asserting the necessity of N for S is equivalent to claiming that T(N) is a superset of T(S), while asserting the sufficiency of S for N is equivalent to claiming that T(S) is a subset of T(N).
In logic and mathematics, contraposition, or transposition, refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as § Proof by contrapositive. The contrapositive of a statement has its antecedent and consequent negated and swapped.
However, the converse of a statement with mutually inclusive terms remains true, given the truth of the original proposition. This is equivalent to saying that the converse of a definition is true. Thus, the statement "If I am a triangle, then I am a three-sided polygon" is logically equivalent to "If I am a three-sided polygon, then I am a ...
Venn diagram of (true part in red) In logic and mathematics, the logical biconditional, also known as material biconditional or equivalence or bidirectional implication or biimplication or bientailment, is the logical connective used to conjoin two statements and to form the statement "if and only if" (often abbreviated as "iff " [1]), where is known as the antecedent, and the consequent.