Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 6 ] |
|
Автор | Сообщение | |
---|---|---|
Keccear |
|
|
На множестве Z заданы предикаты D:"х - делитель числа 12" и E:"х - делитель числа 36" а) Докажите, что предикат E(x) следует из предиката D(x) на этом множестве; б) Сформулируйте при помощи слов "любой", "достаточно", "необходимо" высказывание: "предикат E(x) следует из предиката D(x)" Спасибо! |
||
Вернуться к началу | ||
MihailM |
|
|
Какие делители у 12?
|
||
Вернуться к началу | ||
Keccear |
|
|
MihailM писал(а): Какие делители у 12? 1, 2, 3, 4, 6, 12 Эти же делители будут общими с 36. Как это правильно расписать/доказать? |
||
Вернуться к началу | ||
MihailM |
|
|
Keccear писал(а): Как это правильно расписать/доказать? Написать Keccear писал(а): Эти же делители будут общими с 36 Только делителей добавить, там еще отрицательные могут |
||
Вернуться к началу | ||
Keccear |
|
|
MihailM писал(а): Keccear писал(а): Как это правильно расписать/доказать? Написать Keccear писал(а): Эти же делители будут общими с 36 Только делителей добавить, там еще отрицательные могут Вы хотите сказать, в пункте "а" в доказательстве я напишу, что предикат E(x) следует из D(x), потому что имеют общие делители (перечислю их) и всё? Мне кажется, там надо расписать через конъюнкцию или дизъюнкцию, но я не уверен. Поэтому и обратился сюда. В пункте "б" как сформулировать ? Спасибо. |
||
Вернуться к началу | ||
3D Homer |
|
|
Keccear писал(а): а) Докажите, что предикат E(x) следует из предиката D(x) на этом множестве Пусть x — делитель 12, то есть 12 = kx для некоторого целого k. Тогда 36 = (3k)x. Поскольку 3k — целое число, то x — делитель 36. Таким образом, E(x) следует из D(x).Keccear писал(а): б) Сформулируйте при помощи слов "любой", "достаточно", "необходимо" высказывание: "предикат E(x) следует из предиката D(x)" Для любого x, если D(x), то E(x). Или: для любого x для истинности D(x) необходимо E(x). Или: для любого x для истинности E(x) достаточно D(x). |
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: Keccear |
||
[ Сообщений: 6 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Предикаты | 2 |
269 |
18 май 2020, 19:40 |
|
Предикаты | 1 |
146 |
12 июн 2020, 12:19 |
|
Предикаты | 11 |
537 |
02 май 2018, 15:23 |
|
Предикаты | 11 |
708 |
27 ноя 2017, 16:37 |
|
Предикаты | 1 |
191 |
05 апр 2020, 19:30 |
|
Предикаты | 2 |
153 |
05 дек 2020, 21:48 |
|
Матлогика. Предикаты | 3 |
297 |
01 дек 2022, 02:23 |
|
Высказывания и предикаты | 14 |
265 |
14 окт 2020, 10:52 |
|
Высказывания и предикаты | 1 |
167 |
25 май 2020, 17:50 |
|
Предикаты и высказывания | 12 |
479 |
10 ноя 2017, 15:17 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |