aliases:
- Converse
tags:
- Type/Concept
- proto
from:
- "[[Logic]]"
related:
- "[[Inverse (logic)|Inverse]]"
contra:
to:
dateCreated: 2023-11-30, 10:43
dateModified: 2023-11-30, 10:45
version: 1
publish: true
In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication P → Q, the converse is Q → P. For the categorical proposition All S are P, the converse is All P are S. Either way, the truth of the converse is generally independent from that of the original statement. | |
---|---|
wikipedia:: Converse (logic) |
Converse of P > Q is Q > P
Does not imply anything, just syntactical