Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

91 Задача 10 . Если Сергей интересуется логикой, то он посещает лекции по дискретной математике и не пропускает семинарские занятия. Если Сергей посещает лекции, то он пропускает семинарские занятия, и наоборот. Верно ли, что Сергей не интересуется логикой? Лабораторная работа 11. Тема: Исчисление предикатов. Задание 1. Дано:   N x : « x - натуральное число»,   c x : « x - целое число»,   p x : « x - простое число»,   r x : « x - четное число»,   , d x y : « x - делится на число y »,   s x : « x - положительное число». Выяснить, являются ли функции истинными? А)         ? x N x c x    Б)             ? x c x N x p x     В)              , ? x y c x c y d x y      Г)             ? x c x s x N x     Д)         ? x p x r x    Задание 2. Записать предложения в виде исчисления предикатов, используя обозначения:   R x : «действительное число x » ,

RkJQdWJsaXNoZXIy MTExODQxMg==