Przypomnijmy:

Jeśli implikację  nazwiemy implikacją prostą, to:

•  nazwiemy implikacją odwrotną,
•  nazwiemy implikacją przeciwną,
•  nazwiemy implikacją przeciwstawną. 

a)

• implikacja prosta: Jeśli