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

В)

Г)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

А) істинною;

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

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

Г) хибною.

Рівень ІІ

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

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

А) │;

Б) │;

В) │;

Г) │.

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

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

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

Образотворчі засоби та художня манера живопису К. Білокур
Ім'я Катерини Василівни Білокур, самобутньої художниці з народу, яка в своїх чудових полотнах втілила невмирущу красу живописної української природи, її неосяжні степові далі, лани, щедрі д ...

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

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