mantıksal içerme
bk. içerme.
mantıksal içerme ile benzer kelimeler
boş içerenli içermeİng. implication with empty implicansİçereni boş kümeye eşit olan ya da başka bir deyişle ( ) biçiminde olan içerme. |
içermea. İçermek işi, tazammun, ihtiva. İng. implication Mantıksal bağıntı olarak, bir şeyin başka bir şeyi kendi kapsamı içine alması. // Bu anlamda: a. Bir bilgi konusu kendisinden zorunlu olarak çıkan bir başka bilgi konus... |
içerme fonksiyonubk. içerme gönderimi. |
içerme funktoruİng. inclusion functor(...) |
içerme gönderimiİng. inclusion map(...) |
içerme imiİng. implication signİki önerme ya da bir önerme kümesi İle bir önerme arasında içerme ilişkisi olduğunu belirtmek amacıyla bunların adları arasına konulan sözeden dildeki ikili yüklem imi: | = (ya da ||) |
içerme kalıbıİng. implication schema( ) önerme kalıplarından oluşup yorumsal sözeden dilde bir açık önerme olan ( ) biçimindeki deyim. |
içerme kalıbı örneğiİng. instance of an implication schemaİçerme kalıbının dizimsel değişkenlerini, bu değişkenlerin birer değeriyle değiştirimi sonucunda elde edilen içerme. || Örn. p |= pVq içerme kalıbının bir örneği, 2=2 |= 2 = 2V2> 3 içermesidir. |
"mantıksal içerme" karakter analizi
- mantıksal içerme, 16 karakter ile yazılır.
- m harfi ile başlar, e harfi ile biter.
Karakter dağılımı
- 'm', 'a', 'n', 't', 'ı', 'k', 's', 'a', 'l', ' ', 'i', 'ç', 'e', 'r', 'm', 'e', şeklindedir.
- mantıksal içerme kelimesinin tersten yazılışı ' emreçi laskıtnam' diziliminde gösterilir.