Спростування деякої теорії відбувається через modus tollens, шляхом певного спостереження. Припустимо що із деякої теорії T випливає, що спостереження O повинне відбутись Але O не спостерігається, тому Звідси по modus tollens: Залежність спостереження від теорії Всі спостереження ґрунтуються на попередніх допущеннях, звідси: тому: але: із закону де Морґана.