Привет! 25 декабря 2008 г. 22:04 Michael Bykov написал: >>>>> 1. пятница - один из дней недели. >>>>> >>>>> 2. Сегодня - один из дней недели. >>>>> >>>>> 3. Следовательно, сегодня пятница. >>>> >>>> Средний термин не распределен ни в одной из посылок. Заключение не >>>> следует. >>> >>> A == B >>> >>> C == B >>> >>> следовательно, A == C, пятница. >> >> Первые два утверждения не суть равенства. Отсюда и третье утверждение ложно. > > В каком смысле - не суть равенства? Что, пятница - не один из дней недели?
В прямом смысле. > Можно написать - > > 1. "пятница" есть "один из дней недели" > > 2. "сегодня" есть "один из дней недели" При перестановке левой и правой части равенство должно сохраняться. Выше уже сказали, что это отношения со множествами. А есть элемент множества В. С тоже есть элемент множества В. Из первых двух утверждений не следует, что элементы А и С равны. Ставя равенство вы утверждаете, что элемент А тождественен множеству В, а это возможно только в случае, если множество В состоит только из одного элемента А. Однако это противоречит самому утверждению, поскольку сказано: "один из". > Следовательно, "пятница" есть "сегодня" Так что не следует. :) -- Всего доброго, Денис. _______________________________________________ smoke-room mailing list [email protected] https://lists.altlinux.org/mailman/listinfo/smoke-room
