içerme gönderimi

boş içerenli içerme

İçereni boş kümeye eşit olan ya da başka bir deyişle (…) biçiminde olan içerme.

içerme

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

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 fonksiyonu

bk. içerme gönderimi.

içerme funktoru

(...)

içerme imi

İ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ı

(…) önerme kalıplarından oluşup yorumsal sözeden dilde bir açık önerme olan (…) biçimindeki deyim.

içerme kalıbı örneği

İç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ı

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ı...