Тест №4

1. Из следующих предложений выберете предикаты:

а) ;

б) "Для выполняется равенство ";

в) Все числа, делящиеся на 9, делятся на 3;

г) Неверно, что 17 делится на 5.

2. Найдите множество истинности предиката : "".

а) 2;

б) ;

в) ;

г) .

3. Даны предикаты : "Число х делится на 3" и : "Сумма цифр числа делится на 9". Установите, какие из следующих импликаций истинны для всех натуральных чисел:

а) ;

б) ;

в) ;

г) .

4. Задайте множество значений переменной так, чтобы на этом множестве второй предикат следовал из первого. : ""; : "".

а) ;

б) ;

в) ;

г) .

5. Задайте множество значений переменной так, чтобы предикат

: "" и : "" были на этом множестве эквивалентны.

а) ;

б) ;

в) .

6. Какой логический знак нужно вставить, чтобы выполнялась равносильность ?

а) ;

б) ;

в) ;

г) .

7. Задан предикат : "Река впадает в море ". Выбрать из следующих предикатов предикат: "Существует море, в которое впадает река ".

а) ;

б) ;

в) ;

г) .

8. Для формулы найти равносильную приведенную форму:

а) ;

б) ;

в) ;

г) .

9. Применяя равносильные преобразования, приведите следующие формулы к приведенной нормальной форме :

а) ;

б) ;

в) ;

г) .

Дата добавления: 2014-01-07