Наука, изучающая законы и формы мышления, называется

3. Найти тождественно истинную формулу.
А) Y Z u (u Z u X & u Y) , В) X Y Z u (u Z u X u Y , С) X Y Z u (u Z u X Y , Д) X Y Z u (u Z u X & u Y
4. Найти аксиому
А) X Z (u Z u X) , В) X Z u (u Z X)) , С) X Z u (u Z u X) , Д) X u (u Z u X)
5. = {{Х}, {X, Y}}. называется ………….. па­рой классов Х и Y.
А) тривиальной , В)инвариантной , С)линейной , Д) упорядоченной
6.Укажите, какие из предложенных последовательностей символов – формула.
А) , В) , С) ,
Д)
7.Формула, итоговый столбец которой состоит из одних нулей, является:
А) тождественно-истинной , В) выполнимой , С) опровержимой , Д) тождественно-ложной
8.Укажите тавтологию.
А) , В) , С) ,
Д)
9.Укажите верное утверждение:
А) Равносильность является операцией алгебры логики ,
В) Отношение равносильности обладает свойством симметричности ,
С) Отношение равносильности обладает свойством антирефлексивности ,
Д) Равносильность является операцией алгебры предикатов
10.Формулой равносильной к является.
А) 0 , В) ^, _{С) , Д)}