Доказать, построив вывод

@1kashap · Регистрация: 14.12.2018

Добрый вечер. не совсем могу понять механизм вывода формул через эти три аксиомы. Что куда подставлять и по каким правилам... Буду благодарен за помощь и совет

@3D Homer · 21.05.2019, 23:43

Сообщение от 1kashap

Добрый вечер. не совсем могу понять механизм вывода формул через эти три аксиомы. Что куда подставлять и по каким правилам...

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

Для 1 подставьте B = A в А3, воспользуйтесь выведенной формулой ~A -> ~A и два раза примените Модус Поненс (МП).

Добавлено через 33 минуты
В п. 2 возможен такой вывод.

1. (B -> C) -> (A -> (B -> C)) A1
2. B -> C посылка
3. A -> (B -> C) MP 1, 2
4. (A -> (B -> C)) -> ((A -> B) -> (A -> C)) A2
5. (A -> B) -> (A -> C) MP 3, 4
6. A -> B посылка
7. A -> C MP 5, 6

@1kashap 0 / 0 / 0 Регистрация: 14.12.2018 Сообщений: 2
		1
	Доказать, построив вывод 21.05.2019, 21:25. Показов 487. Ответов 1 Метки нет (Все метки) Добрый вечер. не совсем могу понять механизм вывода формул через эти три аксиомы. Что куда подставлять и по каким правилам... Буду благодарен за помощь и совет 0

@3D Homer $Эксперт по математике/физике$ 4488 / 3280 / 1057 Регистрация: 01.09.2014 Сообщений: 9,091
	21.05.2019, 23:43	2
	Сообщение от 1kashap Добрый вечер. не совсем могу понять механизм вывода формул через эти три аксиомы. Что куда подставлять и по каким правилам... В книге, откуда это взято, затем есть многочисленные примеры выводов. Для 1 подставьте B = A в А3, воспользуйтесь выведенной формулой ~A -> ~A и два раза примените Модус Поненс (МП). Добавлено через 33 минуты В п. 2 возможен такой вывод. 1. (B -> C) -> (A -> (B -> C)) A1 2. B -> C посылка 3. A -> (B -> C) MP 1, 2 4. (A -> (B -> C)) -> ((A -> B) -> (A -> C)) A2 5. (A -> B) -> (A -> C) MP 3, 4 6. A -> B посылка 7. A -> C MP 5, 6 1

Опции темы