Предваренная нормальная форма и стандартная форма Сколема

@vlaste · Регистрация: 29.04.2014

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

Здравствуйте, не могли бы пожалуйста подсказать как решается данный пример. Вот задание:
Привести данные формулы к предваренной нормальной форме и к
стандартной форме Сколема.

@Ellipsoid · 12.11.2016, 11:09

Сначала выразите внешнюю импликацию через дизъюнкцию и отрицание, а затем воспользуйтесь одним из кванторных законов де Моргана.

@vlaste · 12.11.2016, 12:51 **[ТС]**

Ellipsoid, Здравствуйте, вы бы не могли пожалуйста проверить так я сделал или нет

@3D Homer · 12.11.2016, 22:50

Вы неправильно нашли $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{P(x)}\vee Q(x)}$ . Кроме того, нужно еще пронести отрицание через квантор существования.

@vlaste · 19.11.2016, 16:25 **[ТС]**

3D Homer, не могли бы пожалуйста посмотреть так или не таак? Если так, то как сделать следующий шаг?

@3D Homer · 19.11.2016, 17:56

Правильно. Дальше нужно выносить кванторы перед формулой. У вас в учебнике или конспекте лекций должны быть эквивалентности для этого.

@vlaste · 19.11.2016, 18:57 **[ТС]**

3D Homer, вот так?

@3D Homer · 19.11.2016, 19:12

Нет. Надо переименовывать переменные не в одинаковые, а, наоборот, в разные.

Нельзя решать задачи, не прочитав теории и не изучив несколько примеров решения. Их (теорию и примеры) в первую очередь нужно искать в литературе, в последнюю — на форуме. У меня сейчас нет времени искать источники, но вы можете попросить их у других участников форума.

@vlaste · 19.11.2016, 20:06 **[ТС]**

Не могли бы пожалуйста проверить так или нет

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

@vlaste 0 / 0 / 0 Регистрация: 29.04.2014 Сообщений: 71

	Предваренная нормальная форма и стандартная форма Сколема 12.11.2016, 08:29. Показов 2408. Ответов 8 Метки нет (Все метки) Здравствуйте, не могли бы пожалуйста подсказать как решается данный пример. Вот задание: Привести данные формулы к предваренной нормальной форме и к стандартной форме Сколема. Миниатюры 0

@Ellipsoid 1891 / 1472 / 173 Регистрация: 16.06.2012 Сообщений: 3,342
	12.11.2016, 11:09
	Сначала выразите внешнюю импликацию через дизъюнкцию и отрицание, а затем воспользуйтесь одним из кванторных законов де Моргана. 0

@vlaste 0 / 0 / 0 Регистрация: 29.04.2014 Сообщений: 71
	12.11.2016, 12:51 [ТС]
	Ellipsoid, Здравствуйте, вы бы не могли пожалуйста проверить так я сделал или нет 0

@3D Homer $Эксперт по математике/физике$ 5016 / 3628 / 1164 Регистрация: 01.09.2014 Сообщений: 9,792
	12.11.2016, 22:50
	Вы неправильно нашли $https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{\bar{P(x)}\vee Q(x)}$ . Кроме того, нужно еще пронести отрицание через квантор существования. 0

@vlaste 0 / 0 / 0 Регистрация: 29.04.2014 Сообщений: 71
	19.11.2016, 16:25 [ТС]
	3D Homer, не могли бы пожалуйста посмотреть так или не таак? Если так, то как сделать следующий шаг? 0

@3D Homer $Эксперт по математике/физике$ 5016 / 3628 / 1164 Регистрация: 01.09.2014 Сообщений: 9,792
	19.11.2016, 17:56
	Правильно. Дальше нужно выносить кванторы перед формулой. У вас в учебнике или конспекте лекций должны быть эквивалентности для этого. 0

@vlaste 0 / 0 / 0 Регистрация: 29.04.2014 Сообщений: 71
	19.11.2016, 18:57 [ТС]
	3D Homer, вот так? 0

@3D Homer $Эксперт по математике/физике$ 5016 / 3628 / 1164 Регистрация: 01.09.2014 Сообщений: 9,792
	19.11.2016, 19:12
	Нет. Надо переименовывать переменные не в одинаковые, а, наоборот, в разные. Нельзя решать задачи, не прочитав теории и не изучив несколько примеров решения. Их (теорию и примеры) в первую очередь нужно искать в литературе, в последнюю — на форуме. У меня сейчас нет времени искать источники, но вы можете попросить их у других участников форума. 0

@vlaste 0 / 0 / 0 Регистрация: 29.04.2014 Сообщений: 71
	19.11.2016, 20:06 [ТС]
	Не могли бы пожалуйста проверить так или нет 0