Заказ: 1002839

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

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

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

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