Залежно від способу встановлення істинності тез розрізняють пряме і непряме доведення.

Пряме доведення – доведення,  в якому з аргументів, пов’язаних за певною схемою міркування, безпосередньо випливає висновок, який повністю збігається з проголошеною тезою. Наприклад: Будь-який обман викликає недовіру, оскільки він є твердженням, що не відповідає дійсності. Нещирість – це обман, бо вона є навмисним перекрученням дійсності. Отже, нещирість викликає недовіру.

Непряме доведення – доведення, в якому істинність тези обґрунтовується шляхом встановлення хибності антитези. При цьому  вдаються до закону виключеного третього, згідно з  яким із двох суперечних суджень одне неодмінно істинне, друге хибне, а третього не дано. Непрямі доведення поділяються на апагогічні і розділові.

Апагогічне – непряме доведення, в якому з антитези виводять наслідки, що явно суперечать дійсності або відомим істинним і достовірним положенням. Звідси робиться висновок, що антитеза є хибною, а теза – істинною.

Розділове – непряме доведення, яке полягає в тому, що із розділового судження, до складу якого входить теза, послідовно виключаються всі альтернативи, крім однієї – тези.