Definitsioon: formaalloogika reegel, mis koosneb eeldust või tingimust esitavast kui-osast ning kui-osa tõesuse korral saavutatavat sihti või rakendatavat toimingut esitavast siis-osast
Mõiste: vasak pool
Ülemmõiste: reegel
Mõiste: vasak pool
Ülemmõiste: juhis
Mõiste: toiminguosa
Ülemmõiste: reegel
Mõiste: toiminguosa
Ülemmõiste: juhis