Деякі задачі містять твердження. Певна кількість їх є істинними, а інші – хибними твердженнями. У процесі розв'язання припускається істинність чи хибність одного з тверджень задачі. Якщо припущення суперечить умові задачі, то воно хибне. У такому разі треба робити припущення далі, доки не знайдеться один (чи більше) можливий варіант її розв'язання