Один из методов разрешения противоречий в логике — доказательство от противного. 2 Он строится на том, что нужно обосновать какой-то тезис, но прямое его доказательство найти не получается. 2 Тогда берётся его отрицание, и в определённый момент рассуждения наталкиваются на противоречие, что является знаком того, что отрицание тезиса было неверным. 2

Также для разрешения противоречий можно использовать метод «от противного». 4 Он применяется в решении математических задач и доказательстве теорем и включает в себя три этапа: 4

1. Устанавливают возможные варианты при решении задачи или доказательстве теоремы. 4
2. Доказывают для каждого нежелательного варианта, что он неверен. 4
3. На основании того, что все нежелательные варианты отброшены и только один (желательный) остался нерассмотренным, делают вывод, что именно он верный. 4