Но нередко приходится встречаться с таким положением, когда доводов, которые прямо доказывали бы истинность тезиса, в данный момент не имеется.
Как же поступать в таком случае?
Надо найти доводы, которые доказывают, что суждение, противоречащее тезису, ложно. Найдя такие доводы, надо затем доказать ложность суждения, противоречащего тезису. Из закона исключённого третьего известно следующее: если доказано, что данное суждение ложно, то из этого необходимо следует, что противоречащее ему суждение истинно.