içerme fonksiyonu
bk. içerme gönderimi.
içerme fonksiyonu 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 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. |
içerme kuralıİng. implication ruleTümel kapanışı yorumbilimde belli koşullarda kanıtlanmış olan içerme kalıbı. || ( ) B içerme kalıbının tümel kapanışının kanıtlanması, ( ) çıkarım kalıbının geçerliliğinin kanıtlanması anlamına gelir. Krş.. mantık kuralı, mantık yasası... |
"içerme fonksiyonu" karakter analizi
- içerme fonksiyonu, 17 karakter ile yazılır.
- i harfi ile başlar, u harfi ile biter.
Karakter dağılımı
- 'i', 'ç', 'e', 'r', 'm', 'e', ' ', 'f', 'o', 'n', 'k', 's', 'i', 'y', 'o', 'n', 'u', şeklindedir.
- içerme fonksiyonu kelimesinin tersten yazılışı ' unoyisknof emreçi' diziliminde gösterilir.