TUTARLILIK - GEÇERLİLİK - EŞDEĞERLİK DENETLEMESİ
(qV-p), (-pAq) p
çıkarımının geçerliliğinin doğruluk çizelgesi ile denetlenmesi:
2 yola uygun olarak çıkarımda yer alan öncül önermeler ve sonuç önermesinin değilinin birlikte tutarlı olup olmadığı de-
netlenir. Birlikte tutarsızsa çıkarım geçerlidir.
—p (qV-p)
(-pnq)
Y
D
Y
D
D
D
D
Öncüller ve sonuç önermesinin değilinin birlikte denetlendiği çizelgede önermelerin bir arada tutarlı olduğu bir satır bulun-
duğundan çıkarım geçersizdir.
MEBİ KONU ÖZETLERİ
MANTIK - AYT
