CEVAP: Bir sembolik çıkarımın doğruluk tablosunda, tüm öncüllerin D değerini aldığı satırlardan hiçbirinde sonuç önermesi Y değerini almıyorsa, bu çıkarıma geçerli çıkarım denir.