Файл: Учебник для сопровождения лекций и практических занятий.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 11.01.2024
Просмотров: 51
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
VI. Построение отрицаний к формулам с предика- тами и кванторами
¬
(∀???? ????(????)) ∼ ∃????
¬
????(????);
¬
(∃???? ????(????)) ∼ ∀????
¬
????(????).
В случае, когда предикат ???? может быть выражен через логические функции
, отрицание строится с использованием соответствую- щих соотношений.
Например, отрицание к формуле (здесь «по умолчанию» ???? и ????
обозначают натуральные числа) ∃???? ∀???? ???? > ???? т.е.
«неверно, что найдется наибольшее натуральное число», имеет вид
∀???? ∃????
279
VI. Построение отрицаний к формулам с предика- тами и кванторами
¬
(∀???? ????(????)) ∼ ∃????
¬
????(????);
¬
(∃???? ????(????)) ∼ ∀????
¬
????(????).
В случае, когда предикат ???? может быть выражен через логические функции
, отрицание строится с использованием соответствую- щих соотношений.
Например, отрицание к формуле (здесь «по умолчанию» ???? и ????
обозначают натуральные числа) ∃???? ∀???? ???? > ???? т.е.
«неверно, что найдется наибольшее натуральное число», имеет вид
∀???? ∃????
???? < ????.
280
Спасибо за внимание!
e-mail:
melnikov@k66.ru
,
melnikov@r66.ru сайты:
http://melnikov.k66.ru
,
http://melnikov.web.ur.ru
Вернуться к списку презентаций?
281