Закон логического вывода
Если из А
следует
В и посылка А
,
то выполняется и
В
