Converse (logic)
Appearance
This article uses too much jargon, which needs explaining or simplifying. (January 2024) |
In mathematics and logic, a converse is a variant of an implication. More specifically, given an implication of the form , the converse is the statement . [1]
While a converse is similar to its originating implication, they are not logically equivalent.[2] This means that the truth of an implication does not guarantee the truth of its converse (and vice versa).[1]
As a logical connective, the converse of and can be represented by the symbol (as in ).[3]
Related pages
[change | change source]References
[change | change source]- ↑ 1.0 1.1 "The Definitive Glossary of Higher Mathematical Jargon". Math Vault. 2019-08-01. Retrieved 2020-10-09.
- ↑ Taylor, Courtney. "What Are the Converse, Contrapositive, and Inverse?". ThoughtCo. Retrieved 2020-10-09.
- ↑ "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-10-09.