Найти область истинности предиката

@Lavmint · Регистрация: 27.09.2013

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

Не могу нигде найти как решать такое, если кто может подсказать как решать, буду признателен. Нужен именно ход решения или пояснение - что как и почему, по нему буду пытаться строить аналогии (примеров для решения у меня ещё много).

Область истинности предиката. На множестве R.
Пожалуй вот этот пример, тут должны получится небольшие числа:
P(z) = ∀x Ǝy (6x2+12xy+zy2 <= 0)

@angor6 · 02.04.2014, 16:54

Lavmint, похоже, у Вас проблема связана не с математической логикой, а с алгеброй. Задание, как я понимаю, заключается в том, чтобы указать множество значений переменной $https://www.cyberforum.ru/cgi-bin/latex.cgi?z,$ при которых для любого значения переменной $https://www.cyberforum.ru/cgi-bin/latex.cgi?x$ найдётся такое значение переменной $https://www.cyberforum.ru/cgi-bin/latex.cgi?y,$ что будет выполнено неравенство $https://www.cyberforum.ru/cgi-bin/latex.cgi?6x^2+12xy+zy^2 \le 0.$ Подумайте... Вряд ли кто-то имеет готовое решение этой задачи в кармане.

По-моему, $https://www.cyberforum.ru/cgi-bin/latex.cgi?6x^2+12xy+zy^2=6(x^2+2xy+y^2)-6y^2+zy^2=6(x+y)^2+(z-6)y^2.$ Не исключено, что для решения задачи такое представление удобнее.

@Lavmint · 02.04.2014, 17:13 **[ТС]**

angor6, возможно и с алгеброй проблема

Дело в том, что я уже третью неделю прохожу тесты на компьютере и вроде все задания (их 5 на 6 тем) решать более-менее получается, вот буквально вчера увидел здесь пример, как решать задачу с примитивной рекурсией и сегодня как следствие получил 4 из 5.

А вот задачи такого типа уже и в учебнике искал (Лихтарников вроде) и вертел сам, но вот не могу я врубиться откуда взяты значения в вариантах ответа. Вот они, кстати (сразу не стал выкладывать, дабы не обвинили в том, что я ленивое говно):
1. (-∞, 8)
2. (-∞, 5)
3. (-∞, 6)
4. (-∞, 4)
5. (-∞, 10)

В учебнике, кстати, задачи были только с одной переменной, там в принципе всё видно, а тут я теряюсь, из двух множеств получить третье на основе уравнения с тремя переменными...

@angor6 · 02.04.2014, 17:37

Lavmint, над решением задачи порой приходится очень долго размышлять. Коль скоро Вам предложены варианты ответов, попробуйте этим воспользоваться - подставьте. Помните, что квадрат вещественного числа, отличного от нуля, всегда положителен. Квадрат нуля равен нулю...

@Lavmint · 02.04.2014, 17:52 **[ТС]**

angor6, ну давайте я попробую порассуждать:

1) если вместо z (мы же z подставляем) подставить 6, то выражение будет в любом случае положительное, значит отметается. 6(x+y)² + 0 > 0, а нам надо меньше либо равно
2) 8 и 10 тоже дадут положительные выражения 2y² и 4y² для правой части соответственно, опять будет > 0
3) тогда остаётся либо 4, либо 5

если поставить 5, то получится -1(y²), а если учесть, что при раскрытии левой скобки получится y², то они сократятся и опять положительное ведь?

Тогда остаётся (-∞, 4)?

А для чего в таком случает стоят квалификаторы (вроде так называется) ∀x Ǝy

@angor6 · 02.04.2014, 21:23

Lavmint, по-моему, нужно действовать так:

$https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2-(6-z)y^2 \le 0,$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2 \le (6-z)y^2.$

1) При $https://www.cyberforum.ru/cgi-bin/latex.cgi?z>6$ правая часть последнего неравенства отрицательна. Левая часть неравенства всегда неотрицательна. Поэтому неравенство не имеет решений при $https://www.cyberforum.ru/cgi-bin/latex.cgi?z>6$ .

2) При $https://www.cyberforum.ru/cgi-bin/latex.cgi?z=6$ имеем неравенство $https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2 \le 0.$ Оно справедливо при $https://www.cyberforum.ru/cgi-bin/latex.cgi?y=-x.$

3) При $https://www.cyberforum.ru/cgi-bin/latex.cgi?z<6$ обе части неравенства положительны. Имеем

$https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2 \le ay^2.$

Вам остаётся показать, что каким бы ни было вещественное число $https://www.cyberforum.ru/cgi-bin/latex.cgi?x,$ найдётся вещественное число $https://www.cyberforum.ru/cgi-bin/latex.cgi?y,$ при котором последнее неравенство будет верным (имея в виду, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?a>0$ .)

