Тигеҙләмәне сығарыу — аргументтарҙың, был тигеҙлек дөрөҫ булғандағы ҡиммәттәрен табыу буйынса мәсьәлә. Аргументтарҙың мөмкин булған ҡиммәттәренә өҫтәлмә шарттар ҡуйылыуы мөмкин (бөтөн һан булыу, ысын һан булыу һәм башҡалар).