Требуется проверить правильность логических рассуждений (при помощи метода резолюций).
В бюджете возникнет дефицит, если не повысят пошлины. Если в бюджете возникнет дефицит, то расходы на социальные нужды сократятся. Следовательно, если повысят пошлины, то расходы на социальные нужды не сократятся.
Чуть-чуть теории:
В качестве образца, есть решенная задача при помощи метода резолюций:
Собственно говоря, вот мое решение:
И вот в решении своем я и не уверен, т.к. окончательная формула, построенная по теореме 3.4.2 не противоречие, а это значит, что логическое суждение НЕ имеет место. Хотя в то же время, я считаю, что в тексте задачи вполне здравые рассуждения...