SORU: K = {(p ? ~ q),(q › r),~ r } önermeler kümesi tutarlı mıdır?
CEVAP: K {(p ? ~ q),(q › r),~ r önermeler kümesi tutarlıdır. Çünkü, en az bir değerlemede, S kümesi içindeki tüm önermeler D değerini alıyorsa S tutarlı, yoksa tutarsızdır. Doğruluk tablosu hazırlandığında, 4. ve 8. değerlemelerde, K kümesindeki tüm önermeler doğru değerini aldığı için, K kümesi tutarlıdır.
