Зарипова, Э.Р. Дискретная математика Часть 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 » ,
Made with FlippingBook
RkJQdWJsaXNoZXIy MTExODQxMg==