Przypomnijmy:

Jeśli:  jest implikacją prostą, to:

•   implikacja odwrotna,
•  implikacja przeciwna,
•  implikacja przeciwstawna. 

a)

• prosta: Jeśli czworokąt jest kwadratem, to ten czworokąt jest rombem.-