Форум умных людей

Задачи и головоломки => Помогите решить! => Тема начата: kirill91 от Май 15, 2012, 18:26:42



Название: Формальная логика
Отправлено: kirill91 от Май 15, 2012, 18:26:42
Упражнение № 6.  В данном множестве вещей установлена следующая связь между свойствами А, В. С: а) если у предмета имеется свойство А и отсутствует В, то имеется С; б) если нет свойства С', то есть А. Следует ли отсюда, что если в предмете отсутствует свойство С, то имеется свойство В?
Как я понимаю, то не следует, да?


Название: Re: Формальная логика
Отправлено: Амели от Май 15, 2012, 20:12:22
по-моему тоже нет, в предмете могут отсутствовать все три свойства


Название: Re: Формальная логика
Отправлено: ☭-Изделие 20Д от Май 15, 2012, 20:44:38
Упражнение № 6.  В данном множестве вещей установлена следующая связь между свойствами А, В. С: а) если у предмета имеется свойство А и отсутствует В, то имеется С; б) если нет свойства С', то есть А. Следует ли отсюда, что если в предмете отсутствует свойство С, то имеется свойство В?
Как я понимаю, то не следует, да?
Ну прям медицина в СССР - БЕСПЛАТНАЯ, ОБЩЕДОСТУПНАЯ И ВЫСОКОКАЧЕСТВЕННАЯ
Одно любое свойство напрочь отсекае одно из других
Если качественная то небесплатная или недоступная(по крайней мере не всем)


Название: Re: Формальная логика
Отправлено: Nikita_volo от Июнь 13, 2012, 21:16:48
Если исходить из условия задачи - не обязательно! Ибо для однозначной справедливости утверждения не хватает условий.
Пример.
Если роза красная и у нее нет листьев, то она имеет длинный ствол.
Если же ствол короткий, значит она красная - и что мешает ей быть без листьев?


Название: Re: Формальная логика
Отправлено: Um_nik от Июнь 24, 2012, 13:57:27
Очень даже следует. Если предположить обратное, мы получим противоречие.


Название: Re: Формальная логика
Отправлено: ☭-Изделие 20Д от Июнь 24, 2012, 14:11:32
Очень даже следует. Если предположить обратное, мы получим противоречие.

 "Если из А следует Б и Б приятно, то А истинно"


Название: Re: Формальная логика
Отправлено: Um_nik от Июнь 24, 2012, 14:18:38
Очень даже следует. Если предположить обратное, мы получим противоречие.

 "Если из А следует Б и Б приятно, то А истинно"

Да, известная вещь)


Название: Re: Формальная логика
Отправлено: АльфаСАМЕЦ от Июнь 27, 2012, 09:02:52
по-моему тоже нет, в предмете могут отсутствовать все три свойства
Не могут. Т.к. "если нет свойства С', то есть А".

Я решил задачку так:
Показать скрытый текст