Главная / Алгоритмы и дискретные структуры /
Языки и исчисления / Тест 3
Языки и исчисления - тест 3
Упражнение 1:
Номер 1
Аксиомой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Аксиомой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Аксиомой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 2:
Номер 1
Аксиомой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Аксиомой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Аксиомой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 3:
Номер 1
Выводом является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Выводом является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Выводом является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 4:
Номер 1
Любая тавтология в исчислении высказываний есть:
Ответ:
 (1) аксиома 
 (2) теорема 
 (3) истина или ложь 
Номер 2
Для любой формулы А
, формула А → А
есть:
Ответ:
 (1) аксиома 
 (2) теорема 
 (3) истина или ложь 
Номер 3
Если Г
- множество формул, то тогда:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 5:
Номер 1
Для любых формул исчисления высказывания А В, С
выводима формула:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Если Г
- множество формул, то:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Если Г
- множество формул, то:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 6:
Номер 1
Если А, В, С
- формулы, то:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Если А, В, С
- формулы, то:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Если А, В, С
- формулы, то:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 7:
Номер 1
Теоремой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Теоремой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Теоремой исчисления высказываний является:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Упражнение 8:
Номер 1
Для произвольных формул А, В
:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 2
Для произвольных формул А, В
:
Ответ:
 
(1)  
 
(2)  
 
(3)  
Номер 3
Для произвольных формул А, В
:
Ответ:
 
(1)  
 
(2)  
 
(3)