1.укажите верную характеристику предиката
p: x2-1x-6≥0
выберите один ответ:
a. тождественно истинный
b. тождественно ложный
c. выполнимый, не тождественно истинный

2.укажите верную характеристику предиката
p: x2+7x+7≥0
выберите один ответ:
a. тождественно ложный
b. тождественно истинный
c. выполнимый, не тождественно истинный

3.укажите верную характеристику предиката
p: x2-7х-4≥0
выберите один ответ:
a. тождественно ложный
b. выполнимый, не тождественно истинный
c. тождественно истинный

4.на скольких наборах переменных принимает истинное значение формула
¬λr)vr)→(r→q))
выберите один ответ:
a. 5
b. 2
c. 1
d. 6

5.какая из данных формул не является тождественно истинной?
выберите один ответ:
a. (¬(qvp)→(qvp))
b. →q)λq)→(qλp))
c. ((pvq)→¬(pvq))
d. (¬(qλp)→¬(pvq))

6.на скольких наборах переменных принимает истинное значение формула
¬(¬(rvq)v¬p)
выберите один ответ:
a. 5
b. 9
c. 3
d. 2

7.укажите верную характеристику предиката
p: x2-3х-6≥0
выберите один ответ:
a. тождественно истинный
b. тождественно ложный
c. выполнимый, не тождественно истинный

8.сколько подформул содержит данная формула:
λr)λ¬q)→((qλr)vp))
выберите один ответ:
a. 5
b. 8
c. 7
d. 9

9.сколько подформул содержит данная формула
¬((¬qv(p→r))→¬(p→q))
выберите один ответ:
a. 9
b. 6
c. 10
d. 5

10.какая из данных формул не является тождественно истинной?
выберите один ответ:
a. (¬(p→q)→(qvp))
b. λr)λ¬q)→((qλr)vp))
c. (¬(q→p)→¬(qvp))
d. ((¬qvp)v(¬p→q))