Quine Yöntemiyle Doğruluk Değeri Çözümlemesi » Mantık Terimi

Quine Yöntemiyle Doğruluk Değeri Çözümlemesi anlamı nedir?
Bir bileşik önermede en çok geçen yalınç bileşeni bir kez D bir kez de Y değeri ile değiştirip elde edilen her önermeyi yaIınlaştırma kuralları yardımıyla eşdeğer olarak (i) D ye (ii)Y ye, ya da(iii) ne D ne de Y yi kapsayan bir önermeye dönüştürme işlemini yalnız D ile Y kalana dek sonlu sayıda yinelemeye dayanan doğruluk değeri çözümlemesi. || Krş. . yalınlaştırma kuralları.

Örn. (p=>q) (. . .

) biçimindeki bir önermenin Quine yöntemiyle doğruluk değeri çözümlemesi şöyledir: ()
Mantık Terimleri Sözlüğü Tüm Liste »