Question

Практическая работа по теме «Предикаты» 1. Найти какое-нибудь предложение с одной свободной числовой переменной, которое выполняется для всех значений переменной, кроме 3, 5, 17.
2. Изобразить геометрическое место точек координатной плоскости Oxy, для которых:
1) x >= 0;
2) y >= 0;
3) x >= 0 ∧ y >= 0;
4) x >= 0 ∨ y >= 0;
5) x >= 0 → y >= 0;
6) x >= 0 ↔ y >= 0.
3. Для каждого из следующих предложений постарайтесь наиболее точно передать выражаемую им мысль с предложения, содержащего кванторы.
1) а) x есть нуль; б) нуль существует.
2) а) Число x обладает противоположным; б) каждое число обладает противоположным.
3) а) x меньше некоторого числа; б) каждое число меньше некоторого числа; в) некоторое число меньше x; г) некоторое число меньше каждого числа.
Контрольные вопросы:
1. Какие знаете операции логики высказываний и каковы их свойства?
2. Что такое предикаты?
3. Что такое кванторы?
4. Какого типа бывают кванторы?
5. Коммутируют ли разноименные кванторы? Покажите это.