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

15.Укажите тавтологию алгебры предикатов (общезначимую формулу).
_{А) , В) , С) , Д)}
16..Укажите, какой ученый является основателем формальной логики?
А) Буль , В) Евклид , С ) Аристотель , Д) Лейбниц
17.Формула, итоговый столбец которой состоит из одних нулей, является:
А) тождественно-истинной , В) выполнимой , С) опровержимой , Д) тождественно-ложной
18.Укажите тавтологию.
А) , В) , С) ,
Д)
19.Укажите верное утверждение:
А) Равносильность является операцией алгебры логики ,
В) Отношение равносильности обладает свойством симметричности ,
С) Отношение равносильности обладает свойством антирефлексивности ,
Д) Равносильность является операцией алгебры предикатов
20.Теорема, противоположная для :
А) , В) , С) , Д)
21.СДНФ формулы алгебры логики :
_{А) , В) , С) , Д)}1
22.Какая формула является акиомой.
A.
B.
C.
D.
_23.Укажите тождественно-ложный предикат
А) ( - ромб) ( - параллелограмм) , где множеству четырехугольников
_В) , .
_С) , где
Д) точка равноудалена от точек , где множеству точек плоскости