Записать рассуждение в логической символике и проверить правильность рассуждения методом куайна, методом редукции и методом резолюций. «муравей поднимет соломинку, если ее вес не превышает собственный вес муравья более, чем в 10 раз. муравей не будет поднимать соломинку, если она ему не нужна. муравей не стал поднимать соломинку. значит, либо соломинка слишком тяжелая, либо муравью не нужна соломинка.» нужно поправить решение
Подводя итог, хочу сказать - РОССИЯ - ЦИВИЛИЗАЦИЯ РАССВЕТА! А Вы согласны?