Search results
Results From The WOW.Com Content Network
For example, the four-vertex theorem was proved in 1912, but its converse was proved only in 1997. [3] In practice, when determining the converse of a mathematical theorem, aspects of the antecedent may be taken as establishing context. That is, the converse of "Given P, if Q then R" will be "Given P, if R then Q".
Using composition of relations, the converse may be composed with the original relation. For example, the subset relation composed with its converse is always the universal relation: ∀A ∀B ∅ ⊂ A ∩B ⇔ A ⊃ ∅ ⊂ B ⇔ A ⊃ ⊂ B. Similarly, For U = universe, A ∪ B ⊂ U ⇔ A ⊂ U ⊃ B ⇔ A ⊂ ⊃ B.
The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents, [1] and the LaTeX symbol.
" In this case, unlike the last example, the inverse of the statement is true. The converse is "If a polygon has four sides, then it is a quadrilateral." Again, in this case, unlike the last example, the converse of the statement is true. The negation is "There is at least one quadrilateral that does not have four sides.
The expressions "A includes x" and "A contains x" are also used to mean set membership, although some authors use them to mean instead "x is a subset of A". [2] Logician George Boolos strongly urged that "contains" be used for membership only, and "includes" for the subset relation only. [3] For the relation ∈ , the converse relation ∈ T ...
For example, "is a blood relative of" is a symmetric relation, because x is a blood relative of y if and only if y is a blood relative of x. Antisymmetric for all x, y ∈ X, if xRy and yRx then x = y. For example, ≥ is an antisymmetric relation; so is >, but vacuously (the condition in the definition is always false). [11] Asymmetric
In propositional logic, affirming the consequent (also known as converse error, fallacy of the converse, or confusion of necessity and sufficiency) is a formal fallacy (or an invalid form of argument) that is committed when, in the context of an indicative conditional statement, it is stated that because the consequent is true, therefore the ...
The corresponding logical symbols are "", "", [6] and , [10] and sometimes "iff".These are usually treated as equivalent. However, some texts of mathematical logic (particularly those on first-order logic, rather than propositional logic) make a distinction between these, in which the first, ↔, is used as a symbol in logic formulas, while ⇔ is used in reasoning about those logic formulas ...