НГУ

Форумы НГУ
Текущее время: Вт ноя 19, 2019 6:47 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 8 ] 
Автор Сообщение
 Заголовок сообщения: Вопрос по мат. логике.
СообщениеДобавлено: Вс июн 06, 2010 12:26 pm 
Не в сети
Редкий гость

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Вопрос по мат. логике.
СообщениеДобавлено: Вс июн 06, 2010 12:31 pm 
Не в сети
Редкий гость

Зарегистрирован: Вт янв 26, 2010 1:16 pm
Сообщения: 14
Все, объяснили, что по краям еще стоят скобки, и начало начинается с них:) чертово упрощение.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вс июн 06, 2010 11:28 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Вт ноя 29, 2005 6:34 pm
Сообщения: 1498
действительно, такие подробности лучше выяснять на лекциях или у товарищей студентов в КДЗ. на форуме -- не скоро ответ будет. себе дороже :-?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн июн 07, 2010 5:33 pm 
Не в сети
Редкий гость

Зарегистрирован: Вт янв 26, 2010 1:16 pm
Сообщения: 14
Вот еще вопрос, что мешает начальному сегменту множества, которое не является вполне упорядоченным быть еще и начальным отрезком?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт июн 08, 2010 12:31 am 
Не в сети
Редкий гость

Зарегистрирован: Пн авг 31, 2009 7:27 am
Сообщения: 7
Каким образом показать, что секвенция |-- не тождественно истинна?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт июн 08, 2010 8:27 am 
Не в сети
Редкий гость

Зарегистрирован: Вт янв 26, 2010 1:16 pm
Сообщения: 14
секвенция типо " |-- "?
если да, то по определению того, когда секвенция истинна - у этой нет истиной формулы в правой части и нет ложных в левой, все)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт июн 08, 2010 2:35 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
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]. Из определений очевидно, что отрезок всегда является сегментом, обратное же не всегда верно, уж так получилось.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт июн 10, 2010 2:41 pm 
Не в сети
Частый гость

Зарегистрирован: Чт ноя 19, 2009 9:23 pm
Сообщения: 72
Можно еще сюда же вопрос. Как формулируется теорема Мальцева о расширении и нужна ли она для сдачи экзамена 1 потоку?
Методичку Гончарова просмотрел на три раза, теоремы не нашел.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 8 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 4


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB