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

□ із (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такий, що В(х)» мовою логіки предикатів:

А)

Б)

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

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

Сприймання і усвідомлення матеріалу про похідну показникової функції
Перш ніж знаходити похідну показниковїх функції, зробимо два важливих зауваження. Графік функції у=ах проходить через точку (0; 1). Нехай – величина кута , утвореного дотичною до графіка фу ...

Проектування як метод особистісно орієнтованого навчання
Сьогодні такі методи навчання в співпраці, як метод проектів, навчання в малих групах, надзвичайно «модні». Опублікована велика кількість психолого-педагогічних науково-методичних праць, де ...