 Задача по мат. логике., для зачета надо. подскажите как решать - не знаю :( |
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| yuran |
 21.12.2005 11:55
Сообщение
#1
|
|
Гость  |
Привет!
Подскажите, как решать такую задачку. Преподаватель дал, сказал - дома подумай, а я не знаю как ее решить.  Задача: (тут обозначения: "А" - для любого (тоже что А перевернутое), "Э" - существует) Назовем АЭ-формулой любую формулу вида Ах1 Ах2 ... Ахm Эу1 Эу2 ... Эуn Ф где x1,...,xm,y1,...,yn - произвольные переменные, m,n>=0, Ф - бескванторная. Доказать, что множество геделевских номеров всех АЭ-формул сигнатуры s0 (симга 0) является рекурсивным. |
 
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 26.07.2025 11:10 |