[room] пятница

[Denis G. Samsonenko]

Привет!

25 декабря 2008 г. 22:04 Michael Bykov написал:
>>>>> 1. пятница - один из дней недели.
>>>>>
>>>>> 2. Сегодня - один из дней недели.
>>>>>
>>>>> 3. Следовательно, сегодня пятница.
>>>>
>>>> Средний термин не распределен ни в одной из посылок. Заключение не
>>>> следует.
>>>
>>> A == B
>>>
>>> C == B
>>>
>>> следовательно, A == C, пятница.
>>
>> Первые два утверждения не суть равенства. Отсюда и третье утверждение ложно.
>
> В каком смысле - не суть равенства? Что, пятница - не один из дней недели?

В прямом смысле.

> Можно написать -
>
> 1. "пятница" есть "один из дней недели"
>
> 2. "сегодня" есть "один из дней недели"

При перестановке левой и правой части равенство должно сохраняться.
Выше уже сказали, что это отношения со множествами.

А есть элемент множества В.

С тоже есть элемент множества В.

Из первых двух утверждений не следует, что элементы А и С равны.

Ставя равенство вы утверждаете, что элемент А тождественен множеству
В, а это возможно только в случае, если множество В состоит только из
одного элемента А. Однако это противоречит самому утверждению,
поскольку сказано: "один из".

> Следовательно, "пятница" есть "сегодня"

Так что не следует. :)

-- 
Всего доброго,

Денис.