içerme

içerme = ihtiva [öz Türkçe - eski terim]

içerme = tazammun [öz Türkçe - eski terim]

İÇERME = (içerme nedir; içerme ne demek; içerme İngilizcesi) 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ç.

İÇERME = (içerme nedir; içerme ne demek; içerme İngilizcesi) İçermek işi, tazammun, ihtiva.

içerme = ihtivâ [Türkçe - Osmanlıca]