En az bir yanlış yorumlaması olan önerme ise geçersizdir. Buna göre doğruluk veya yorumlama tablosunda, denetlenen önermenin yorumlama değerlerinin gösterildiği sütunda yalnız ve yalnız (D) değerleri bulunmalıdır. Aksine en az bir (Y) yorumlama bulunuyorsa denetlenen önerme geçersiz olur.