SEMBOLİK MANTIK Dersi ÖNERME EKLEMLERİ soru detayı:

PAYLAŞ:

SORU: Geçerli çıkarım nedir?


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.