Лемма о счетности пропозициональных формул ИВ

Автор темы angel08-92 
ОбъявленияПоследний пост
ОбъявлениеРаботодателям и кадровым агентствам: Размещение вакансий и рекламы в форуме26.03.2008 03:07
ОбъявлениеПравила и принципы форума «Высшая математика»28.10.2009 15:17
ОбъявлениеВакансия Perl программиста в ABBYY Language Services24.01.2012 18:23
Форумы Список тем Новая тема
22.01.2012 17:53
angel08-92
Лемма о счетности пропозициональных формул ИВ
помогите,не могу в лекциях ничего найти по этой теме. в интернете тоже нет четких понятий. нужно знать, почему пропозициональные формулы можно занумеровать?
Ответить Цитировать
22.01.2012 18:10
museum
Почему
Пропозициональные формулы образуют подмножество множества всех конечных последовательностей символов пропозиционального языка. Эти символы суть логические связки (дизъюнкция, конъюнкция, отрицание и т.д.) и счетное множество переменных (пропозициональные переменные).
Известно утверждение: множество конечных последовательностей элементов счетного множества счетно.
Ответить Цитировать
22.01.2012 18:29
angel08-92
Лемма
Спасибо вам огромное! скажите, а у этой леммы есть какая-то формулировка вообще?
Ответить Цитировать
22.01.2012 23:01
museum
???
Вы же сформулировали. Обычно счетность подобных множеств используется часто, но не я встречал отдельно доказываемого утверждения с названием лемма или иным.
Ответить Цитировать
« Следующая тема   Предыдущая тема »
Извините, только зарегистрированные пользователи могут публиковать сообщения в этом форуме.

Кликните здесь, чтобы войти