Пронесение отрицания через кванторы
),()(),()(
),()(),()(
),()(),()(
),()(),()(
yxPyyxPy
yxPxyxPx
yxPyyxPy
yxPxyxPx
)),()((),()()),()((),()(
),()(),()(
),(),(
yxPxyxQxyxPxyxQx
yxQxyxQx
yxPyxQ
def
Геометрическое 'доказательство':
0)(
)(
0
;\\:* xTTATRTx
P
PPy
Py
не обладает свойством, что прямая
PP
TRyxRyTyx \),(;),(
2
00000
PP
TyxRyTyx ),(:,),(
00000
...&),(&),(),()(
...V),(V),(),()(
,....,,),()(
21
21
21
yxPyxPyxPy
yxPyxPyxPy
yyAyyxPy
).),(V),()()((
)),(V),()()((
)),(V),()()((
)),()V(),())(((
)),()V(),()((
)),(V),()((
)),()V(),()((
),,(
yотзавzyxотпредикат
zxQyxPzx
zxQyxPzx
zxQyxPzx
zxQzyxPzx
zxQzyxPx
yxQyxPy
yxQyyxPx
11
