Докажите выводимость формул 1) y^z->x\/Y 2) (X->Z)/(X^Y->Z^Y)

задан 12 Янв 20:38

Выводимость бывает только в исчислениях, а их много. Без полного описания правил вывода и аксиом о выводимости говорить рано.

Что такое / в логической формуле, тоже непонятно. Конъюнкцию лучше писать как y&z или yz.

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

Ваш ответ

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

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

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

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

отмечен:

×1,047
×63

задан
12 Янв 20:38

показан
29 раз

обновлен
13 Янв 2:16

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

по почте:

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

по RSS:

Ответы

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

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