Используя метатеорему дедукции, доказать формулу

@Pavlory · Регистрация: 29.11.2018

Author24 — интернет-сервис помощи студентам

Использую мататеорему дедукции, доказать формулу:
| (B=>A)=>(AvB=>A)

@3D Homer · 05.03.2020, 12:51

Кроме теоремы о дедукции нужно использовать аксиому (A -> C) -> (B -> C) -> (A v B -> C), а также теорему A -> A.

@Pavlory · 05.03.2020, 22:34 **[ТС]**

Сможете реализовать, ибо я не выкупаю это...

@3D Homer · Номер Формула Происхождение

Номер	Формула	Происхождение
1.	A -> A	эта формула выводима; доказывается отдельно
2.	B -> A	посылка
3.	(A -> A) -> ((B -> A) -> (A v B -> A))	аксиома
4.	(B -> A) -> (A v B -> A)	Modus Ponens 3, 1
5.	A v B -> A	Modus Ponens 4, 2

Это вывод A v B -> A из посылки B -> A. По теореме о дедукции (B -> A) -> (A v B -> A) выводима без посылок.

@Pavlory · 05.03.2020, 22:51 **[ТС]**

Это окончательное решение?(я в этом деле дуб-дерево просто)

@3D Homer · 05.03.2020, 22:53

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

@Pavlory · 05.03.2020, 22:55 **[ТС]**

Окей, что конкретно мне нужно изучить, что бы понять данное задание?

@3D Homer · 05.03.2020, 22:58

Следующие понятия: формула, (схема) аксиом, правило вывода (скорее всего, оно одно: Modus Ponens), вывод из посылок, выводимая формула. Также нужно понять формулировку теоремы о дедукции.

@Pavlory · 06.03.2020, 09:24 **[ТС]**

Самолайк залог успеха

@Pavlory 9 / 4 / 2 Регистрация: 29.11.2018 Сообщений: 215
		1
	Используя метатеорему дедукции, доказать формулу 05.03.2020, 10:09. Показов 1356. Ответов 8 Метки нет (Все метки) Использую мататеорему дедукции, доказать формулу: \| (B=>A)=>(AvB=>A) 0

@3D Homer $Эксперт по математике/физике$ 4951 / 3569 / 1150 Регистрация: 01.09.2014 Сообщений: 9,651
	05.03.2020, 12:51	2
	Кроме теоремы о дедукции нужно использовать аксиому (A -> C) -> (B -> C) -> (A v B -> C), а также теорему A -> A. 1

@Pavlory 9 / 4 / 2 Регистрация: 29.11.2018 Сообщений: 215
	05.03.2020, 22:34 [ТС]	3
	Сможете реализовать, ибо я не выкупаю это... 0

@Pavlory 9 / 4 / 2 Регистрация: 29.11.2018 Сообщений: 215
	05.03.2020, 22:51 [ТС]	5
	Это окончательное решение?(я в этом деле дуб-дерево просто) 0

@3D Homer $Эксперт по математике/физике$ 4951 / 3569 / 1150 Регистрация: 01.09.2014 Сообщений: 9,651
	05.03.2020, 22:53	6
	Я не пишу решения, чтобы их переписали буквально и сдали. Вам следует выучить определения и разобраться самому в том, является ли это решением. 1

@Pavlory 9 / 4 / 2 Регистрация: 29.11.2018 Сообщений: 215
	05.03.2020, 22:55 [ТС]	7
	Окей, что конкретно мне нужно изучить, что бы понять данное задание? 0

@3D Homer $Эксперт по математике/физике$ 4951 / 3569 / 1150 Регистрация: 01.09.2014 Сообщений: 9,651
	05.03.2020, 22:58	8
	Сообщение было отмечено Mikl___ как решение Решение Следующие понятия: формула, (схема) аксиом, правило вывода (скорее всего, оно одно: Modus Ponens), вывод из посылок, выводимая формула. Также нужно понять формулировку теоремы о дедукции. 1

@Pavlory 9 / 4 / 2 Регистрация: 29.11.2018 Сообщений: 215
	06.03.2020, 09:24 [ТС]	9
	Самолайк залог успеха 0

Используя метатеорему дедукции, доказать формулу

Решение