игра брюс 2048
Главная / Алгоритмы и дискретные структуры / Языки и исчисления / Тест 3

Языки и исчисления - тест 3

Упражнение 1:
Номер 1
Аксиомой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 2
Аксиомой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 3
Аксиомой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Упражнение 2:
Номер 1
Аксиомой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 2
Аксиомой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 3
Аксиомой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Упражнение 3:
Номер 1
Выводом является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 2
Выводом является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 3
Выводом является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Упражнение 4:
Номер 1
Любая тавтология в исчислении высказываний есть:

Ответ:

 (1) аксиома 

 (2) теорема 

 (3) истина или ложь 


Номер 2
Для любой формулы А, формула А →​ А есть:

Ответ:

 (1) аксиома 

 (2) теорема 

 (3) истина или ложь 


Номер 3
Если Г - множество формул, то тогда:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Упражнение 5:
Номер 1
Для любых формул исчисления высказывания А В, С выводима формула:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 2
Если Г - множество формул, то:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 3
Если Г - множество формул, то:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Упражнение 6:
Номер 1
Если А, В, С - формулы, то:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 2
Если А, В, С - формулы, то:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 3
Если А, В, С - формулы, то:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Упражнение 7:
Номер 1
Теоремой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 2
Теоремой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 3
Теоремой исчисления высказываний является:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Упражнение 8:
Номер 1
Для произвольных формул А, В:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 2
Для произвольных формул А, В:

Ответ:

 (1) math 

 (2) math 

 (3) math 


Номер 3
Для произвольных формул А, В:

Ответ:

 (1) math 

 (2) math 

 (3) math 




Главная / Алгоритмы и дискретные структуры / Языки и исчисления / Тест 3