Здравствуйте, Посетитель - 375268!

Введем такие предикаты
T(x) - объект x - точка
L(x) - объект x - прямая
P(x,y) - объекты x и y параллельны
A(x,y) - объект x является частью y
Тогда высказывание можно записать так:
x - точка
y,z,t - прямые
точка x не лежит на прямой y и лежит на прямых z и t
y параллельна z и t
При соблюдении всех этих условий необходимо, чтобы z=t
[$8704$]x[$8704$]y[$8704$]z[$8704$]t(T(x) & L(y) & ~A(x,y) & L(z) & A(x,z) & P(y,z) & L(t) & A(x,t) & P(y,t)[$8594$](z=t))
Импликацию можно превратить в дизъюнкцию
[$8704$]x[$8704$]y[$8704$]z[$8704$]t(~(T(x) & L(y) & ~A(x,y) & L(z) & A(x,z) & P(y,z) & L(t) & A(x,t) & P(y,t))[$8744$](z=t))
[$8704$]x[$8704$]y[$8704$]z[$8704$]t(~T(x) [$8744$] ~L(y) [$8744$] A(x,y) [$8744$]~ L(z) [$8744$]~ A(x,z)[$8744$] ~P(y,z) [$8744$]~L(t) [$8744$]~A(x,t) [$8744$]~P(y,t)[$8744$](z=t))
Это ПНФ, как как все кванторы находятся в начале формулы, она содержит только отрицание и дизъюнкцию, а операция отрицания отнесена к элементар­ным формулам.