Опубликовано 26.01.2018 по предмету Информатика от Гость

Какие предикаты первого порядка описывают условие: «Точка X не
принадлежит отрезку [А; В]» ?
а) не (X ≥ А) и X < В;
б) X < А или X > В;
в) не (Х ≤ В или Х ≥ А);
г) Х ≤ А и Х ≥ В.

Ответ оставил Гость

Для начала, если есть знак /leq or /geq, то нам не подходит, т.к. элемент может равняться данному числу. 
исходя из этого пункт Г точно не подходит.
Рассмотрим а)
не (X /geq A) означает, что X / /textless /  A. Перепишем 
X / /textless /  A /: /wedge /: X/ /textless / B. Т.к. у нас множества, то можно рассматривать знак /wedge как пересечение. Соответственно знак /lor как объединение.
т.е. в а) в результате пересечения двух таких интервалов получим просто
X / /textless /  A. Данное уравнение нам вполне подходит. Если наша точка точно меньше A, то в отрезок не попадает. 
б) Тут имеем либо точка точно меньше A или точно больше B. Однозначно подходит нам.
в) перепишем, используя закон Де Моргана
/lnot (X /leq B /: /lor /: X /geq A) = /lnot(X /leq B) /wedge /: /lnot(X /geq A) =  // 
X / /textgreater /  B /: /wedge /: X / /textless /  A
Т.к. у нас B / /textgreater /  A, то число одновременно больше B и меньше A не существует.

Как-то так.

Не нашел нужный ответ?

Если ответ по предмету Информатика отсутствует или он оказался неправильным, то попробуй воспользоваться поиском других ответов во всей базе сайта.


Найти другие ответы