25. На что указывает верхний и нижний индекс предикатных и функциональных букв?

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

аргументов, а нижний индекс служит для различения букв с одним и тем же

числом аргументов.

Б) Нижний индекс предикатной или функциональной буквы указывает число

аргументов, а верхний индекс служит для различения букв с одним и тем же

числом аргументов.

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

числом аргументов.

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

аргументов, а нижний индекс порядковый номер.

26. А∨в является сокращенной записью формулы:

А) (¬А)⇒В

Б) B⇒A

В) А⇒В

Г) (¬B)⇒A

27. Элементарной дизъюнкцией называется дизъюнкция любого числа булевых переменных, взятых с отрицанием или без него, в которой каждая переменная встречается

А) точно один раз

В) не менее одного раза

Б) более одного раза

Г) не более одного раза

28 Переменная называется свободной:

A) если она не содержит никаких свободных переменных.

Б) если существуют свободные (связанные) ее вхождения в эту формулу.

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

Г) свой вариант.

29. Пусть x,y – булевы переменные. Тогда запись х ˅ у = у ˅ х; означает

А) Ассоциативность конъюнкции

Б) Ассоциативность дизъюнкции

В) Коммутативность дизъюнкции

Г) Идемпотентность конъюнкции и дизъюнкции

30. Пусть x,y – булевы переменные. Тогда запись х ˄ у = у ˄ х; означает

А) Коммутативность конъюнкции

Б) Ассоциативность конъюнкции

В) Ассоциативность дизъюнкции

Г) Идемпотентность конъюнкции и дизъюнкции

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

А) метод насыщения уровня, стратегия вычеркивания, лок-резолюция и методы для дизъюнктов специального вида.

Б) стратегия вычеркивания, лок-резолюция и методы для дизъюнктов специального вида.

В) метод насыщения уровня, лок-резолюция и методы для дизъюнктов специального вида.

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

32. Операция разность множеств определяется как

А) { x ¦ xA xB }

Б) { x ¦ xA xB }

В) { x ¦ xA xB }

Г) { x ¦ (xA xB) (xA xB)

33. Если А╞ В и В╞ С, то:

А) A╞C

Б) ╞A=>B

В) ╞B=>A

Г) A=>B

34. Формула называется выполнимой в данной интерпретации:

А) если она принимает значение И хотя бы для одной совокупности возможных значений её свободных переменных (если они есть).

Б) если она принимает значение Л хотя бы для одной совокупности возможных значений её свободных переменных (если они есть).

В) если она принимает значение И и Л хотя бы для одной совокупности возможных значений её свободных переменных (если они есть).

Г) все ответы верны.

35. Какие из указанных элементарных конъюнкций являются правильными

А) x₁x'₂x'₃

Б) x₁x'₃x'₁

В) x₂x'₂x₂x₁

Г) x'₂x₃x'₄

36. Как выглядит позитивная литера:

А) А ∨ В ∨ ¯l С ∨ ¯l D ∨ ¯l F∨¯l D∨А

Б) А∨ В∨ С

В) ¯l А∨ ¯l В∨ ¯l С

Г) А

37. Квантор принадлежности записывается следующим образом

а) »

б) =

г) »

38. Пропозициональные буквы с отрицанием либо без отрицания, входящую в элементарную сумму (дизъюнкт), называют _____________ логики высказываний.

А) литералами (литерами)

Б) кванторами

В) литератом

Г) контрарами

37) Последовательное получение бинарных резольвент из данных дизъюнктов и вновь получаемых дизъюнктов называется:

А) методом резолюций

Б) невыполнимым

В) выполнимым

Г) контрарными

39. Дизъюнкт D называется __________ D* (или D _______ D*) если D является некоторой частью дизъюнкта D*.

А) подконъюнктом (вытесняет)

Б) надконъюнктом (поглощает)

В) поддизъюнктом (поглощает)

Г) наддизъюнктом (вытесняет)

40. Для обозначения пустого множества используется символ

А) Q

В) Δ

Г) ∞