Consider the following theorem (p -> q):

Question

If the quadrilateral ABCD is a square, then its diagonals are perpendicular and have the
same length.

State the converse (q->p), inverse (~p -> ~q), and contrapositive (~q -> ~p).

"->" is an arrow

Answer 1

well, you have
p: ABCD is a square
q: its diagonals are perpendicular and have the
same length

Now just substitute the words for your logic symbols