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

А) ¬А&¬B ; В) A&¬B; С) эквивалентность Д) равносильност.
5. Формула Х=Y равносильно
А) ,В) ,
С) , Д)
6.Укажите, какой ученый является основателем формальной логики?
А) Буль , В) Евклид , С ) Аристотель , Д) Лейбниц
7.Теорема, противоположная для :
А) , В) , С) , Д)


8.СДНФ формулы алгебры логики :
_{А) , В) , С) , Д)}1
9.Какая формула является акиомой.
A.
B.
C.
D.
10.Правило силлогизма имеет вид:
А) ├ , В) ├ , С) ├
Д) ├
11.Укажите выражения, которые не являются предикатами.
_А) , , В) ( - столица России), множеству наименований европейских городов , С) ( - множество прямых плоскости) ,Д) ,
_12.Укажите тождественно-ложный предикат
А) ( - ромб) ( - параллелограмм) , где множеству четырехугольников
_В) , .
_С) , где
Д) точка равноудалена от точек , где множеству точек плоскости
13.Сколько различных приведенных форм имеет формула: .
А) 3 , В) 1 , С) 0 , Д) 2