математическая логика.предикаты

[Zhenya]

натолкните на идею пожалуйста..вот задача..
пусть Ф не содержит свободно х. Y(x)-формула, тогда если |= Y(x)=>Ф, то |= Э х Y(x)=>Ф.
извените, записала как смогла... |= -тавтология , а Э-существует..

[Toucan]

Едем в Карантин.

Чтобы оттуда выбраться оформите формулы по Правилам форума, т.е. в $\TeX$. Как это сделать, написано тут: topic8355.html и topic183.html.

После того, как исправите сообщение, напишите в Сообщение в карантине исправлено, чтобы кто-нибудь из модераторов вернул Вашу тему в учебный раздел.