Наши партнеры
— суждение, противоречащее тезису некоторого построенного доказательства. А. используется в косвенном доказательстве тезиса: мы обосновываем ложность А. и, опираясь на закон исключенного третьего, гласящий, что из двух противоположных суждений одно обязательно истинно, тем самым доказываем истинность противоречащего ему суждения — тезиса.