Закон этот соблюдается в правильном мышлении. В силу этого закона мы с полной уверенностью можем сказать о двух противоречащих суждениях, что одно из них обязательно будет истинным, а другое — ложным, и никакого третьего, промежуточного, суждения быть не может.
Эта наша уверенность основывается на фактах действительности, отображением которых является закон исключённого третьего.
Закон исключённого третьего относится к противоречащим суждениям. Противоречащими суждениями могут быть единичные суждения, из которых одно что-либо утверждает, а другое это же самое отрицает.
Например:
Ока — приток Волги. Ока не есть приток Волги.
Одно из этих суждений истинное, другое — ложное, и никакого третьего, среднего, суждения здесь быть не может. Если кто-нибудь стал бы утверждать, что Ока приток другой реки, не Волги, то такое суждение не представляло бы ничего третьего, среднего, так как оно совпадало бы с суждением «Ока не есть приток Волги».
К противоречащим суждениям относятся также и такие два суждения, из которых одно — общее, а другое ― частное, причём одно из них что-либо утверждает о данном предмете, а другое отрицает.
Например:
Все жители Венгрии — мадьяры. Некоторые жители Венгрии — не мадьяры.
Одно из таких суждений обязательно будет ложным, другое — истинным, а третьего быть не может.