içerme

içerme

a. İçermek işi, tazammun, ihtiva.

içerme İ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 konusunu içerir. (Ör. Yerçekimi yasası, cisimlerin düşüşünü içerir.) b. Kapsamı daha geniş olan kavram, kapsamı içine giren bütün kavramları içerir. (Ör. Cins kavramları tür kavramlarını, tür kavramları birey kavramlarını içerir.)

içerme İng. implication, logical implication

1. K önerme kümesinin p gibi bir önermeyi içerme'si, (p yi de yorumlayan) K nın her doğrulayıcı yorumunda p nin doğru olmasıdır. 2. Birinci anlamda bir içermeyi belirten yorumsal sözeden dildeki önerme. || Böyle bir önerme K |= p (ya da K ||— p) biçiminde dile getirilir. Anl. mantıksal içerme. Krş.. mantıksal sonuç, yorumsal sonuç.

---

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çerme fonksiyonu bk. 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.

içerme kuralı İng. implication rule Tü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ı...

---