НГУ

Что имеется ввиду под началом формулы А?
Или вообще, вопрос по доказательству леммы "если формула А является началом формулы В, то А и В совпадают". Когда базис доказываем, А - переменная, В=А&С. А ведь будет началом В, но В при этом не атомная..

Все, объяснили, что по краям еще стоят скобки, и начало начинается с них:) чертово упрощение.

действительно, такие подробности лучше выяснять на лекциях или у товарищей студентов в КДЗ. на форуме -- не скоро ответ будет. себе дороже

Вот еще вопрос, что мешает начальному сегменту множества, которое не является вполне упорядоченным быть еще и начальным отрезком?

Каким образом показать, что секвенция |-- не тождественно истинна?

секвенция типо " |-- "?
если да, то по определению того, когда секвенция истинна - у этой нет истиной формулы в правой части и нет ложных в левой, все)

Иногда начальным сегментом в частично упорядоченном множестве [tex](A, \leqslant)[/tex] называют любое подмножество [tex]S[/tex], которое замкнуто вниз, что есть такое, что из [tex] x \in S [/tex] и [tex] y \leqslant x [/tex] следует, что [tex] y \in S [/tex].

Начальный отрезок - подмножество [tex] S [/tex] вида [tex] \{ x \mid x < a \} [/tex]. Из определений очевидно, что отрезок всегда является сегментом, обратное же не всегда верно, уж так получилось.

Можно еще сюда же вопрос. Как формулируется теорема Мальцева о расширении и нужна ли она для сдачи экзамена 1 потоку?
Методичку Гончарова просмотрел на три раза, теоремы не нашел.