Заказ: 1002838

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

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

Текст задания

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