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

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

А)

Б)

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

Оформлення списку використаних джерел
Список використаних джерел - елемент бібліографічного апарату, котрий містить бібліографічні описи використаних джерел і розміщується після висновків. Бібліографічний опис складають безпосе ...

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

Робота громадських організацій у підрозділах
У військових підрозділах, важливим чинником виховної роботи виступають громадські організації. До складу громадських організацій підрозділу входять: - Рада військового колективу – постійно ...