Обратите внимание на пункт 2. Число $https://www.cyberforum.ru/cgi-bin/latex.cgi?z=6,$ получается, тоже входит в область истинности предиката... Областью истинности предиката $https://www.cyberforum.ru/cgi-bin/latex.cgi?P(z)$ является интервал $https://www.cyberforum.ru/cgi-bin/latex.cgi?(-\infty; 6].$ Или я ошибаюсь?

@Lavmint · 02.04.2014, 22:43 **[ТС]**

angor6, возможно так, чего-то я y=-x не учёл) Завтра попробую на тестах по аналогии что-нибудь надумать, отпишусь о результате

@Lavmint · 07.04.2014, 14:07 **[ТС]**

angor6, спасибо, человек, я только сегодня добрался до этого кабинета с тестами, короче помог твой совет

@angor6 · 07.04.2014, 17:15

Lavmint, я рад за Вас и горд тем, что был полезен...

Новые блоги и статьи Все статьи Все блоги /
Контейнеризация React приложений с Docker Reangularity 03.04.2025 Контейнеризация позволяет упаковать приложение со всеми его зависимостями в автономный контейнер, который можно запустить на любой платформе с установленным Docker. Это существенно упрощает процессы. . .	Свой попап в SwiftUI mobDevWorks 03.04.2025 SwiftUI, как декларативный фреймворк от Apple, предоставляет множество инструментов для создания пользовательских интерфейсов. В нашем распоряжении есть такие API как alerts, popovers, action sheets. . .	Антипаттерны микросервисной архитектуры ArchitectMsa 03.04.2025 Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .	std::mutex в C++: Советы и примеры использования bytestream 03.04.2025 std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .	Не удержался от оценки концепции двигателя Стирлинга. Hrethgir 03.04.2025 Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .
Метод с двумя буферами (или double buffering) или ping-pong buffering Hrethgir 02.04.2025 Из ответов LM модели. Метод, который предполагает использование двух массивов для хранения промежуточных результатов сложения векторов, обычно применяется в сценариях, где необходимо минимизировать. . .	На любовном киберфронте Alexander-7 01.04.2025 Недавно на одном малоизвестном сайте знакомств мною заинтересовалась девушка: «Текст немного странный. Но, судя по адресу почты, иностранка», – подумал я. Поколебавшись пару суток, я ответил ей:. . .	Как работает Node.js изнутри run.dev 29.03.2025 Node. js изменил подход к разработке веб-приложений, позволив использовать JavaScript не только на стороне клиента, но и на сервере. Созданный в 2009 году Райаном Далем, этот открытый,. . .	Моки в Python: Mock Object Library py-thonny 29.03.2025 Тестирование кода требует особого подхода, когда речь идёт о компонентах, взаимодействующих с внешним миром. Мы часто сталкиваемся с непредсказуемостью HTTP-запросов, чтением данных из базы или. . .	JavaScript: Управление памятью и улучшение производительности run.dev 29.03.2025 В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .

@Lavmint 1 / 1 / 0 Регистрация: 27.09.2013 Сообщений: 30

	Найти область истинности предиката 01.04.2014, 22:47. Показов 6703. Ответов 8 Метки нет (Все метки) Не могу нигде найти как решать такое, если кто может подсказать как решать, буду признателен. Нужен именно ход решения или пояснение - что как и почему, по нему буду пытаться строить аналогии (примеров для решения у меня ещё много). Область истинности предиката. На множестве R. Пожалуй вот этот пример, тут должны получится небольшие числа: P(z) = ∀x Ǝy (6x2+12xy+zy2 <= 0) 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	02.04.2014, 16:54
	Lavmint, похоже, у Вас проблема связана не с математической логикой, а с алгеброй. Задание, как я понимаю, заключается в том, чтобы указать множество значений переменной $https://www.cyberforum.ru/cgi-bin/latex.cgi?z,$ при которых для любого значения переменной $https://www.cyberforum.ru/cgi-bin/latex.cgi?x$ найдётся такое значение переменной $https://www.cyberforum.ru/cgi-bin/latex.cgi?y,$ что будет выполнено неравенство $https://www.cyberforum.ru/cgi-bin/latex.cgi?6x^2+12xy+zy^2 \le 0.$ Подумайте... Вряд ли кто-то имеет готовое решение этой задачи в кармане. По-моему, $https://www.cyberforum.ru/cgi-bin/latex.cgi?6x^2+12xy+zy^2=6(x^2+2xy+y^2)-6y^2+zy^2=6(x+y)^2+(z-6)y^2.$ Не исключено, что для решения задачи такое представление удобнее. 1

