Conversions, Inversions, and Contraposition in Math Logic

From an implication statement p → q can be made a new statement, such as:

q → p, is called the conversions of implications
~ P → ~ q, is called the Inversions of the implications
~ q → ~ p, is called the contraposition of the implications

Conversion Example

For example:
p: Triangle ABC equilateral
q: The three corners are the same
p → q: "If the triangle ABC is equal sides then The three corners are the same"
q → p: "If The three corners are the same then the triangle ABC is equal"

Invers Example

For example:
p: Triangle ABC equilateral
q: The three corners are the same
p → q: "If the triangle ABC is not equal sides then The three corners are the same"
~ p → ~ q: "If the triangle ABC is not equal side then The three corners are not the same."

Contraposition Example

For example:
p: Triangle ABC equilateral
q: The three corners are the same
p → q: "If the triangle ABC is equal sides then The three corners are the same"
~ q → ~ p: "If The three corners are not the same then the triangle ABC is not equal side"

Similarly this article.
Sorry if there is a wrong word.
The end of word wassalamualaikum wr. wb

Referensi :