Учебные материалы по математике | Логика предикатов | Matematiku5
Вузы по математике Готовые работы по математике Как писать работы по математике Примеры решения задач по математике Решить задачу по математике online

Логика предикатов


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)  невыполнима

Наташа

Автор

Наташа — контент-маркетолог и блогер, но все это не мешает ей оставаться адекватным человеком. Верит во все цвета радуги и не верит в теорию всемирного заговора. Увлекается «нефрохиромантией» и тайно мечтает воссоздать дома Александрийскую библиотеку.

Распродажа дипломных

 Скидка 30% по промокоду Diplom2020

А ты боишься COVID-19?

 Пройди опрос и получи промокод