İçerme » Mantık Terimi


  1. İçerme anlamı nedir?

  2. 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ç.

  3. Mantık Terimleri Sözlüğü Tüm Liste »

Sayfa Yorumları

Yorum Ekle







Mesaj / Bildirim Gönderin