Bir önermenin doğru veya yanlışlığını önerme içerisindeki bir veya daha fazla değişkenin değerine bağımlı olarak belirler.