Логика седьмого порядка

[arseniiv]

Как, надо ещё точнее?

[alex1910]

arseniiv в сообщении #443507 писал(а):

Как, надо ещё точнее?

Ессснннно. Отрицание утверждения X - это вполне конкретное единственное утверждение Y - без каких-либо дополнительных допущений и степеней свободы:)

[arseniiv]

Аа, вы об этом. Действительно, надо было переформулировать не об отрицании, а о способе сопоставления фразам языка формул, чтобы сразу сопоставлять тем фразам не отрицание, а то, что я привёл.