Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 6 ] |
|
Автор | Сообщение | |
---|---|---|
LikaLika |
|
|
А(х) - «Натуральное число х кратно 3». В(х) - «Четырёхугольник х - квадрат». Помогите пожалуйста!!!! |
||
Вернуться к началу | ||
Radley |
|
|
Не уверен в правильности записи.
[math]A(x) = (x, (\forall x \in N \land \forall n \in N) \to x =3n)[/math] |
||
Вернуться к началу | ||
За это сообщение пользователю Radley "Спасибо" сказали: LikaLika |
||
LikaLika |
|
|
я не могу понять задание: "Превратите предикаты в высказывания разными способами. "
Кто-то приведите мне пример или помогите пожалуйста разобраться |
||
Вернуться к началу | ||
3D Homer |
|
|
LikaLika писал(а): я не могу понять задание: "Превратите предикаты в высказывания разными способами. " В исходных предикатах есть свободная переменная x. Пока в формуле есть свободные переменные, она в общем случае не является высказыванием, то есть чем-то истинным или ложным. Это потому, что вместо свободных переменных можно подставлять разные объекты, и иногда полученное высказывание будет истинным, а иногда ложным. Так, x = 0 истинно, если x есть 0 и ложно для остальных целых x.Поэтому превратить данные выражения в высказывания можно путем устранения свободной переменной x. В логике переменные связываются кванторами. Поэтому предлагается навесить кванторы разными способами и определить истинность полученных высказываний. |
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: LikaLika |
||
LikaLika |
|
|
Используя квантор всеобщности, формально запишем следующее высказывание:
«любой четырехугольник – квадрат» (или «каждый четырехугольник – квадрат», или «все четырехугольники – квадраты») Символически данное высказывание можно записать так: (∀x∈N)В(x) Данное высказывание ложное так как не все четырехугольники есть квадратами. Например: трапеция – четырехугольник, но не является квадратом. Высказывания используют квантор существования: «существуют четырехугольники - квадраты» или «найдется четырехугольник, который есть квадратом » Их формальная запись: (∃x∈N)В(x) Истинное высказывание Правильно ли я выполнила? Если нет, то где ошиблась |
||
Вернуться к началу | ||
3D Homer |
|
|
Правильно, только множество [math]\mathbb{N}[/math] относится к [math]A(x)[/math], а не к [math]B(x)[/math]. Нет устойчивой традиции обозначать множество всех четырехугольников символом [math]\mathbb{N}[/math].
Мне кажется, [math]\in\ldots[/math] после квантора можно опустить. |
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: LikaLika |
||
[ Сообщений: 6 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Предикаты и высказывания | 12 |
479 |
10 ноя 2017, 15:17 |
|
Высказывания и предикаты | 14 |
265 |
14 окт 2020, 10:52 |
|
Высказывания и предикаты | 1 |
167 |
25 май 2020, 17:50 |
|
Предикаты | 11 |
537 |
02 май 2018, 15:23 |
|
Предикаты | 1 |
191 |
05 апр 2020, 19:30 |
|
Предикаты | 11 |
708 |
27 ноя 2017, 16:37 |
|
Предикаты | 1 |
146 |
12 июн 2020, 12:19 |
|
Предикаты | 2 |
153 |
05 дек 2020, 21:48 |
|
Предикаты | 5 |
385 |
14 фев 2021, 15:51 |
|
Предикаты | 2 |
270 |
18 май 2020, 19:40 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 21 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |