НГУ
http://forum.nsu.ru/

Вопрос по мат. логике.
http://forum.nsu.ru/viewtopic.php?f=18&t=21370
Страница 1 из 1

Автор:  canep [ Вс июн 06, 2010 12:26 pm ]
Заголовок сообщения:  Вопрос по мат. логике.

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

Автор:  canep [ Вс июн 06, 2010 12:31 pm ]
Заголовок сообщения:  Re: Вопрос по мат. логике.

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

Автор:  Akademovetz [ Вс июн 06, 2010 11:28 pm ]
Заголовок сообщения: 

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

Автор:  canep [ Пн июн 07, 2010 5:33 pm ]
Заголовок сообщения: 

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

Автор:  inv [ Вт июн 08, 2010 12:31 am ]
Заголовок сообщения: 

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

Автор:  canep [ Вт июн 08, 2010 8:27 am ]
Заголовок сообщения: 

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

Автор:  Pavel E. Alaev [ Вт июн 08, 2010 2:35 pm ]
Заголовок сообщения: 

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

Иногда начальным сегментом в частично упорядоченном множестве [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]. Из определений очевидно, что отрезок всегда является сегментом, обратное же не всегда верно, уж так получилось.

Автор:  SakumaRei [ Чт июн 10, 2010 2:41 pm ]
Заголовок сообщения: 

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

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/