Задача по математической логике

[arseniiv]

(Оффтоп)

vovamakarovych в сообщении #513694 писал(а):

$\forall $x \exists $y \wedge $x $y\vee$A(y) \rightarrow$x \neg S(x)

Неужели есть вменяемая система обозначений, где это — правильно построенная формула? Видок у ней какой-то ээ… взлохмаченный.

[vovamakarovych]

arseniiv

ниже посмотрите в моем посте там ета формула нормальная

[arseniiv]

(Оффтоп)

Ровно оттуда и брал. Из-за странного оформления она просто неверно сцитировалась. Подправленная, она всё же не внушает доверия.

[vovamakarovych]

arseniiv
то проверте правильна ли она..... а не офтопте!!!

[arseniiv]

Нет, неправильна. Нельзя определить смысл недостроенной формулы. Я даже не имею понятия, как вы хотели её видеть. У вас там конъюнкция без левого операнда и перед последним отрицанием нет никакой связки, что оно прилипает к предшествующей переменной.

Ну и долларов лишних понатыкали. Один совсем слева, один совершенно справа, внутри не надо.

-- Сб дек 10, 2011 01:30:39 --

(И не оффтоплю я. Оформление формул хоть и кажется мелочью, а по глазам сотен людей ударяет.)

[vovamakarovych]

arseniiv

ок..переделаю