предикаты
Добавлено: 01 дек 2009, 05:54
1. Записать c помощью кванторов высказывание :функция f(x) непрерывна хотя бы в одной точке интервала (a;b). Составить высказывание "не ". Привести пример доказательства на основании высказывания "не ".
функция, как понятно, непрерывна в т. если .
A как записать это кванторами так, чтобы потом и отрицание высказывания построить?
2. Предикаты P и Q определены на множестве {a, b, c}. Найти предикат, равносильный предикату , но не содержащий кванторов. Выяснить, может ли предикат быть выполнимым, но не тождественно истинным.
Здесь вопрос в том, как представить через конъюнкцию?
Заранее всем спасибо за помощь.
функция, как понятно, непрерывна в т. если .
A как записать это кванторами так, чтобы потом и отрицание высказывания построить?
2. Предикаты P и Q определены на множестве {a, b, c}. Найти предикат, равносильный предикату , но не содержащий кванторов. Выяснить, может ли предикат быть выполнимым, но не тождественно истинным.
Здесь вопрос в том, как представить через конъюнкцию?
Заранее всем спасибо за помощь.