buyruklar mantığı
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.
buyruklar mantığı ile benzer kelimeler
yasal buyruklarİng. imperative dispositionsKişilerin karşılıklı istekleriyle değiştirilmeyen . |
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ü. |
ç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ığı. |
"buyruklar mantığı" karakter analizi
- buyruklar mantığı, 17 karakter ile yazılır.
- b harfi ile başlar, ı harfi ile biter.
Karakter dağılımı
- 'b', 'u', 'y', 'r', 'u', 'k', 'l', 'a', 'r', ' ', 'm', 'a', 'n', 't', 'ı', 'ğ', 'ı', şeklindedir.
- buyruklar mantığı kelimesinin tersten yazılışı ' ığıtnam ralkuryub' diziliminde gösterilir.