Показать выводимость ИВ:

  1. ¬B⊢B→C
  2. ⊢¬B→(B→C)
  3. {B,¬C}⊢¬(B→C)
  4. ¬(B→C)⊢B
  5. (¬B→A)→((B→A)→A)

Система аксиом Чёрча: 1. A→(B→A) 2. (A→(B→C))→((A→B)→(A→C)) 3. ((¬B)→(¬A))→(((¬B)→A)→B)

В выводе можно использовать теорему дедукции, лемму о транзитивности, лемму о снятии двойного отрицания, правило контрапозиции, лемму о тавтологии, modus ponens.

задан 8 Окт '17 21:32

10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×4,520
×3,698
×1,476
×888
×32

задан
8 Окт '17 21:32

показан
388 раз

обновлен
8 Окт '17 21:32

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

по почте:

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

по RSS:

Ответы

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

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