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