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