Условие:
Для формализованного в задаче 4 рассуждения доказать логическое следствие заключения из посылок.

Решение:
В формализованном выше рассуждении из трех посылок следует заключение B:

Доказательство логического следования:
Построим формулу по Теореме 1 о логическом следовании:
