Доказать или опровергнуть справедливость следующих правил вывода, установив доказуемость соответствующих формул(аксиомат

Аксиомат мы заниматься не будем. Предлагаю показать, что это правило некорректно в том смысле, что при некоторых значениях переменных A, B, C, D все формулы над чертой истинны, а формула под чертой ложна.

0