Bir önermenin doğruluğunun, onun kendisiyle çelişmemesi temelinde değerlendirildiği akıl yürütme biçimi aşağıdakilerden hangisidir?