Terms for subject Information technology containing rules of inference

English	Russian
compositional rule of inference	обобщённый утверждающий модус (условно-категорического силлогизма ssn)
compositional rule of inference	композиционное правило умозаключения (ssn)
rule of logical inference	правило логического вывода (ssn)