Матлогика-Лр-1-ИВТ-2

Тестовые задания
Исчисление высказываний
Вопрос
№ п/п
Варианты ответов:
Укажите, видом какой
формы и из каких посылок
является следующая
формула :
A
C, B
C, A
B.
A
A
C, B
C, A
B C.
Какие из следующих
выражений являющиеся
формулами исчисления
высказываний :
((p1
p2)
(p1 p2))
(p1
(p2
p3))
1
C, (A C) ((D C) (A
B C)), (B C) (A B
C), B C, A B C, A
B, C
2
3
B
Доказать, что:
H = {A} B
Доказать, что:
4
5
H = {A
C}
Дана формула A = x1 x2
x3 и набор значений
переменных (0,0,1).
Записать вывод формулы A
или ее отрицание из
соответствующей
совокупности формул:
(1, 0, 1). Тогда {x1,
A.
B
A
A
C,(A
(
C).
A), B
A;
C.
C)
, x3, x3
(
(x1
),
x2
;
x3), x1
x3
x3;
x2;
x1 & x2
x3;
,x3}
H x1,
A.
Записать вывод.
(B
,
Пусть A = x1 &
x3 и
набор значений переменных
6
p3;
A;
A, A
A
;
, x3, x3
(x1 &
x3), x1 &
x3
Логика и исчисление предикатов
№ п/п
Вопрос
1
Указать область истинности
предиката:
X+5=1.
Варианты ответов:
Ip={-2};
Ip={-4};
Ip={4};
2
3
4
Указать область истинности
предиката:
2
X -2X+1=0.
Выяснить, какие из
следующих предикатов
являются тождественно
истинными:
Записать предикат,
полученный в результате
логических операций над
предикатами P(x), Q(x) и
R(x) , область истинности
которого I заштрихована на
рисунке
Ip={1};
Ip={2};
2
2
2
2
X +Y >=0;
X +Y >0;
2
2
X +1>=(X+1) .
P(x) & R(x);
P(x) & Q(x) & R(x).
5
6
7
Даны предикаты P(x):
2
2
X +X+1>0 и Q(x) : X -4X
+3=0, определенные на
множестве R. Установите ,
какие из следующих
высказываний истинны:
Укажите, какие из
следующих выражений
являются формулами
логики предикатов:
Пусть A(x) и B(x)- любые
предикаты. Какие из
следующих формул
равносильны формуле:
A(x)
x P(x);
y P(x).
x
y P(x,y);
x,y P(x,y).
A(x)
B(x);
;
B(x);
A(x);
& B(x).
8
9
10
11
Записать предикат,
полученный в результате
логических операций над
предикатами P(x) , Q(x) и
R(x) , область истинности
которых (I) заштрихована на
следующем рисунке:
Записать предикат,
полученный в результате
логических операций над
предикатами
P(x) ,Q(x) и R(x) , область
истинности которых (I)
заштрихована на
следующем рисунке:
Записать предикат,
полученный в результате
логических операций над
предикатами
P(x) ,Q(x) и R(x) , область
истинности которых (I)
заштрихована на
следующем рисунке:
Записать предикат,
полученный в результате
логических операций над
предикатами
P(x) ,Q(x) и R(x) , область
истинности которых (I)
заштрихована на
следующем рисунке:
P(x) &
;
P(x) & Q(x).
P(x) & R(x);
P(x) & Q(x).
P(x) &
;
P(x) &
& Q(x).
P(x)
Q(x);
P(x)
Q(x);
.