14. Дедуктивная теория называется противоречивой, если :

А) ее множество теорем Т совпадает со всем множеством ее формул Ф (Т=Ф)

Б) множество теорем Т является частью, не совпадающей со всем множеством формул Ф

В) существует формула А такая, что в этой теории выводимо А и выводимо ¯l A

Г) А и В

15. Дедуктивная теория называется непротиворечивой, если :

А) ее множество теорем Т совпадает со всем множеством ее формул Ф (Т=Ф)

Б) множество теорем Т является частью, не совпадающей со всем множеством формул Ф

В) существует формула А такая, что в этой теории выводимо А и выводимо ¯l A

Г) А и В

16. Противоречием называется

А) пропозициональная форма, принимающая значение ложно при любой совокупности истинностных значений пропозициональных букв, входящих в нее Б) пропозициональная форма, которая принимает значение истинно при любой совокупности истинностных значений пропозициональных букв, входящих в нее.

В) пропозициональная форма, если она принимает значение истинно хотя бы для одной совокупности значений пропозициональных букв, входящих в нее.

Г) пропозициональная форма, если при каждой совокупности значений всех пропозициональных букв, входящих в А и В, эти формы принимают одинаковые истинностные значения.

17. Квантор читается:

А) для всех;

Б) существует;

В) для некоторого

Г) найдется.

18. Высказывание: “существует вещественное число x, удовлетворяющее уравнению х²+1=0” в символической форме записывается:

А)

Б) ;

В) ;

Г)

19. Какие требования накладываются на СДНФ:

А) формула приведена к одному из видов ДНФ

Б) все ответы верны

В) формула не является тождественно-ложной

Г) из формулы удалены одинаковые элементарные конъюнкции, включающие одновременную и ее отрицания согласно закону инверсии

20Функциональными буквами называются:

A) с числовыми индексами i ≥ 1, n ≥ 0.

Б) i ≥ 1, n ≥ 1.

В) (а₁,а₂,...,b₁,b₂,...,с₁,с₂,...)

21. Какие из следующих предложений являются высказываниями?

а) 2*2=4;

б) 3x=2;

в) х>5

22. Отрицание – это

А) логическая операция, с помощью которой из данного

высказывания А образуется новое высказывание, которое

истинно тогда и только тогда, когда А ложно.

Б) логическая операция, с помощью которой из данного

высказывания А образуется новое высказывание, которое

ложно тогда и только тогда, когда А ложно.

В) оба варианта правильны.

23. Конъюнкция - это

А) логическая операция, с помощью которой из двух

данных высказываний А и В образуется новое высказывание, обозначаемое

А&В, которое истинно тогда и только тогда, когда А и В оба истинны.

Б) логическая операция, с помощью которой из двух

данных высказываний А и В образуется новое высказывание, обозначаемое

А\/В, которое истинно тогда и только тогда, когда хотя бы одно из них истинно.

В) нет правильных ответов.

24. Дизъюнкция – это

А) логическая операция, с помощью которой из двух

данных высказываний А и В образуется новое высказывание, обозначаемое

А∨В, которое ложно тогда и только тогда, когда ложны оба высказывания А и В.

Б) логическая операция, с помощью которой из двух

данных высказываний А и В образуется новое высказывание, обозначаемое

А&В, которое ложно тогда и только тогда, когда ложно хотя бы одно из них.

В) нет правильных ответов.

Г) (х₁,х₂,...,у₁,у₂,...,z₁,z₂,...)