düzgüler mantığı
düzgüler mantığı İng. logic of norms
Ödev mantığı,
düzgüler mantığı ile benzer kelimeler
betim mantığıİng. logic of descriptionTemel mantığa betimleyicileri katmakla elde edilen genleşmiş mantık dizgesi, |
bileştiriciler mantığıİng. combinatory logicDeğişkenleri bütünüyle eleyip yerlerine belli bir takım işlevler koyan bir mantık dizgesi. |
birinci basamak mantığıİng. first order logicBireysel değişkenden başka değişkeni olmayan mantık dizgesi. || Krş. yüksek basamak mantığı. |
birli yüklemler mantığıİng. monadic predicate logicMantıksal olmayan değişmez türleri, yalnız ad ve birli yüklemleri kapsayan yüklemler mantığı bölümü. |
buyruklar mantığıİng. logic of commandsİçinde en az bir buyruk geçen çıkarımların geçerliliğini konu edinen önermesel olmayan mantık dizgesi. |
çoklu yüklemler mantığıİng. polyadic predicate logicEn az bir çoklu yüklem türünü kapsayan yüklemler mantığı bölümü. |
doğrusal eklemler mantığıİng. truth functional logicYalnız doğrusal eklemler kapsayan eklemler mantığı. |
doğrusal olmayan eklemler mantığıİng. non truth-functional sentential logicDoğrusal olmayan eklemleri de kapsayan eklemler mantığı. |
"düzgüler mantığı" karakter analizi
- düzgüler mantığı, 16 karakter ile yazılır.
- d harfi ile başlar, ı harfi ile biter.
Karakter dağılımı
- 'd', 'ü', 'z', 'g', 'ü', 'l', 'e', 'r', ' ', 'm', 'a', 'n', 't', 'ı', 'ğ', 'ı', şeklindedir.
- düzgüler mantığı kelimesinin tersten yazılışı ' ığıtnam relügzüd' diziliminde gösterilir.