doğruluk değeri soyutlayıcısı

doğruluk değeri soyutlayıcısı İng. truth-value abstractor

p önermesinden, bu önermenin kaplamı olan doğruluk değerini gösteren {| p} deyimini oluşturan sıfırlı bağıntı soyutlayıcısı.

doğruluk değeri soyutlayıcısı ile benzer kelimeler

anlamsız doğruluk değeri

İng. meaningless- truth value

Çağdaş mantıkta bir nesne ya da özelliğin başka bir dil düzeyinden yüklem alması durumunda beliren ve "doğru" ya da "yanlışın dışında kalan doğruluk değeri.

doğruluk değeri

İng. truth value

Bir p önermesi doğru olduğunda, bu önermeye karşılık getirilen 1 sayısı ile, yanlış olduğunda, bu önermeye karşılık getirilen 0 sayılarından biri.

İng. truth value

1. İki değerli mantıkta, "...

doğruluk değeri çözümlemesi

İng. truth-value analysis

Verilen bir bileşik önermenin, yalınç bileşenlerinin bütün değerlemelerine karşılık aldığı doğruluk değerlerinin bulunması işlemi.

Quine yöntemiyle doğruluk değeri çözümlemesi

İng. Quine's method for truth-value analysis

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...

bağıntı soyutlayıcısı

İng. relation abstractor

() Anl. kaplamsal . Krş. doğruluk değeri soyutlayıcısı, öbekleyici.

birey soyutlayıcısı

İng. individual abstractor

a adından, bu adın kaplamını gösteren X.a deyimini oluşturan X sıfırlı kaplamsal izerge soyutlayıcısı: (X.a) = a.

bireysel kavram soyutlayıcısı

İng. individual concept abstractor

a adından, bu adın içlemi olan bireysel kavramı göstren () deyimini oluşturan sıfırlı içlemsel izerge soyutlayıcısı.

içlemsel izerge soyutlayıcısı

İng. intensional functional abstractor

Krş.. bireysel kavram soyutlayıcısı.

"doğruluk değeri soyutlayıcısı" karakter analizi

doğruluk değeri soyutlayıcısı, 29 karakter ile yazılır.
d harfi ile başlar, ı harfi ile biter.

Karakter dağılımı

'd', 'o', 'ğ', 'r', 'u', 'l', 'u', 'k', ' ', 'd', 'e', 'ğ', 'e', 'r', 'i', ' ', 's', 'o', 'y', 'u', 't', 'l', 'a', 'y', 'ı', 'c', 'ı', 's', 'ı', şeklindedir.
doğruluk değeri soyutlayıcısı kelimesinin tersten yazılışı ' ısıcıyaltuyos ireğed kulurğod' diziliminde gösterilir.