Для сокращания записи, формулу (a->b)&(b->a) запишем в виде a~b, и будем называть ее ЭКВИВАЛЕНТНОСТЬЮ. Формулы считаются эквивалентными, если |-a~b. Основные свойства: 1) если a~b, то и b~a (симметричность). 2) если a~b b~j, то a~j, где j - гамма.
ТЕОРЕМА ЭКВИВАЛЕНТНОСТИ: если в формуле а(альфа) заменить к.-н. ее часть b1(бета 1) эквивалентной формулой b2, то вновь полученная формула a(b2) будет эквивалентна прежней: |-(b1~b2)->[a(b1)~a(b2)].
