НГУ
http://forum.nsu.ru/

Помогите, кто разбирается.
http://forum.nsu.ru/viewtopic.php?f=24&t=24926
Страница 1 из 1

Автор:  ya11 [ Ср янв 14, 2015 11:47 pm ]
Заголовок сообщения:  Помогите, кто разбирается.

Есть сорит:

Девушки не любят, когда с ними спорят.
Девушки не могут быть философами.
Поэтому некоторые девушки никогда не ошибаются.


Нужно:
Проверить логическую корректность на круговых схемах. Для сорита предварительно реконструируйте опущенные промежуточные шаги рассуждения.

Конкретно это задание, из множества других, вызвало затруднение.
Пока единственный вариант, который пришёл в голову:

Кто не любит, чтобы с ним спорили – иногда ошибаются. Некоторые А суть В.
Девушки не любят, когда с ними спорят. Все С суть А.
Девушки не могут быть философами. Все С суть D.
Философы иногда ошибаются. Некоторые D суть В.
Поэтому некоторые девушки никогда не ошибаются. Некоторые С суть В.


и внизу круговая схема.

Но что-то решение мне не нравится и кажется ошибочным........

Вложения:
3.png
3.png [ 12.7 КБ | Просмотров: 972 ]

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/