6.1.1.4 Исчисление высказываний

Условие: Записать формально следующее рассуждение на языке логики высказываний и доказать его справедливость, используя метод резолюций. Посылки: заработная плата возрастёт только, если будет инфляция. Если будет инфляция, то увеличится стоимость жизни. Заключение: Стоимость жизни увеличится.