Forum

Форум Окей. Архив.

логика - стр. 471, впр. 4

Лучик:

Вопрос 4 на странице 471:

Если все учёные знают теорему Пифагора и часть из них - математики, все математики - программисты, а все программисты, знающие теорему Пифагора, - учёные, то:
(1) Все математики знают теорему Пифагора
(2) Нет математика, не являющегося одновременно учёным и программистом
(3) Нет математика, знающего теорему пифагора, не являющегося учёным
(4) Ни один ответ не верен

Конечно, получилось решить задачу с помощью кругов. И правильный ответ (3) "Нет математика, знающего теорему пифагора, не являющегося учёным". Но эти круги очень долго не получались, они такие запутанные. Может, есть ещё метод для такой задачки?

Mozart:

Лично я предпочитаю "метод логического треугольника". Мне кажется, что зачастую он работает быстрей.
Например в этой задаче:
Если все математики - программисты, а все программисты, знающие теорему Пифагора – учёные, то значит и все математики, знающие теорему Пифагора – учёные.
По правилам формальной логики это утверждение аналогично фразе «Нет математика, знающего теорему Пифагора, не являющегося учёным» (Все А→В = Нет А, которые не В). Ответ № 3.

Вход

Форум Окей. Архив.

логика - стр. 471, впр. 4

Лучик:

Mozart:

More