Какие предикаты первого порядка описывают условие: «Точка X не принадлежит отрезку [А; В]» ? а) не (X ≥ А) и X < В; б) X < А или X > В; в) не (Х ≤ В или Х ≥ А); г) Х ≤ А и Х ≥ В.
11
ОТВЕТЫ
Для начала, если есть знак , то нам не подходит, т.к. элемент может равняться данному числу.
исходя из этого пункт Г точно не подходит.
Рассмотрим а)
не означает, что . Перепишем
. Т.к. у нас множества, то можно рассматривать знак как пересечение. Соответственно знак как объединение.
т.е. в а) в результате пересечения двух таких интервалов получим просто
. Данное уравнение нам вполне подходит. Если наша точка точно меньше A, то в отрезок не попадает.
б) Тут имеем либо точка точно меньше A или точно больше B. Однозначно подходит нам.
в) перепишем, используя закон Де Моргана
Т.к. у нас , то число одновременно больше B и меньше A не существует.
Как-то так.
исходя из этого пункт Г точно не подходит.
Рассмотрим а)
не означает, что . Перепишем
. Т.к. у нас множества, то можно рассматривать знак как пересечение. Соответственно знак как объединение.
т.е. в а) в результате пересечения двух таких интервалов получим просто
. Данное уравнение нам вполне подходит. Если наша точка точно меньше A, то в отрезок не попадает.
б) Тут имеем либо точка точно меньше A или точно больше B. Однозначно подходит нам.
в) перепишем, используя закон Де Моргана
Т.к. у нас , то число одновременно больше B и меньше A не существует.
Как-то так.
182
Отв. дан
Vyuvasemk
Для написания вопросов и ответов необходимо зарегистрироваться на сайте
Другие вопросы в разделе - Информатика
Vaavdem
Подскажите решить задания по информатике. Заранее спасибо) 1. Сравните ...
2019-01-22 07:30:05
Gavilanim
2019-01-22 07:28:44
Горлов
При каких значениях числа X предикат первого порядка не ...
2019-01-22 07:28:15
Teshetvor
Информационное сообщение объемом 1.5 КБ содержит 3072 символа сколько ...
2019-01-22 07:27:50