Доказательство

При косвенном апагогическом (лат. apagoge - уводящий, отводящий) доказательстве из принимаемого вначале за истину антитезиса выводятся следствия. При определении ложности хотя бы одного из следствий признается неправильным антитезис, а тезис, соответственно, истинным. Например, как может доказать водитель автотранспорта инспектору безопасности дорожного движения, тезис о том, что он не употребил спиртных напитков? Инспектор, допустивший, что водитель может быть выпившим, должен проверить наличие определенной концентрации алкогольных паров в выдыхаемом воздухе или же содержание алкоголя в крови водителя. Если же отмеченные показатели в норме, то это означает, что водитель не пил спиртного, т. е. антитезис (допущение о возможной выпивке) не верен, а тезис о том, что водитель трезв - истинен.