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