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

11.Укажите, какая выводимость (логическое следствие) имеет место.
_А) , ╞ , В) 1╞ , С) ╞ r , Д) ╞
_12.Укажите, в каких высказываниях вместо многоточия необходимо вставить выражение (достаточно, но необходимо), чтобы оно было истинным:
А) Для того, чтобы четырёхугольник был параллелограммом, … , чтобы все его стороны были равны ,
В) - четное число … для того, чтобы было четным числом .
С) … для того, чтобы ,
Д) Для того, чтобы четырёхугольник был прямоугольником, … , чтобы все его углы были равны.
13.Сколько различных приведенных форм имеет формула: .
А) 3 , В) 1 , С) 0 , Д) 2
14.Укажите операции, являющиеся двойственными
А) и , В) и , С) и отрицание , Д) отрицание и
15.В основе, какой из равносильностей лежит принцип доказательства «методом контрапозиции»
А) , В) , С) ,
Д)
16.Укажите, какие формулы являются КН – формами
А) , В) , С) , Д)
17.Теорема, противоположная для :
А) , В) , С) , Д)


18.СДНФ формулы алгебры логики :
_{А) , В) , С) , Д)}1
19.Какая формула является акиомой.
A.
B.
C.
D.
20.Правило силлогизма имеет вид:
А) ├ , В) ├ , С) ├