Сообщение от sineemore

С точки зрения формальной логики же. Это типа как "если все кошки серы, значит ли это, что все, что серое - это кошки"?

То есть там не важно, какое значение у слов, главное - их соотношения между собой.

Например: Все машины зеленые. Все зеленое летает. Летают машины?