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