Цитата:
Сообщение от sineemore
На форуме заметила фразу "Не все из того, что ездит - автомобиль". С точки зрения формальной логики означает ли это, что автомобиль обязательно ездит?
|
Из этого выражения про автомобили ничего утверждать нельзя, нельзя даже утверждать, что автомобили существуют
По закону контрапозиции выражение можно переписать на эквивалентное по истинности "Существует не-автомобиль, который ездит".
|