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.