saame pöördteoreemi, mis kehtib alati.

saame pöördteoreemi, mis ei pruugi kehtida.

saame pöördteoreemi, mille kehtivuse üle pole võimalik otsustada.

saame pöördteoreemi, mis ei kehti kunagi.

Eeldus on: kui päike paistab.

Eeldus on: siis taevas on sinine.

Lauses puudub eeldus.

Mõlemad lause pooled on eeldused.

Kui hiirtel on pidu, siis on kassid ära.

Kui hiirtel ei ole pidu, siis ei ole kassid ära.

Kui hiired on ära, siis on kassidel pidu.

Kui kassid ei ole ära, siis ei ole hiirel pidu.

Kui hiirtel on pidu, siis kassid on ära.

Kui kassid ära ei lähe, siis hiired pidu panna ei saa.

Kui hiired lähevad ära, siis on kassidel pidu.