Bir önermenin doğru olması için gereken koşulların bir grafiğini oluşturmaktır.

Önerme değişkenlerinin yerlerini belirlemektir. 

Doğruluk tablosunun eksik yönlerini gidermektir. 

Geçersiz bir argümanın hangi koşullarda geçerli olabileceğini göstermektir. 

Totolojilerin neden totoloji olduğunun belirlenmesidir.