Является ли полным базис {∨; →} из дизъюнкции и импликации? Нашел ответ falcao(http://math.hashcode.ru/users/925/falcao): "Обе функции сохраняют 1. Это сразу бросается в глаза." То что функции сохраняют 1 это относится к проверке полноты базиса через теорему Поста? А можно как-то без нее это доказать? (теорема еще не была пройдена в вузе)

задан 11 Мар 15:02

@Саша1234: здесь не используется теорема Поста. То, что обе функции сохраняют 1, очевидно (1V1=1, 1->1=1). Значит, всё, что через них выражается, тоже сохраняет 1, и тем самым отрицание не выражается. Теорема Поста нетривиальна в другую сторону -- когда доказываем полноту. А в эту сторону всё просто.

(11 Мар 17:33) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,851
×1,469
×86

задан
11 Мар 15:02

показан
76 раз

обновлен
11 Мар 17:33

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru