– міркування, яке доводить, що два висловлювання, заперечують одне одне, випливають одне з одного.
» Глосарій