Заказ: 1002837

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

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

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

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