İçerme anlamı nedir?
- 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ç.
Mantık Terimleri Sözlüğü Tüm Liste »
Sayfa Yorumları