set of premisses ile alakalı bazı sözcükler ve anlamları
çıkarım imi: Bir çıkarımda, öncüller kümesi ile sonuç arasına konulup 'Öyleyse' deyiminin kısaltması olarak kullanılan ( ) biçimindeki im,Devamını Oku
öncüller kümesi: Bir tasımda sonuçtan önce gelen önermelerin tümü. Bir çıkarımda verileri dile getiren önermeler kümesi; çıkarımda sonuçtan önce gelen önermelerin tümü.…Devamını Oku
onlar kümesi: Biz kümesi olarak görülen kümenin dışındaki bütün insanları kapsayan küme. bkz. biz kümesi.Devamını Oku
çözümleyici küme: Aşağıdaki koşulları yerine getiren Ç önerme kümesi; ( ) Ç kümesi doğrusal tutarlıdır. Çözümleyici çizelgede açık yolu oluşturan önermeler kümesi birçözümleyici…Devamını Oku
denetleme kümesi: Üzerinde araştırma yapılan deneme kümesi ya da kümeleriyle karşılaştırılan küme. Deneysel değişkenin etkisi altında bulunmayan küme. bk. deneme kümesi.Devamını Oku
formülün cümlecik kümesi: Verilen formülün bir Skolem standart biçimindeki matrisinde yer alan cümleciklerin kümesi, cümlecik kümesi.Devamını Oku
heine borel lemması: A kümesi En uzayının sınırlı alt kümesi ise bu kümenin açık kümelerden oluşan her sonsuz örtüsünden A kümesini örten sonlu…Devamını Oku
tavan ışık kümesi: Seyir yerinin tavanında bulunan aydınlatma kümesi.Devamını Oku
tavan ışık kümesi: Seyir yerinin tavanında bulunan aydınlatma kümesi.Devamını Oku
özaltküme: Bir kümenin kendisiyle özdeş olmayan alt kümesi. || Örn. {1,2} kümesi, {1,2, 3} kümesininözaltkümesidir.Devamını Oku
düpedüz tutarlı önerme kümesi: Olağan yorumda tüm öğeleri doğru olan önermeler kümesi.Devamını Oku
biz kümesi: Bütün üyeleri kendi kendilerini sıkı sıkıya dayanışma içinde duyan insan kümesi.Devamını Oku
mantıkça kapalı önermeler kümesi: Tüm mantıksal sonuçlarını kapsayan önermeler kümesi. || Örn. Geçerli önermelerin tümünden oluşan küme mantıkça kapalı olduğu gibi, herhangi bir önerme…Devamını Oku