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

Mantıksal bağıntı olarak, bir şeyin başka bir şeyi kendi kapsamı içine alması. // Bu anlam

1. K önerme kümesinin p gibi bir önermeyi içerme'si, (p yi de yorumlayan) K nın her doğrulayı

İki önerme ya da bir önerme kümesi İle bir önerme arasında içerme ilişkisi olduğunu belirt

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

İçerme kalıbının dizimsel değişkenlerini, bu değişkenlerin birer değeriyle değiştirimi s

Tümel kapanışı yorumbilimde belli koÅŸullarda kanıtlanmış olan içerme kalıbı. || (Â…) B iÃ

Verilen p, q önermeleri için, doğruluk değerleri aşağıdaki çizelgeyle tammlanan ve pVq ile g