@Lavmint 1 / 1 / 0 Регистрация: 27.09.2013 Сообщений: 30
	02.04.2014, 17:13 [ТС]
	angor6, возможно и с алгеброй проблема Дело в том, что я уже третью неделю прохожу тесты на компьютере и вроде все задания (их 5 на 6 тем) решать более-менее получается, вот буквально вчера увидел здесь пример, как решать задачу с примитивной рекурсией и сегодня как следствие получил 4 из 5. А вот задачи такого типа уже и в учебнике искал (Лихтарников вроде) и вертел сам, но вот не могу я врубиться откуда взяты значения в вариантах ответа. Вот они, кстати (сразу не стал выкладывать, дабы не обвинили в том, что я ленивое говно): 1. (-∞, 8) 2. (-∞, 5) 3. (-∞, 6) 4. (-∞, 4) 5. (-∞, 10) В учебнике, кстати, задачи были только с одной переменной, там в принципе всё видно, а тут я теряюсь, из двух множеств получить третье на основе уравнения с тремя переменными... 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	02.04.2014, 17:37
	Lavmint, над решением задачи порой приходится очень долго размышлять. Коль скоро Вам предложены варианты ответов, попробуйте этим воспользоваться - подставьте. Помните, что квадрат вещественного числа, отличного от нуля, всегда положителен. Квадрат нуля равен нулю... 0

@Lavmint 1 / 1 / 0 Регистрация: 27.09.2013 Сообщений: 30
	02.04.2014, 17:52 [ТС]
	angor6, ну давайте я попробую порассуждать: 1) если вместо z (мы же z подставляем) подставить 6, то выражение будет в любом случае положительное, значит отметается. 6(x+y)² + 0 > 0, а нам надо меньше либо равно 2) 8 и 10 тоже дадут положительные выражения 2y² и 4y² для правой части соответственно, опять будет > 0 3) тогда остаётся либо 4, либо 5 если поставить 5, то получится -1(y²), а если учесть, что при раскрытии левой скобки получится y², то они сократятся и опять положительное ведь? Тогда остаётся (-∞, 4)? А для чего в таком случает стоят квалификаторы (вроде так называется) ∀x Ǝy 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	02.04.2014, 21:23
	Сообщение было отмечено Lavmint как решение Решение Lavmint, по-моему, нужно действовать так: $https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2-(6-z)y^2 \le 0,$ $https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2 \le (6-z)y^2.$ 1) При $https://www.cyberforum.ru/cgi-bin/latex.cgi?z>6$ правая часть последнего неравенства отрицательна. Левая часть неравенства всегда неотрицательна. Поэтому неравенство не имеет решений при $https://www.cyberforum.ru/cgi-bin/latex.cgi?z>6$ . 2) При $https://www.cyberforum.ru/cgi-bin/latex.cgi?z=6$ имеем неравенство $https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2 \le 0.$ Оно справедливо при $https://www.cyberforum.ru/cgi-bin/latex.cgi?y=-x.$ 3) При $https://www.cyberforum.ru/cgi-bin/latex.cgi?z<6$ обе части неравенства положительны. Имеем $https://www.cyberforum.ru/cgi-bin/latex.cgi?6(x+y)^2 \le ay^2.$ Вам остаётся показать, что каким бы ни было вещественное число $https://www.cyberforum.ru/cgi-bin/latex.cgi?x,$ найдётся вещественное число $https://www.cyberforum.ru/cgi-bin/latex.cgi?y,$ при котором последнее неравенство будет верным (имея в виду, что $https://www.cyberforum.ru/cgi-bin/latex.cgi?a>0$ .) Обратите внимание на пункт 2. Число $https://www.cyberforum.ru/cgi-bin/latex.cgi?z=6,$ получается, тоже входит в область истинности предиката... Областью истинности предиката $https://www.cyberforum.ru/cgi-bin/latex.cgi?P(z)$ является интервал $https://www.cyberforum.ru/cgi-bin/latex.cgi?(-\infty; 6].$ Или я ошибаюсь? 1

@Lavmint 1 / 1 / 0 Регистрация: 27.09.2013 Сообщений: 30
	02.04.2014, 22:43 [ТС]
	angor6, возможно так, чего-то я y=-x не учёл) Завтра попробую на тестах по аналогии что-нибудь надумать, отпишусь о результате 0

@Lavmint 1 / 1 / 0 Регистрация: 27.09.2013 Сообщений: 30
	07.04.2014, 14:07 [ТС]
	angor6, спасибо, человек, я только сегодня добрался до этого кабинета с тестами, короче помог твой совет 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	07.04.2014, 17:15
	Lavmint, я рад за Вас и горд тем, что был полезен... 1

Найти область истинности предиката

Решение