Некоторые составные правила ИВ (Правила силлогизма, перестановки посылок, соединения посылок, разъединения посылок и т.д.).

   правило СИЛЛОГИЗМА: a->b,b->j/a->j. j - гамма.
   правило ПЕРЕСТАНОВКИ ПОСЫЛОК: a->(b->j)/b->(a->j). j - гамма.
   правило СОЕДИНЕНИЯ ПОСЫЛОК: a->(b->j)/a&b->j. j - гамма.
   правило РАЗЪЕДИНЕНИЯ ПОСЫЛОК: a&b->j/a->(b->j). j - гамма.
   другие правила: a,b/a&b;  a&b/a,b;  a&b/b&a.