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

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

Наша цель доказать общезначимость этой формулы. Выполним следующи...

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

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

Наша цель доказать общезначимость этой формулы. Выполним следующи...
Не нашел нужную задачу?