Математика, 10.06.2019 17:52, Lerazamsha

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

Всего ответов: 3

Другие вопросы по Математике

Знаешь правильный ответ?
Записать рассуждение в логической символике и проверить правильность рассуждения методом куайна, мет...

Вопросы по предметам