Формализовать и проверить правильность мышлений. Существует ли между основаниями и выводами отношения логического следования? Формалізувати і перевірити правильність міркувань. Чи існує між засновками та висновками відношення логічного слідування?

Если капиталовложение останутся постоянными, тогда увеличатся правительственные затраты или возникнет безработица.

Если правительственные затраты не возрастут, тогда налоги будут снижены.

Если налоги будут снижены и капиталовложение останутся постоянными, тогда безработица не возникнет.

Следовательно, правительственные затраты возрастут.