2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Проверить правильность логического вывода
Сообщение24.10.2013, 23:17 
Методом прямого преобразования, методом семантических таблиц и методом резалюций.
Задача:
Надо купить рубашку, которая может быть или белой, или голубой или розовой. Если будет куплена голубая или розовая рубашка, то она будет шерстяной. Если же будет куплена льняная или шерстяная рубашка, то она будет белой или голубой. Вывод: если будет куплена голубая рубашка, то она будет шерстяной.
Приму любую помощь и подсказки по решению. Заранее спасибо.

Я пытался решить такой табличкой..но не знаю верно или нет..

Изображение
И если верно какой вывод из этого написать.

 
 
 
 Re: Проверить правильность логического вывода
Сообщение25.10.2013, 00:56 
Аватара пользователя
Naon в сообщении #779831 писал(а):
Задача:
Надо купить рубашку, которая может быть или белой, или голубой или розовой. Если будет куплена голубая или розовая рубашка, то она будет шерстяной. Если же будет куплена льняная или шерстяная рубашка, то она будет белой или голубой. Вывод: если будет куплена голубая рубашка, то она будет шерстяной.

Вывод следует сразу же из первого "если"?

 
 
 
 Re: Проверить правильность логического вывода
Сообщение25.10.2013, 01:51 
Аватара пользователя
 i  Тема перемещена в Карантин.

Приведите свои попытки решения задачи и объясните, что конкретно вызывает затруднения.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group