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: tingimusosa
Ülemmõiste: reegel
Mõiste: tingimusosa
Ülemmõiste: juhis
Mõiste: parem pool
Ülemmõiste: reegel
Mõiste: parem pool
Ülemmõiste: juhis
Mõiste: produktsioonireegel
Ülemmõiste: reegel
Mõiste: produktsioonireegel
Ülemmõiste: juhis
Mõiste: järeldusosa
Ülemmõiste: reegel
Mõiste: järeldusosa
Ülemmõiste: juhis
Mõiste: eeldusosa
Ülemmõiste: reegel
Mõiste: eeldusosa
Ülemmõiste: juhis