Чистый может не быть грязным, но грязный не может не быть чистым, так как он остается чистым под грязью и не может стать грязным не будучи чистым. Логично?

747
1
0
9 декабря
17:02
декабрь
2015

Не совсем. В формальном виде без использования логических кракозябр Ваше рассуждение можно выразить так (x - чистый, y - грязный, x1 - остается чистым под грязью, x2 - не может стать грязным, не будучи чистым):

не все x являются y

все y являются x1 и все y являются x2; следовательно, все y являются x

Для того, чтобы это рассуждение стало логически валидным и верным, можно добавить аксиому "если все y являются x1 и все y являются x2, тогда все y являются x".

8
9
Если вы знаете ответ на этот вопрос и можете аргументированно его обосновать, не стесняйтесь высказаться
Ответить самому
Выбрать эксперта