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

В)

Г)

7. Якщо на множині натуральних чисел задано предикати Е(х) = «x – парне число», D (x, y) = «y ділиться на х», то висловлення українською мовою можна прочитати так:

А) будь-яке натуральне число ділиться на 2 і є парним;

Б) деяке натуральне число ділиться на 2 або є парним;

В) будь-яке натуральне число, яке ділиться на 2, є парним;

Г) деяке натуральне число, яке ділиться на 2, є парним.

8. Якщо формула істинна в будь – якій інтерпретації, то вона називається:

А) істинною в даній інтерпретації;

Б) виконуваною в даній інтерпретації;

В) логічно загальнозначущою в даній інтерпретації;

Г) суперечністю в даній інтерпретації.

9. Якщо формула виконувана хоча б в одній інтерпретації, то вона називається:

А) істинною в даній інтерпретації;

Б) виконуваною в даній інтерпретації;

В) суперечністю в даній інтерпретації;

Г) логічно загальнозначущою в даній інтерпретації.

10. Формула у інтерпретації М=[0; 2], є

А) істинною;

Б) не формулою;

В) виконуваною;

Г) хибною.

Рівень ІІ

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

Маємо два одномісні предикати задані на множині натуральних чисел. Предикат Р(х) означає «х ділиться на 2», предикат Q(x) – «х ділиться на 3». Множини │ і │. Нехай результат однієї з логічних операцій, виконаних над предикатами і . Який вигляд матиме множина істинності предикату , якщо . Відповідь обгрунтуйте і оберіть правильний варіант із запропонованих.

А) │;

Б) │;

В) │;

Г) │.

17. Розглянемо двомісний предикат «х+у>1», заданий на множині натуральних чисел. Якщо зв’язати квантором загальності змінну х, що отримається? Відповідь обгрунтуйте і виберіть правильну.

А) Одномісний предикат , який буде тотожно істинним для будь-якого значення у;

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

Сутність понять «метод навчання», «навчальний процес»
Відповідь на питання дидактики «як навчати?» дає категорія методів навчання. Без них неможливо досягнути поставлених цілей, реалізувати зміст навчального матеріалу, організувати пізнавальну ...

Сакральний текст як лінгвокультурний
Сакральне – священне, те, що володіє особливим статусом буття і протистоїть звичайному, повсякденному, вимагаючи певного типу вшанування, особливого до себе ставлення. Сакральний текст потр ...

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