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

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

А)

Б)

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

Принципи, структура та зміст побудови програми «Духовна музика в сучасній школі»
Повернення знання духовної музики, безумовно, тривалий процес і буде охоплювати не одне покоління. Можливо, він аналогічний процесові входження людини в сферу давньоруського живопису, що оп ...

Погляди вчених на проблему прав дітей
Нині в Україні спостерігається спалах інтересу до такої незвичної для вітчизняного суспільно-гуманітарного контексту проблеми, як права дитини. Висунення на передній план політичного, педаг ...

Рівнобедрений трикутник, його властивості та ознаки
Трикутник називається рівнобедреним, якщо в нього дві сторони рівні. Ці рівні сторони називаються бічними сторонами, а третя сторона називається основою трикутника. На рисунку 3.1 зображени ...