Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 3 ] |
|
Автор | Сообщение | |
---|---|---|
KyKi |
|
|
a. Гусеницы не отличаются красноречием. Джон красноречив. b. Золото тяжелое. Ничто, кроме золота, не заставит его замолчать. c. Все осы очень недружелюбны. Контакт с недружелюбными существами всегда нежелателен. Помогите пожалуйста,не понимаю как это делать |
||
Вернуться к началу | ||
3D Homer |
|
|
Тождественная истинность выводится из любых посылок. Также любая тавтология, например [math]A\lor\neg A[/math] или [math]A\to A[/math].
KyKi писал(а): a. Гусеницы не отличаются красноречием. Джон красноречив. Может ли Джон быть гусеницей? Исходя не из здравого смысла, а из наличия красноречия?KyKi писал(а): b. Золото тяжелое. Ничто, кроме золота, не заставит его замолчать. Сколько весит то, что заставит его замолчать?KyKi писал(а): c. Все осы очень недружелюбны. Контакт с недружелюбными существами всегда нежелателен. Что можно сказать про контакт с осами? |
||
Вернуться к началу | ||
Radley |
|
|
а. Джон не является гусеницей.
b. Ничто легче золото не заставит его замолчать. c. Контакт с осами всегда нежелателен. |
||
Вернуться к началу | ||
[ Сообщений: 3 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Получить все следствия из посылок | 7 |
1658 |
04 ноя 2015, 18:39 |
|
Док-ть выводимость формулы из посылок используя дедуктивный | 2 |
316 |
08 окт 2014, 20:09 |
|
Вывести tg a
в форуме Тригонометрия |
4 |
491 |
27 апр 2016, 17:55 |
|
Вывести ряд
в форуме Ряды |
3 |
202 |
24 мар 2020, 21:19 |
|
Как вывести, что (A+B)(A+C) = A + BC?
в форуме Теория вероятностей |
1 |
229 |
08 дек 2017, 22:14 |
|
Вывести неизвестную?
в форуме Алгебра |
12 |
277 |
22 ноя 2020, 10:28 |
|
Вывести уравнение
в форуме Алгебра |
2 |
367 |
26 июл 2015, 16:58 |
|
Вывести формулу
в форуме Комбинаторика и Теория вероятностей |
1 |
491 |
28 апр 2015, 06:35 |
|
Вывести формулу
в форуме Алгебра |
4 |
759 |
05 май 2014, 11:31 |
|
Вывести зависимость | 3 |
293 |
11 дек 2020, 16:19 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 19 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |