НГУ

Форумы НГУ
Текущее время: Пт ноя 24, 2017 8:57 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
 Заголовок сообщения: Помогите, кто разбирается.
СообщениеДобавлено: Ср янв 14, 2015 11:47 pm 
Не в сети
Редкий гость

Зарегистрирован: Ср янв 14, 2015 11:29 pm
Сообщения: 1
Есть сорит:

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


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

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

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


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

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


Вложения:
3.png
3.png [ 12.7 КБ | Просмотров: 644 ]
Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 7 часов


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

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


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

Найти:
Перейти:  
cron
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB