Привести к предварённой нормальной форме

@DabblerS · Регистрация: 08.07.2017

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

Есть следующая формула: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists x (R(x,y,z)) \to \bar \forall x \bar Q(x,y)$
Моё решение, необходима проверка, т.к в сборнике нет ответов

:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists x (R(x,y,z)) \to \bar \forall x \bar Q(x,y) = \exists x (R(x,y,z)) \to \exists x \bar Q(x,y) = \forall x \bar (R(x,y,z)) \vee \exists x \bar Q(x,y) =$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?= \forall x \bar (R(x,y,z)) \vee \exists m \bar Q(m,y) = \forall x \exists m (\bar (R(x,y,z)) \vee \bar Q(m,y))$

@3D Homer · 27.05.2019, 22:50

А что означает черта только над квантором, а также только над Q? Кроме того, в третьей формуле у вас, кажется, черта только над открывающейся скобкой...

@DabblerS · 28.05.2019, 18:05 **[ТС]**

А так не понятно что черта это отрицание?

@3D Homer · 28.05.2019, 18:19

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

@DabblerS · 28.05.2019, 18:25 **[ТС]**

Сообщение от 3D Homer

Не встречал раньше отрицание кванторов и предикатных символов

Я чего-то не понимаю:

@3D Homer · 28.05.2019, 18:42

Неужели вы не видите, что в формуле в сообщении 1 черта сверху только над одним символом, а в фотографии в сообщении 5 она над целой подформулой, то есть над несколькими символами подряд?

Не по теме:

Объясните, как, вот как это можно не видеть? Вы читаете свои собственные сообщения? Как можно заниматься математикой и говорить о каких-то сложных идеях, если я показываю на строчку и говорю: там написан один символ $https://www.cyberforum.ru/cgi-bin/latex.cgi?a$ , а вы показываете на то же самое место и говорите: нет, там написано $https://www.cyberforum.ru/cgi-bin/latex.cgi?abcdef$ ?

Чтобы в LaTeX команда \bar применялась к нескольким символам, их нужно заключить в фигурные скобки, например: \bar{Q(x)}. Вообще-то в настоящем LaTeX \bar используется для одного символа, а для длинной черты используется команда \overline, но на форуме это \bar в обоих случаях.

@DabblerS 2 / 2 / 1 Регистрация: 08.07.2017 Сообщений: 42
		1
	Привести к предварённой нормальной форме 27.05.2019, 17:51. Показов 713. Ответов 5 Метки нет (Все метки) Есть следующая формула: $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists x (R(x,y,z)) \to \bar \forall x \bar Q(x,y)$ Моё решение, необходима проверка, т.к в сборнике нет ответов : $https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists x (R(x,y,z)) \to \bar \forall x \bar Q(x,y) = \exists x (R(x,y,z)) \to \exists x \bar Q(x,y) = \forall x \bar (R(x,y,z)) \vee \exists x \bar Q(x,y) =$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?= \forall x \bar (R(x,y,z)) \vee \exists m \bar Q(m,y) = \forall x \exists m (\bar (R(x,y,z)) \vee \bar Q(m,y))$ 0

@3D Homer $Эксперт по математике/физике$ 4956 / 3574 / 1151 Регистрация: 01.09.2014 Сообщений: 9,670
	27.05.2019, 22:50	2
	А что означает черта только над квантором, а также только над Q? Кроме того, в третьей формуле у вас, кажется, черта только над открывающейся скобкой... 0

@DabblerS 2 / 2 / 1 Регистрация: 08.07.2017 Сообщений: 42
	28.05.2019, 18:05 [ТС]	3
	А так не понятно что черта это отрицание? 0

@3D Homer $Эксперт по математике/физике$ 4956 / 3574 / 1151 Регистрация: 01.09.2014 Сообщений: 9,670
	28.05.2019, 18:19	4
	Не встречал раньше отрицание кванторов и предикатных символов, и особенно отдельных скобок. Отрицание подформул, начинающихся с квантора, и атомарных формул — это да. 0

@DabblerS 2 / 2 / 1 Регистрация: 08.07.2017 Сообщений: 42
	28.05.2019, 18:25 [ТС]	5
	Сообщение от 3D Homer Не встречал раньше отрицание кванторов и предикатных символов Я чего-то не понимаю: Миниатюры 0

@3D Homer $Эксперт по математике/физике$ 4956 / 3574 / 1151 Регистрация: 01.09.2014 Сообщений: 9,670
	28.05.2019, 18:42	6
	Неужели вы не видите, что в формуле в сообщении 1 черта сверху только над одним символом, а в фотографии в сообщении 5 она над целой подформулой, то есть над несколькими символами подряд? Не по теме: Объясните, как, вот как это можно не видеть? Вы читаете свои собственные сообщения? Как можно заниматься математикой и говорить о каких-то сложных идеях, если я показываю на строчку и говорю: там написан один символ $https://www.cyberforum.ru/cgi-bin/latex.cgi?a$ , а вы показываете на то же самое место и говорите: нет, там написано $https://www.cyberforum.ru/cgi-bin/latex.cgi?abcdef$ ? Чтобы в LaTeX команда \bar применялась к нескольким символам, их нужно заключить в фигурные скобки, например: \bar{Q(x)}. Вообще-то в настоящем LaTeX \bar используется для одного символа, а для длинной черты используется команда \overline, но на форуме это \bar в обоих случаях. 0