a+2 önerme m kez doğru ise a-1 önerme de en az m-3 en çok m tane doğruluk değeri vardır
en az için
a+2 de m taneyse a+1 de m-1 a da m-2 a-1 de m-3 tane doğruluk değeri bulunur (çıkartılan 3 değerin doğru oldugunu kabul edersek)
en çok için çıkartılan önermelerin yanlış oldugunu kabul edersek dogruluk değeri değişmez ve hem a+2 için hemde a-1 için sonuç m olur.
umarım yardımcı olmustur
