Question

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

Answer 1

Для начала, если есть знак $\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 не существует.

Как-то так.