Search results
Results From The WOW.Com Content Network
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 converse relation does satisfy the (weaker) axioms of a semigroup with involution: () = and () =. [12] Since one may generally consider relations between different sets (which form a category rather than a monoid, namely the category of relations Rel ), in this context the converse relation conforms to the axioms of a dagger category (aka ...
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.
In geometry, may denote the congruence of two geometric shapes (that is the equality up to a displacement), ... Denote the converse relation of ...
In geometry, the hinge theorem (sometimes called the open mouth theorem) states that if two sides of one triangle are congruent to two sides of another triangle, and the included angle of the first is larger than the included angle of the second, then the third side of the first triangle is longer than the third side of the second triangle. [1]
In Euclidean geometry, Ceva's theorem is a theorem about triangles. Given a triangle ... The converse is often included as part of the theorem.
The converse implication is also true: whenever a convex quadrilateral has pairs of opposite sides with the same sums of lengths, it has an inscribed circle. Therefore, this is an exact characterization: the tangential quadrilaterals are exactly the quadrilaterals with equal sums of opposite side lengths.
The converse statement, that an axial couple of triangles is central, is equivalent (either can be used to prove the other). Desargues' theorem can be proved in the real projective plane , and with suitable modifications for special cases, in the Euclidean plane .