Как по мне, нет никакого сложного вопроса. Определение истинности по Тарскому - это просто перенос структуры рассматриваемой формулы в метатеорию. Соответственно, любое доказательство общезначимости просто апеллирует к аналогичному свойству в метатеории.
Да-да, именно это и смущает kernel1983, почитайте его первое сообщение.
Кстати, почему квантор

коммутирует с дизъюнкцией? А потому что он тоже действует так

![$\exists_f(A)=f[A]=\{y\in Y\mid \exists x\in X (f(x)=y \wedge x\in A)\}$ $\exists_f(A)=f[A]=\{y\in Y\mid \exists x\in X (f(x)=y \wedge x\in A)\}$](https://dxdy-01.korotkov.co.uk/f/8/f/6/8f66a67ccaab7e45694c26e47832f88882.png)
(по подмножеству

выдаёт его образ), но присобачен слева, а не справа

если и только если

(образ

включён в

если и только если

включено в прообраз

)
-- 12.04.2017, 17:25 --