УПП_Дискретная математика-1. Международный консорциум Электронный университет Московский государственный университет экономики, статистики и информатики

• Название: Международный консорциум Электронный университет Московский государственный университет экономики, статистики и информатики
• Дата: 09.02.2023
• Размер: 6.65 Mb.
• Имя файла: УПП_Дискретная математика-1.doc
• Тип: Учебно-практическое пособие; #929287
• страница: 9 из 19

Тест

1. 
   Следующее высказывание может быть интерпретировано как сложное высказывание: «Неверно, что первым пришел Петр или Павел». Каковы составляющие его элементарные высказывания?
   

а) А: «Неверно, что первым пришел Петр»

В: «Неверно, что первым пришел Павел»;

б) А: «Первым пришел Петр»

В: «Неверно, что первым пришел Павел»;

в) А: «Первым пришел Петр»

В: «Первым пришел Павел».

2. 
   Какой из формул может быть записано высказывание предыдущего вопроса?
   

а) ;

б) ;

в) .

3. 
   Будет ли высказывание S=(АВ)(ВС)(АС):
   

а) тождественно истинным;

б) тождественно ложным;

в) переменным.

4. 
   Каково значение Х, определяемое уравнением ?
   

а) ;

б) В;

в) В \ А.

5. 
   Чему равносильна конъюнкция контропозиции и ее конверсии?
   

а) импликации;

б) конверсии импликации;

в) двойной импликации.

6. 
   В высказывании S: «Треугольники равны только тогда, когда равны их стороны». Равенство углов в треугольнике является:
   

а) необходимым условием;

б) достаточным условием;

в) необходимым и достаточным условием.

7. 
   Какая из функций f1, f2, f3 соответствует формуле (см. табл.2.4.1). ?
   

а) f₁;

б) f₂;

в) f₃.

Таблица 2.4.1

х1	х2	х3	f1	f2
1	1	1	1	1
1	1	0	1	0
1	0	1	0	0
1	0	0	1	0
0	1	1	1	1
0	1	0	0	0
0	0	1	1	0
0	0	0	1	0

8. 
   Какая из переменных х1, х2, х3 является фиктивной в формуле f, где f задана условием f (0,0,1)=f(0,0,0)? На остальных наборах значений переменных f принимает значение истинно.
   

а) х₁;

б) х₂;

в) х₃.

9. 
   Какие из пар связок образуют полную систему связок?
   

а) (, ^);

б) (, );

в) (, ).

10. 
    Даны два высказывания S1: « Если треугольники равны, то равны их стороны», S2: «Стороны треугольников равны тогда и только тогда, когда равны треугольники». Существует ли отношение следствия между S1 и S2?
    

а) из S₁ следует S₂;

б) из S₂ следует S₁;

в) ни одно из высказываний не следует из другого.

11. 
    Если между высказываниями S1 и S2 существует отношение следствия, являются ли эти высказывания совместимыми?
    

а) да;

б) нет;

в) может быть и тот, и другой вариант.

12. 
    Если из высказывания S1 следует S2 и наоборот из S2 следует S1, являются ли высказывания S1 и S2 эквивалентными?
    

а) да;

б) нет;

в) может быть и тот, и другой вариант.

13. 
    Если высказывания эквивалентны, существует ли между ними отношения следствия?
    

а) да;

б) нет;

в) может быть и тот, и другой вариант.

14. 
    Могут ли быть при правильном рассуждении все посылки истинными, если заключение ложно?
    

а) да;

б) нет;

в) иногда да, иногда нет.

15. 
    Существует ли СКНФ у тождественно истинной формулы алгебры высказываний?
    

а) да;

б) нет;

в) иногда да, иногда нет.

16. 
    Существует ли СДНФ у невыполнимой формулы?
    

а) да;

б) нет;

в) иногда да, иногда нет.

17. 
    Каково множество истинности у невыполнимой формулы?
    

а) «U» – универсальное;

б) «V» – пустое;

в) некоторое множество А, не являющееся ни пустым, ни универсальным.

18. 
    Сколько единиц имеет полная элементарная конъюнкция?
    

а) ни одной;

б) одну;

в) несколько.

19. 
    Сколько нулей имеет полная элементарная дизъюнкция?
    

а) один;

б) ни одного;

в) несколько.

20. 
    Сколько слагаемых содержит СДНФ, построенная по функции , заданной так, что на всех наборах значений переменных х1, х2, х3 она принимает значение 1?
    

а) 2;

б) 4;

в) 8.

21. 
    Сколько сомножителей содержит СКНФ, построенная по функции ?
    

а) 2;

б) 4;

в) 8.

22. 
    Можно ли для функции заданной так, что на всех наборах значений переменных х₁, х₂, х₃ она принимает значение 0, построить какую-либо совершенную нормальную форму?
    

а) можно СДНФ;

б) можно СКНФ;

в) нельзя построить ни одной совершенной нормальной формы.

22. 
    Можно ли некоторое высказывание записать в виде релейно-контактной схемы?
    

а) да;

б) нет;

в) иногда можно, иногда нет.

22. 
    Могут ли две релейно-контактные схемы, соответствующие одной и той же функции проводимости, иметь различное число реле?
    

а) да;

б) нет;

в) никогда не могут.

22. 
    Имеем формулу , выводимую из формул , т.е. . Являются ли выводимыми формулы ?
    

а) да;

б) нет;

в) некоторые из них выводимы, некоторые нет.

22. 
    Если формула  выводима из аксиом исчисления высказываний, какой она является как формула алгебры высказываний?
    

а)  тождественно истинной;

б)  тождественно ложной;

в)  – переменное высказывание.

22. 
    Является ли противоречивым некоторое исчисление (формальная аксиоматическая система), если оно имеет некоторую содержательную интерпретацию?
    

а) противоречиво;

б) непротиворечиво;

в) может быть и тот, и другой вариант.

22. 
    Формула  есть тождественно истинная формула алгебры высказываний. Будет ли  выводима из аксиом как формула исчисления высказываний?
    

а)  выводима;

б)  невыводима;

в) может быть и тот, и другой вариант.

22. 
    Можно ли какую-либо аксиому исчисления высказываний вывести из остальных аксиом?
    

а) некоторую аксиому можно, некоторую нельзя;

б) все можно;

в) все нельзя.

22. 
    Является ли высказывание «Солнце встает на западе» предикатом?
    

а) да;

б) нет.

22. 
    «1=0» является предикатом:
    

а) унарным;

б) тернарным;

в) 0 – местным;

г) бинарным.

22. 
    Предикат Р(x), заданный на множестве М, является неопределенным высказыванием, если:
    

а) множество М является нечетким;

б) переменная X обозначает любой элемент из множества М;

в) множество М является несчетным;

г) множество М является бесконечным.

22. 
    Какие переменные в предикате x₂x₅P(x₁,x₂,x₃,x₄,x₅) являются связными?
    

а) x₁,x₂,x₃,x₄,x_5;

б) x₂,x_5;

в) x₁,x₃,x_4.;

г) Р.

22. 
    Какие переменные в предикате x₂x₅P(x₁,x₂,x₃,x₄,x₅) являются свободными?
    

а) x₁,x₂,x₃,x₄,x_5;

б) x₂,x_5;

в) x₁,x₃,x_4;

г) Р.

22. 
    Предикат x₂x₅P(x₁,x₂,x₃,x₄,x₅) является :
    

а) унарным;

б) тернарным;

в) 0 – местным;

г) бинарным.

22. 
    xX, yY, XY, P(x,y) – «x=y», Y – множество натуральных чисел. Определить истинное высказывание:
    

а) yP(x,y);

б) xP(x,y);

в) xP(x,y);

г) yP(x,y).

22. 
    xX, yY, XY, P(x,y) – « x=y», Y – множество натуральных чисел. равносильны ли предикаты и ?
    

а) да;

б) нет.

22. 
    xX, yY, XY, P(x,y) – « x=y», Y – множество натуральных чисел. равносильны ли предикаты и ?
    

а) да;

б) нет.

22. 
    xX, yY, XY, P(x,y) – « x=y», Y – множество натуральных чисел. равносильны ли предикаты и ?
    

а) да;

б) нет.

22. 
    Какие из высказываний S₁, S₂, S₃, состоящих из двух элементарных А и В, равносильны?
    

S₁: «Если А, то не В».

S₂: «А или не В».

S₃: «Неверно, что А и В».

а) S₁=S₂;

б) S₁=S₃;

в) S₂=S₃.

22. 
    Что означает высказывание «А только, если В»?
    

а) А достаточно для В;

б) А необходимо для В;

в) А необходимо и достаточно для В.

22. 
    Чему равносильна конъюнкция импликации и ее конверсии?
    

а) контроппозиции;

б) конверсии контроппозиции;

в) двойной импликации.

22. 
    Какая формула соответствует функции f(х₁, х₂): f(1,1)=1?
    

а) х₁х₂;

б) х₁х₂;

в) х₁х₂.

22. 
    Какие из переменных функций f(х₁, х₂) являются существенными, если f(х₁, х₂): f(1,i)=0
    

а) х₁;

б) х₁;

в) обе переменные фиктивны.

22. 
    С помощью какой связки можно записать любую формулу алгебры высказываний?
    

а) с помощью дьзъюнкции;

б) с помощью конъюнкции;

в) с помощью штриха Шеффера.

22. 
    Если множество истинности высказывания А есть подмножество множества истинности высказывания В, существует ли отношения следствия между А и В?
    

а) из А следует В;

б) из В следует А;

в) ни одного из них не следует из другого.

22. 
    Если высказывания А и В несовместимы, что можно утверждать о множествах истинности этих высказываний?
    

а) множество истинности А есть подмножество множества истинности высказывания В;

б) множества истинности А и В совпадают;

в) множество истинности А и В не пересекаются.

22. 
    Если высказывания А и В несовместимы, существует ли между ними отношение следствия?
    

а) из А следует В;

б) из В следует А;

в) ни одного из них не следует из другого.

22. 
    Если при проверке правильности рассуждения получен результат , где Р – конъюнкция посылок, Q – заключение. Означает ли это, что рассуждение правильно?
    

а) да;

б) нет;

в) может быть правильным в одних случаях и неправильным в других.

22. 
    Каково максимальное число слагаемых СДНФ для формулы ?
    

а) n;

б) n²;

в) .

22. 
    Каково максимальное число сомножителей СКНФ невыполнимой формулы ?
    

а) n;

б) n²;

в) .

22. 
    Если СДНФ формулы S(х₁, х₂, х₃) содержит 3 слагаемых, сколько сомножителей содержит ее СКНФ?
    

а) 3;

б) 4;

в) 5.

22. 
    Соответствуют ли различные релейно-контактные схемы одному и тому же высказыванию?
    

а) всегда;

б) никогда;

в) могут соответствовать, могут не соответствовать.

22. 
    Могут ли равносильные высказывания быть записаны в виде некоторой релейно-контактной схемы?
    

а) да;

б) нет;

в) могут, но не всегда.

22. 
    Если исчисление противоречиво, имеет ли оно некоторую содержательную интерпретацию?
    

а) имеет;

б) не имеет;

в) имеет, но не всегда.

22. 
    Если исчисление является полным, можно ли какую-либо невыводимую в этом исчислении формулу добавить к аксиомам так, чтобы исчисление осталось непротиворечивым?
    

а) можно;

б) нельзя;

в) можно, но не всегда.

22. 
    Если система аксиом некоторого исчисления независима, можно ли какие-либо аксиомы вывести из других?
    

а) можно;

б) нельзя;

в) можно, но не всегда.
Т ема 3.