içerme imi

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 gönderimi

(...)

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