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

1) 5-х=2
все числа переносим в правую сторону, меня знак на противоположный, а Х оставляем в левой части.
отсюда, -х=2-5.
решаем правую часть, отсюда, -х=-3.
чтобы избавиться от -Х мы переносим минус в правую часть, т.е. знак чисел в правой части меняем на противоположный. отсюда, х=3.
2) х+7=9
переносим числа в правую сторону, меняю знак. отсюда, х=9-7
решаем правую часть. х=2
3) 3-х=3
переносим числа в правую сторону, меняя знак на противоположный, Х оставляем в левой части. -х=3-3
решаем правую часть. отсюда, х=0
4) 6+х=6
переносим числа в правую сторону, меняя знак на противоположный, а Х оставляем в левой части. отсюда, х=6-6
решаем правую часть, отсюда. х=0

ПРОВЕРКА:
вместо Х в уравнение подставляется число, полученное после решения.
1) 5-3=2 - верно.
2) 2+7=9 - верно
3) 3-0=3 - верно
4) 6+0=6 - верно.

На всякий случай,объясню,как раскладывать на простые множители) Берёшь таблицу простых чисел и по порядку делишь данное число на простые от 2 и далее,их можно повторять.Например,3 раза поделить на 2. Таким образом у 150 простые множители это 2,5,5 и 3 (две 5-ки,а не одна),у 180: 2,2,3,3,5,у 400:2,2,2,5,5 Наименьшее общее кратное я,если честно,уже не помню,как находить через множители,но я делаю так: беру наибольшее число,сначала проверяют кратно ли оно остальным,если да,то оно наименьшое кратное,если нет,то умножают его на 2 и опять проверяют,потом на 3 и т.д.,пока не найдётся оно) А здесь наименьшее общее кратное это 3600. Я надеюсь,я довольно доступно объяснила и больше у тебя проблем с этим не будет)