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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Вывести заключение из посылок
СообщениеДобавлено: 25 сен 2014, 16:45 
Не в сети
Начинающий
Зарегистрирован:
28 окт 2013, 02:41
Сообщений: 44
Cпасибо сказано: 4
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Необходимо вывести (если это возможно) заключение из каждой пары посылок:
a. Гусеницы не отличаются красноречием. Джон красноречив.
b. Золото тяжелое. Ничто, кроме золота, не заставит его замолчать.
c. Все осы очень недружелюбны. Контакт с недружелюбными существами всегда нежелателен.
Помогите пожалуйста,не понимаю как это делать :(

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

Добавить очки репутацииУменьшить очки репутации
Тождественная истинность выводится из любых посылок. :) Также любая тавтология, например [math]A\lor\neg A[/math] или [math]A\to A[/math].

KyKi писал(а):
a. Гусеницы не отличаются красноречием. Джон красноречив.
Может ли Джон быть гусеницей? Исходя не из здравого смысла, а из наличия красноречия?

KyKi писал(а):
b. Золото тяжелое. Ничто, кроме золота, не заставит его замолчать.
Сколько весит то, что заставит его замолчать?

KyKi писал(а):
c. Все осы очень недружелюбны. Контакт с недружелюбными существами всегда нежелателен.
Что можно сказать про контакт с осами?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Вывести заключение из посылок
СообщениеДобавлено: 27 сен 2014, 12:13 
Не в сети
Последняя инстанция
Зарегистрирован:
26 янв 2014, 16:58
Сообщений: 2657
Cпасибо сказано: 0
Спасибо получено:
538 раз в 525 сообщениях
Очков репутации: 120

Добавить очки репутацииУменьшить очки репутации
а. Джон не является гусеницей.
b. Ничто легче золото не заставит его замолчать.
c. Контакт с осами всегда нежелателен.

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Получить все следствия из посылок

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

Wyrf

7

1658

04 ноя 2015, 18:39

Док-ть выводимость формулы из посылок используя дедуктивный

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

vladok00777

2

316

08 окт 2014, 20:09

Вывести tg a

в форуме Тригонометрия

kolya621

4

491

27 апр 2016, 17:55

Вывести ряд

в форуме Ряды

Rail

3

202

24 мар 2020, 21:19

Как вывести, что (A+B)(A+C) = A + BC?

в форуме Теория вероятностей

alekscooper

1

229

08 дек 2017, 22:14

Вывести неизвестную?

в форуме Алгебра

NikName0101

12

277

22 ноя 2020, 10:28

Вывести уравнение

в форуме Алгебра

George1

2

367

26 июл 2015, 16:58

Вывести формулу

в форуме Комбинаторика и Теория вероятностей

Serdvik

1

491

28 апр 2015, 06:35

Вывести формулу

в форуме Алгебра

powernastya

4

759

05 май 2014, 11:31

Вывести зависимость

в форуме Математическая статистика и Эконометрика

Lerw

3

293

11 дек 2020, 16:19


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



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

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


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

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

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

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