Математика, 10.06.2019 17:52, Lerazamsha
Записать рассуждение в логической символике и проверить правильность рассуждения методом куайна, методом редукции и методом резолюций. «муравей поднимет соломинку, если ее вес не превышает собственный вес муравья более, чем в 10 раз. муравей не будет поднимать соломинку, если она ему не нужна. муравей не стал поднимать соломинку. значит, либо соломинка слишком тяжелая, либо муравью не нужна соломинка.» нужно поправить решение
Всего ответов: 3
Записать рассуждение в логической символике и проверить правильность рассуждения методом куайна, мет...