Метод дедуктивного вывода

@aker · Регистрация: 20.10.2013

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

С помощью метода дедуктивного вывода вывести заключение $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{B(y)}->A(x)$ из посылки ∀x $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A(x)}->\exists y(B(y)})$ . Проблема заключается в замене переменных(унификация). Можно только вывести $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists y \bar{B(y)}->A(x)$ . Но это не совсем то заключение, может знает кто, что можно с посылкой еще сделать?

@Mysterious Light · 21.11.2013, 02:47

из закона контрапозиции и закона $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\exists x.Z}=\forall x.\bar{Z}$

$https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x (\forall y \bar{B(y)} \to A(x))$

из этого не следует Ваше заключение

Я правильно получил центральную формулу или Вы писали о другом?

@aker · 21.11.2013, 17:21 **[ТС]**

Да, все верно! Не подскажите название закона $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\exists x.Z} = \forall x.\bar{Z}$ ?

Добавлено через 38 минут
Аналогичная ситуация с другим примером: вывести заключение $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists y (C(y) or A(x)->\forall z (C(y) or B(z))$ из посылки $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists x (A(x)->B(z))$ ! Из аксиомы $https://www.cyberforum.ru/cgi-bin/latex.cgi?F1->F2 \vdash F1orF3->F2orF3$ вывел $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists y (C(y) or \exists y (A(x))->\forall z (C(y) or B(z))$ , но снова квантор существования не к месту. Можно ли как-нибудь его убрать?

@aker 0 / 0 / 0 Регистрация: 20.10.2013 Сообщений: 5
		1
	Метод дедуктивного вывода 20.11.2013, 22:29. Показов 752. Ответов 2 Метки нет (Все метки) С помощью метода дедуктивного вывода вывести заключение $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{B(y)}->A(x)$ из посылки ∀x $https://www.cyberforum.ru/cgi-bin/latex.cgi?(\bar{A(x)}->\exists y(B(y)})$ . Проблема заключается в замене переменных(унификация). Можно только вывести $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists y \bar{B(y)}->A(x)$ . Но это не совсем то заключение, может знает кто, что можно с посылкой еще сделать? 0

@Mysterious Light $Эксперт по математике/физике$ 4300 / 2091 / 431 Регистрация: 19.07.2009 Сообщений: 3,162 Записей в блоге: 24
	21.11.2013, 02:47	2
	из закона контрапозиции и закона $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\exists x.Z}=\forall x.\bar{Z}$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x (\forall y \bar{B(y)} \to A(x))$ из этого не следует Ваше заключение Я правильно получил центральную формулу или Вы писали о другом? 1

@aker 0 / 0 / 0 Регистрация: 20.10.2013 Сообщений: 5
	21.11.2013, 17:21 [ТС]	3
	Да, все верно! Не подскажите название закона $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\exists x.Z} = \forall x.\bar{Z}$ ? Добавлено через 38 минут Аналогичная ситуация с другим примером: вывести заключение $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists y (C(y) or A(x)->\forall z (C(y) or B(z))$ из посылки $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists x (A(x)->B(z))$ ! Из аксиомы $https://www.cyberforum.ru/cgi-bin/latex.cgi?F1->F2 \vdash F1orF3->F2orF3$ вывел $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists y (C(y) or \exists y (A(x))->\forall z (C(y) or B(z))$ , но снова квантор существования не к месту. Можно ли как-нибудь его убрать? 0