In logical mathematics there are two examples I present first Roses are flowerssecond Red roses are flowers what do you cll the first and second statement
If a conditional statement is true then its contrapositive
Is a theorem a statement that can be easily proved using a corollary
To begin an indirect proof you assume the opposite of what you intend to prove is true