Какие предикаты первого порядка обрисовывают условие: Точка X непринадлежит отрезку [А;

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

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

Как-то так. 
, оставишь ответ?
Имя:*
E-Mail:


Добро пожаловать!

Для того чтобы стать полноценным пользователем нашего портала, вам необходимо пройти регистрацию.
Зарегистрироваться
Создайте собственную учетную запить!

Пройти регистрацию
Авторизоваться
Уже зарегистрированны? А ну-ка живо авторизуйтесь!

Войти на сайт