Doğruluk tablosunda yorumlanmasında sonucun değillemesinin ve öncüllerin bir arada tutarsız olduğu çıkarımlardır. Ya da öncüller tümel evetleme eklemiyle birbirine bağlanıp, sonucun da koşul eklemiyle öncüllere bağlanıp doğruluk tablosunda denetlenen ve bütün yorumları doğru olan çıkarımlardır.