а) Побічне доказування протікає шляхом спростування і виключення всіх хибних версій, на основі чого стверджують про достовірність єдиного залишившогося припущення. Вивод протікає в формі заперечно-стверджуючого модуса розділово-категоричного умовиводу: . Висновок в цьому виводі може розцінюватися як достовірний, якщо, по-перше, побудований вичерпний ряд версій, пояснюючих досліджувану подію, і, по-друге, в процесі перевірки версій спростовані всі хибні припущення. Версія, яка вказує на причину, яка залишилась, в цьому випадку буде єдиною, а виражене в ній знання буде виступати уже не як проблематичне, а як достовірне. Цей спосіб доказування, відомий як метод виключення.

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

При відсутності побічного доказування просте співпадіння фактів з тими наслідками, які виведені з версії, не можна розцінювати як достатню підставу істинності версії, бо співпадаючі факти могли бути викликані іншою причиною:. Логіка не вважає демонстративним перехід від ствердження наслідків до ствердження підстави (основи).

Якщо наслідки (Sа, Sв, … , Sn) вказують на походження від однією, визначеної причини, і ця версія підтверджується упорядкованою сукупністю фактів (Fа, Fв, … , Fn), тим самим служить достовірною підставою для виводу про достовірність єдиного припущення Н1 , і також виключає інше пояснення обставин справи, то, ми маємо такий зв’язок між підставою і наслідком, який може бути виражений подвійною імплікацією: “якщо і тільки якщо Н1, то (Sа, Sв, … , Sn)”. Н1¬®S. Вивод тут є законним. Якщо в меншому засновку стверджується, що сукупність фактів Fа, Fв, … , Fn і співпадає з наслідками Sа, Sв, … , Sn , то в висновку з необхідністю стверджують про існування причини Н1. Міркування приймає вид:.