Hüperonüümid:
juhis 1(n), reegel 2(n)
kui-siis-reegel 1(n), tingimusreegel 1(n)

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