Привести к предваренной нормальной форме (ПНФ)

@1335 · Регистрация: 12.11.2017

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

Привести к предваренной нормальной форме (ПНФ):

$https://www.cyberforum.ru/cgi-bin/latex.cgi?P(x,y)\rightarrow E(y)\left[Q(y)\rightarrow (E(x)\left(Q(x)\rightarrow P(y) \right)\right]$

,где Е - существует

Добавлено через 6 минут
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{P(x,y)}\vee E(y)\left[\bar{Q(y)} \vee (E(x)\left(\bar{Q(x)}\vee P(y) \right)\right]$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?E(m)E(n)\left(\bar{Q(m)} \vee \bar{Q(n)}\vee P(m) \vee \bar{P(x,y)}\right)$
Где ошибка?

@Ellipsoid · 02.06.2018, 15:11

А где кванторы???

@3D Homer · 02.06.2018, 16:09

Вроде правильно. Вместо E нужно писать \exists. Я бы также не стал переносить $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{P(x,y)}$ в конец.

@1335 0 / 0 / 1 Регистрация: 12.11.2017 Сообщений: 28
		1
	Привести к предваренной нормальной форме (ПНФ) 02.06.2018, 06:31. Показов 1100. Ответов 2 Метки нет (Все метки) Привести к предваренной нормальной форме (ПНФ): $https://www.cyberforum.ru/cgi-bin/latex.cgi?P(x,y)\rightarrow E(y)\left[Q(y)\rightarrow (E(x)\left(Q(x)\rightarrow P(y) \right)\right]$ ,где Е - существует Добавлено через 6 минут $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{P(x,y)}\vee E(y)\left[\bar{Q(y)} \vee (E(x)\left(\bar{Q(x)}\vee P(y) \right)\right]$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?E(m)E(n)\left(\bar{Q(m)} \vee \bar{Q(n)}\vee P(m) \vee \bar{P(x,y)}\right)$ Где ошибка? 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	02.06.2018, 15:11	2
	А где кванторы??? 0

@3D Homer $Эксперт по математике/физике$ 4956 / 3574 / 1151 Регистрация: 01.09.2014 Сообщений: 9,670
	02.06.2018, 16:09	3
	Вроде правильно. Вместо E нужно писать \exists. Я бы также не стал переносить $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{P(x,y)}$ в конец. 1