If two triangles are congruent, then their areas are equal ( write its negation in converse or contrapositive & In symbolic form ) Logic Chapter
p: two triangles are congruent
q: their areas are equal
p => q
The statement "If two triangles are congruent, then their areas are equal" can be written symbolically as:
P: Two triangles are congruent.
Q: Their areas are equal.
The statement can be represented as P -> Q, where "P -> Q" stands for "If P, then Q".
The negation of this statement can be found by negating both P and Q:
Negation of P: Two triangles are not congruent. (Q -> ~P)
Negation of Q: Their areas are not equal. (~Q)
Thus, the negation of the statement "If two triangles are congruent, then their areas are equal" in converse form would be:
If two triangles are not congruent, then their areas are not equal.
In symbolic form, this would be ~P -> ~Q.