A conditional statement involves 2 propositions, p and q. The conditional statement, is a proposition which we write as: p⇒q,
and read "if p then q"
Let p be the proposition: Triangle ABC is a right triangle with m(C)=
90°.
Let q be the proposition: The sides of triangle ABC are such that
.
An example of a conditional statement is : p⇒q, that is:
if Triangle ABC is a right triangle with m(C)=90°
then The sides of triangle ABC are such that
This compound proposition (compound because we formed it using 2 other propositions) is true. So the truth value is True,
the converse, inverse and contrapositive of p⇒q are defined as follows:
converse: q⇒p
inverse: ¬p⇒¬q (if [not p] then [not q])
contrapositive: ¬q⇒¬p
Converse of our statement:
if The sides of triangle ABC are such that
then Triangle ABC is a right triangle with m(C)=90°
True
Inverse of the statement:
if Triangle ABC is
not a right triangle with m(C)
not =90°
then The sides of triangle ABC are
not such that
True
Contrapositive statement:
if The sides of triangle ABC are
not such that
then Triangle ABC is
not a right triangle with m(C)=
90°
True