Здравствуйте, barhat!
A - губернатор не имеет соответствующего авторитета
B - губернатор не желает принимать на себя ответственность
C - участникам волнений это надоест
D - и власти начнут примирительные действия
E - волнения прекратятся
Тогда рассуждение запишется в виде следующей последовательности формул
A [$8744$] B ->([$172$]C[$8744$][$172$]D->[$172$]E)[$8658$]B[$8743$][$172$]C->[$172$]E
Доказательством от противного утверждения A->B является предположение [$172$]B и приход к противоречию.
Итак, пусть имеем A[$8744$] B ->([$172$]C[$8743$][$172$]D->[$172$]E), B,[$172$]C и E
A[$8744$] B истинно, значит, утверждение справа тоже должно быть истинно.
Импликация ложного суждения истинна, только когда исходное суждение ложно, то есть [$172$]C[$8744$][$172$]D ложно, то есть C [$8743$] D. Это противоречит[$172$]C.
2 Задание решено в файле
скачать файл x1.docx [12.3 кб]