Класифікація формул логіки предикатів. Логічне слідування

□ із (9), (10).

Тут не виписані зайві диз’юнкти за методом насичення рівня, оскільки порожній диз’юнкт отримується очевидно. Отже, дане міркування логічне і правильне.

Тестові завдання для контролю знань і вмінь з даного модуля

І варіант

I рівень

(Виберіть ОДНУ правильну відповідь)

(п+т) – місний предикат , заданий на множині M×L, який перетворюється в істинне висловлення для всіх тих і тільки тих значень змінних, при яких перетворюються в істинне висловлення обидва задані предикати називається:

А) диз’юнкцією двох предикатів Р і Q;

Б) запереченням двох предикатів Р і Q;

В) кон’юнкцією двох предикатів Р і Q;

Г) рівносильним для двох предикатів Р і Q.

2. Якщо і – множини істинності предикатів Р та Q, визначених на одній множині М, то множини істинності предикатів можна записати так:

А)

Б)

В)

Г)

3. Якщо і – множини істинності предикатів Р та Q, визначених на одній множині М, то множини істинності предикатів можна записати так:

А)

Б)

В)

Г)

4. Виберіть літеру, запис якої відповідає загальностверджувальному судженню «всі S суть Р» (всі елементи х, які мають властивість S, мають і властивість Р):

А)

Б)

В)

Г)

5. Для предикатів Р(х) = «» та Q(x) = «x=sin» справедливо, що

А) Р(х) та Q(x) тотожно хибні;

Б) Q(x) є логічним наслідком P(x);

В) Р(х) та Q(x) рівносильні;

Г) Р(х) є логічним наслідком Q(x).

6. Нехай xR, а В(х) – предикат, у якому стверджується, що х має властивість В. Записати речення «існує хоча б один xRтакий, що В(х)» мовою логіки предикатів:

А)

Б)

Рекомендуємо почитати:

Характеристика принципів позаурочної виховної роботи
Основні принципи, які визначають зміст, форми і методи виховання учнів засобами позакласної роботи у відповідності із завданнями української школи, розроблені на основі теоретичного узагаль ...

Система уроків з теми «Проектування художньої системи «колекція»
План – конспект уроку засвоєння нових знань Вихідні дані: Галицький коледж імені В.Чорновола Відділення дизайну Спеціальність: Конструювання і моделювання швейних виробів Група: М – 21 Викл ...

Методика експериментного дослідження у системі робіт з розвитку зв'язного мовлення учнів
Мовна особистість свідомо, відповідно до своїх переконань та життєвих цінностей обирає мовою спілкування мову Вітчизни, досконало вивчає її, пишається нею як національним надбанням і ознако ...