Условие задачи
Для формализованного в задаче 4 рассуждения доказать логическое следствие заключения из посылок.
Ответ
В формализованном выше рассуждении из трех посылок следует заключение B:
Доказательство логического следования:
Построим формулу по Теореме 1 о логическом следовании: