Может ли формула (A → B) → ((¬B → C) → (¬A → C)) встречаться в выводе ИВ длины 3.

задан 29 Сен '17 0:22

Версий исчисления высказываний много. Для ответа на такой вопрос нужен полный список аксиом и правил вывода (или ссылка).

(29 Сен '17 1:43) falcao

(A1):F→(G→F); (A2):(F→(G→H))→((F→G)→(F→H)); (A3):(¬G→¬F)→((¬G→F)→G);

При выводе можно использовать т. дедукции, лемму транзитивности и правило контрпозиции

(29 Сен '17 3:22) vs13131313

и modus ponens

(29 Сен '17 3:23) vs13131313

@vs13131313: эта формула вообще невыводима, так как не является тавтологией. При |A|=0, |B|=1, |C|=0 она ложна.

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

Ваш ответ

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

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

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

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

отмечен:

×4,517
×1,476
×888
×32

задан
29 Сен '17 0:22

показан
519 раз

обновлен
29 Сен '17 11:23

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

по почте:

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

по RSS:

Ответы

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

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