Найти множества истинности

@AliExpress · Регистрация: 03.01.2021

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

¬P∨Q, ¬Q∨P, (P/\Q)\/((-P)/\(-Q)), P∧Q.

Множество R (x,y): (x-y<=2),
Множество Q (x,у): (x+y>=0)

@angor6 · 03.01.2021, 11:37

Что представляет собой множество P?

@AliExpress · 03.01.2021, 11:45 **[ТС]**

Сообщение от AliExpress

¬P∨Q, ¬Q∨P, (P/\Q)\/((-P)/\(-Q)), P∧Q.

Множество P (x,y): (x-y<=2),
Множество Q (x,у): (x+y>=0)

Ошиблась

@angor6 · 03.01.2021, 12:44

Если

Сообщение от AliExpress

P (x,y): (x-y<=2),

то ¬P=?

@AliExpress · 03.01.2021, 20:24 **[ТС]**

Понятно, что -P больше 2 но тут немного непонятно: для каждой формулы выписывать множества x и y или вместе? Как найти множество для их конъюнкции?

@angor6 · 03.01.2021, 20:39

Сообщение от AliExpress

Понятно, что -P больше 2

Это очень небрежно. Уточните, пожалуйста.

Сообщение от AliExpress

для каждой формулы выписывать множества x и y или вместе? Как найти множество для их конъюнкции?

Придётся выписывать из того, что задано, и выполнять соответствующие действия.

@3D Homer · 03.01.2021, 22:31

AliExpress, вы можете посмотреть примеры решения задач про области истинности предикатов в книге: Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: Академия, 2007. Задачи 9.6-9.21.

@AliExpress · 04.01.2021, 10:30 **[ТС]**

Не знаю. Может ошиблась
P∧Q ∈ {1};
¬P∨Q ∈ {2} U{3}
¬Q∨P∈{3}U{4}
P∧Q∨¬P∧¬Q ∈ {1}U{3}

@angor6 · 04.01.2021, 10:46

AliExpress, Вы неправильно провели синюю линию на своём графике.

@kabenyuk · 04.01.2021, 12:31

Сообщение от AliExpress

P∧Q ∈ {1};

Такие включения иначе чем чепухой не назовешь. Вот как правильно должно быть P∧Q = 1. Если я правильно понял ваши обозначения: 1 - это соответствующая четверть на плоскости, и никаких фигурных скобок.
При этом мне кажется, что правильнее P∧Q = 2 (но ваша картинка немного дефективная, потому не берусь утверждать точнее).
Остальные также, только вот с границами областей надо поаккуратнее.

Новые блоги и статьи Все статьи Все блоги /
Антипаттерны микросервисной архитектуры 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 не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .	Мультитенантная архитектура со SpringBoot и PostgreSQL ArchitectMsa 29.03.2025 SaaS-приложения редко обслуживают одного клиента и обычно они должны поддерживать множество организаций, каждая из которых работает в своём изолированном пространстве. Мультитенантная архитектура. . .	std::span в C++: Производительность и лучшие практики NullReferenced 28.03.2025 std::span — одно из самых недооценённых нововведений стандарта C++20, которое радикально меняет подход к работе с непрерывными последовательностями данных. По сути, это невладеющее представление. . .

@AliExpress -1 / 0 / 0 Регистрация: 03.01.2021 Сообщений: 57

	Найти множества истинности 03.01.2021, 11:33. Показов 697. Ответов 9 Метки алгебра логики, логика, множества (Все метки) ¬P∨Q, ¬Q∨P, (P/\Q)\/((-P)/\(-Q)), P∧Q. Множество R (x,y): (x-y<=2), Множество Q (x,у): (x+y>=0) 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	03.01.2021, 11:37
	Что представляет собой множество P? 1

@AliExpress -1 / 0 / 0 Регистрация: 03.01.2021 Сообщений: 57
	03.01.2021, 11:45 [ТС]
	Сообщение от AliExpress ¬P∨Q, ¬Q∨P, (P/\Q)\/((-P)/\(-Q)), P∧Q. Множество P (x,y): (x-y<=2), Множество Q (x,у): (x+y>=0) Ошиблась 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	03.01.2021, 12:44
	Если Сообщение от AliExpress P (x,y): (x-y<=2), то ¬P=? 1

@AliExpress -1 / 0 / 0 Регистрация: 03.01.2021 Сообщений: 57
	03.01.2021, 20:24 [ТС]
	Понятно, что -P больше 2 но тут немного непонятно: для каждой формулы выписывать множества x и y или вместе? Как найти множество для их конъюнкции? 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	03.01.2021, 20:39
	Сообщение от AliExpress Понятно, что -P больше 2 Это очень небрежно. Уточните, пожалуйста. Сообщение от AliExpress для каждой формулы выписывать множества x и y или вместе? Как найти множество для их конъюнкции? Придётся выписывать из того, что задано, и выполнять соответствующие действия. 1

@3D Homer $Эксперт по математике/физике$ 5014 / 3626 / 1163 Регистрация: 01.09.2014 Сообщений: 9,787
	03.01.2021, 22:31
	AliExpress, вы можете посмотреть примеры решения задач про области истинности предикатов в книге: Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. М.: Академия, 2007. Задачи 9.6-9.21. 1

@AliExpress -1 / 0 / 0 Регистрация: 03.01.2021 Сообщений: 57
	04.01.2021, 10:30 [ТС]
	Не знаю. Может ошиблась P∧Q ∈ {1}; ¬P∨Q ∈ {2} U{3} ¬Q∨P∈{3}U{4} P∧Q∨¬P∧¬Q ∈ {1}U{3} Миниатюры 0

@angor6 Любитель математики 1492 / 1002 / 285 Регистрация: 27.01.2014 Сообщений: 3,350
	04.01.2021, 10:46
	AliExpress, Вы неправильно провели синюю линию на своём графике. 0

@kabenyuk $Эксперт по математике/физике$ 4183 / 3051 / 918 Регистрация: 19.11.2012 Сообщений: 6,196
	04.01.2021, 12:31
	Сообщение от AliExpress P∧Q ∈ {1}; Такие включения иначе чем чепухой не назовешь. Вот как правильно должно быть P∧Q = 1. Если я правильно понял ваши обозначения: 1 - это соответствующая четверть на плоскости, и никаких фигурных скобок. При этом мне кажется, что правильнее P∧Q = 2 (но ваша картинка немного дефективная, потому не берусь утверждать точнее). Остальные также, только вот с границами областей надо поаккуратнее. 0