Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 6 ] 
Автор Сообщение
 Заголовок сообщения: Предикаты
СообщениеДобавлено: 14 фев 2021, 15:51 
Не в сети
Начинающий
Зарегистрирован:
14 фев 2021, 15:48
Сообщений: 3
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Добрый день! Помогите решить такую задачу:
На множестве Z заданы предикаты D:"х - делитель числа 12" и E:"х - делитель числа 36"
а) Докажите, что предикат E(x) следует из предиката D(x) на этом множестве;
б) Сформулируйте при помощи слов "любой", "достаточно", "необходимо" высказывание: "предикат E(x) следует из предиката D(x)"
Спасибо!

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 14 фев 2021, 16:09 
Не в сети
Последняя инстанция
Зарегистрирован:
12 сен 2010, 12:46
Сообщений: 6077
Cпасибо сказано: 137
Спасибо получено:
1033 раз в 976 сообщениях
Очков репутации: 67

Добавить очки репутацииУменьшить очки репутации
Какие делители у 12?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 14 фев 2021, 16:13 
Не в сети
Начинающий
Зарегистрирован:
14 фев 2021, 15:48
Сообщений: 3
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
MihailM писал(а):
Какие делители у 12?

1, 2, 3, 4, 6, 12
Эти же делители будут общими с 36.
Как это правильно расписать/доказать?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 14 фев 2021, 16:47 
Не в сети
Последняя инстанция
Зарегистрирован:
12 сен 2010, 12:46
Сообщений: 6077
Cпасибо сказано: 137
Спасибо получено:
1033 раз в 976 сообщениях
Очков репутации: 67

Добавить очки репутацииУменьшить очки репутации
Keccear писал(а):
Как это правильно расписать/доказать?

Написать
Keccear писал(а):
Эти же делители будут общими с 36

Только делителей добавить, там еще отрицательные могут

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 14 фев 2021, 16:51 
Не в сети
Начинающий
Зарегистрирован:
14 фев 2021, 15:48
Сообщений: 3
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
MihailM писал(а):
Keccear писал(а):
Как это правильно расписать/доказать?

Написать
Keccear писал(а):
Эти же делители будут общими с 36

Только делителей добавить, там еще отрицательные могут

Вы хотите сказать, в пункте "а" в доказательстве я напишу, что предикат E(x) следует из D(x), потому что имеют общие делители (перечислю их) и всё? Мне кажется, там надо расписать через конъюнкцию или дизъюнкцию, но я не уверен. Поэтому и обратился сюда.
В пункте "б" как сформулировать ?
Спасибо.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 14 фев 2021, 23:49 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
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).

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
Keccear
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 6 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Предикаты

в форуме Дискретная математика, Теория множеств и Логика

in+yan

2

269

18 май 2020, 19:40

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

kam kam

1

146

12 июн 2020, 12:19

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

tanyhaftv

11

537

02 май 2018, 15:23

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

huffy

11

708

27 ноя 2017, 16:37

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

kot999cash

1

191

05 апр 2020, 19:30

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

Craizi8

2

153

05 дек 2020, 21:48

Матлогика. Предикаты

в форуме Дискретная математика, Теория множеств и Логика

milkyway

3

297

01 дек 2022, 02:23

Высказывания и предикаты

в форуме Дискретная математика, Теория множеств и Логика

evaf

14

265

14 окт 2020, 10:52

Высказывания и предикаты

в форуме Дискретная математика, Теория множеств и Логика

nad27

1

167

25 май 2020, 17:50

Предикаты и высказывания

в форуме Дискретная математика, Теория множеств и Логика

umka1989umka

12

479

10 ноя 2017, 15:17


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 24


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved