Логика предикатов
15. Слагаемые элементарной суммы называют:
1) переменными |
2) константами |
3) литералами |
4) буквами |
ЛОГИКА ПРЕДИКАТОВ
1. Повествовательное предложение об элементах некоторого множества, которое становиться высказыванием, если все переменные в нем заменить элементами этого множества?
1) предикат |
2) высказывание |
3) предложение |
4) функция |
2. Нульместный предикат – это…
1) тавтология |
2) высказывание |
3) литерал |
4) противоречие |
3. Как прочитать выражение ?
1) Хотя бы для одного х Р(х) |
2) Для некоторого х Р(х) |
3) Существует х, что Р(х) |
4) Для всех х Р(х) |
4. — квантор…
1) существования |
2) двойственности |
3) эквивалентности |
4) всеобщности |
5. — квантор…
1) существования |
2) двойственности |
3) эквивалентности |
4) всеобщности |
6. Как прочитать выражение ?
1) Для всех х Р(х) |
2) Для всех х выполняется Р(х) |
3) Существует х, что Р(х) |
4) Для каждого х Р(х) |
7. Квантор всеобщности является аналогом…
1) дизъюнкции |
2) отрицания |
3) импликации |
4) конъюнкции |
8. Квантор существования является аналогом…
1) дизъюнкции |
2) отрицания |
3) импликации |
4) конъюнкции |
9. Начальные буквы латинского алфавита (с индексами или без) называются…
1) Предметными постоянными |
2) Предметными переменными |
3) Предикатными буквами |
4) Функциональными буквами |
10. Конечные буквы латинского алфавита (с индексами или без) называются…
1) Предметными постоянными |
2) Предметными переменными |
3) Предикатными буквами |
4) Функциональными буквами |
11. Буквы с числовыми индексами называются…
1) Предметными постоянными |
2) Предметными переменными |
3) Предикатными буквами |
4) Функциональными буквами |
12. Буквы с числовыми индексами называются…
1) Предметными постоянными |
2) Предметными переменными |
3) Предикатными буквами |
4) Функциональными буквами |
13. Если – предикатная буква, а – термы, то — …
1) Элементарная формула |
2) терм |
3) предикат |
4) функция |
14. Всякая предметная переменная или предметная постоянная есть …
1) Функциональная буква |
2) терм |
3) предикат |
4) Элементарная формула |
15. Если – функциональная буква и – термы, то — …
1) Функциональная буква |
2) предикат |
3) терм |
4) элементарная формула |
16. В выражениях и формула A называется … кванторов и соответственно.
1) Областью определения |
2) Областью значения |
3) Областью сокращения |
4) Областью действия |
17. Какая формула не является логически общезначимой?
1) |
2) |
3) |
4) |
18. Формула логики предикатов называется логически общезначимой, если она …
1) выполнима |
2) истинна в любой интерпретации |
3) невыполнима Узнать стоимость за 15 минутРаспродажа дипломныхСкидка 30% по промокоду Diplom2020 Подпишись на наш паблик в ВКНужна работа?Контрольная работа у наших партнеров |