Цитата:
Сообщение от sineemore
На форуме заметила фразу "Не все из того, что ездит - автомобиль". С точки зрения формальной логики означает ли это, что автомобиль обязательно ездит?
|
Нет. Это азы булевой алгебры, студенты проходят это на первом курсе.
Утверждение "Не все из того, что ездит - автомобиль" всего лишь сообщает нам следующую информацию:
Есть два множества А (множество автомобилей) и Б (множество способных ездить).
Множества А и Б пересекаются, но множество Б не является подмножеством множества А.
Можно ли из этой информации сделать Ваш вывод, что тогда А является подмножеством Б? Нет. С чего бы?
Цитата:
Сообщение от sineemore
Если все кошки серы, значит ли это, что все, что серое - это кошки"?
|
нет
Цитата:
Сообщение от sineemore
Все машины зеленые. Все зеленое летает. Летают машины?
|
да
|