Nedir Ne Demek sözlük
Giriş Kayıt ol

mantık

1.118 anlam
  • birebir bağıntı ß bağıntısının birebir olması, K nın x,y,z öğeleri için ile ya da ile ß bağıntısının içinde olduğunda, x. = y olması demektir.
  • birey Bir evrenin öğesi olan nesne; bir adın gösterdiği nesne. || Anl. gösterilen, değişken değeri. Krş.. özbirey.
  • birey soyutlayıcısı a adından, bu adın kaplamını gösteren X.a deyimini oluşturan X sıfırlı kaplamsal izerge soyutlayıcısı: (X.a) = a.
  • bireyler alanı bkz. evren..
  • bireysel değişken Değer alanı evrenden ya da evrenlerin birinden oluşan, başka bir deyişle her değeri birey olan değişken.
  • bireysel değişken çeşidi Değer alanları aynı olan bireysel değişkenler öbeği.
  • bireysel değişmez Ad (a) dizimsel türünden olan değişmez.
  • bireysel kavram Bir adın içlemi. ||bireysel kavram tamdurumlar kümesinden evrene kurulan bir izergedir.
  • bireysel kavram soyutlayıcısı a adından, bu adın içlemi olan bireysel kavramı göstren (…) deyimini oluşturan sıfırlı içlemsel izerge soyutlayıcısı.
  • bireysel olmayan değişken Değer alanı birey olmayan ya da başka bir deyişle evrende bulunmayan nesneleri kapsayan değişken. || Değer alanı evrene dayalı kümelerden oluşan değiş
  • birim kümesi a gibi bir nesneninbirim kümesi, tek öğesi a olan {a} kümesi demektir.
  • birinci basamak dili Bireysel değişkenden başka değişkeni olmayan biçimsel dil.
  • birinci basamak kuramı Birinci basamak mantığına dayanan kuram. || Krş. birinci basamak mantığı.
  • birinci basamak mantığı Bireysel değişkenden başka değişkeni olmayan mantık dizgesi. || Krş. yüksek basamak mantığı.
  • birinci izdüşüm bk. birinci üye
  • birinci üye sıralanmış İkilisininbirinci üye'si, a nesnesidir. II Anl. birinci izdüşüm.
  • birleşim ilksavı Bir kümeler kümesinin öğelerinin birleşiminin de bir küme olduğunu dile getiren İlksav.
  • birleşim imi İki küme admdan birleşim kümesinin adını oluşturan ikili işlev imi: U.
  • birleşim imi Bir kümeler kümesi adından birleşim kümesinin adını oluşturan birli işlev imi: U
  • birleşme özelliği bk. ortaklaştırıcı eklem.
  • birli bağıntı Küme ya da öbek.
  • birli çekirdek açık önerme Birli yüklem olan F gibi bir değişmez ile x gibi bir değişkenden oluşan Fx biçimindeki birli açık önerme.
  • birli çelişirlik eklemi Verilen bir önermeden Y değerinde bir önerme oluşturan birli doğrusal eklem.Doğruluk çizelgesi: (…)
  • birli eklem Bir tek önermeden yeni bir önerme kurmaya yarayan yöneten deyim. || Dizimsel türü: p/p. Krş. birli geçerlilik eklemi, birli çelişirlik eklemiş değille
  • birli evetleme bk. evetleme.
  • birli geçerlilik eklemi Verilen bir önermeden D değerinde bir önerme oluşturan birii doğrusal eklem. Doğruluk çizelgesi:
  • birli tikel evetleme Anaeklemi (...) tikel-evetleme eklemi olan bileşik önerme. ||birli tikel-evetleme ile birli evetleme eşdeğer eklemlerdir. (…) olduğundan, her yalınç ö
  • birli tümel evetleme Anaeklemi (…) tümel-evetleme eklemi olan bileşik önerme. ||birli tümel-evetleme ile birli evetleme eşdeğer eklemlerdir. (…) p = p olduğundan her yal
  • birli yüklemler mantığı Mantıksal olmayan değişmez türleri, yalnız ad ve birli yüklemleri kapsayan yüklemler mantığı bölümü.
  • birli yüklemli yasal biçim Anabileşenleri birliyüklemli kurucu bileşenler olan n-li tikel-evetleme. || Birli-yüklemli yasal biçimin tutarsızlığının gerekli-yeterli koşulu, her a
  • birlikte anlamlı deyim Tek başına anlamlı olmayıp, bir ya da birden çok yönetilen deyimle bir araya geldiğinde tek başına anlamlı bir deyimi oluşturan deyim; yöneten dizimse
  • birlikte değilleme bkz. tümel değilleme.
  • birlikte evetleme bkz. tümel-evetleme
  • birlikte olanaklılık yöneticisi (p^q) biçiminde tanımlanan doğrusal olmayan ikili eklem. || (a kırmızıdır) ile (a yeşildir) önermelerinin doğru olmasına karşın, (a kırmızıdır ve a y
  • bitiştirim Bir kalıbın dizilim işlevi ya da yarıanma imlerini kullanmadan yazılış biçimi. || Krş.. yarıanma imleri. Örn. (…)
  • boş ad Olağan yorumda hiç bir nesneyi göstermeyen ad.
  • boş adlı temel mantık Olağan yorumda hiç bir nesneyi göstermeyen adlara, başka bir deyişle boş adlara yer veren temel mantık dizgesi. || Krş. tümel özelleme kuralı.
  • boş cümle bk. boş küme
  • boş deyim İm sayısı sıfır olan, başka bir deyişle hiç bir im kapsamayan deyim. || Krş.. boş tümel-evetlemeli yasal biçim, boş tikel- evetlemeli yasal biçim.
  • boş içerenli içerme İçereni boş kümeye eşit olan ya da başka bir deyişle (…) biçiminde olan içerme.
  • boş küme Hiç bir öğesi olmayan küme.boş küme (…) olarak gösterilir.
  • boş olarak geçme Bir deyimin belli bir önermede önermenin doğruluk değerini etkilemeksizin geçmesi. || a dizimsel türünden A kapalı deyiminin p önermesindeboş olarak g
  • boş terim Olağan yorumdaki kaplamı boş küme olan birli yüklem. || Örn. 'yuvarlak kare'.
  • boş tikel evetlemeli yasal biçim Kurucu bileşen sayısı sıfır olan tikel-evetlemeli yasal biçim, || Her doğrusal tutarsız önerme,boş tikel-evetlemeli yasal biçim ile eşdeğerdir.
  • boş tümel evetlemeli yasa biçim Kurucu bileşen sayısı sıfır olan tümel-evetlemeli yasal biçim. || Her doğrusal geçerli önerme, boş tümel-evetlemeli yasal biçim ile eşdeğerdir.
  • bölümleyici yüklem kümesi (…) || Örn. {kırmızı, kırmızı olmayan}, {kırmızı, yeşil, ne kırmızı ne yeşil}.
  • bölümsel izerge K kümesinden L kümesine kurulan birbölümsel izerge, K nIn bir altkümesinden L ye kurulan bir izerge demektir.
  • bölümsel yönetici (…) Krş.. olanaklılık yöneticisi, bilinebilme yöneticisi, sanılabilme yöneticisi, izin yöneticisi, olmuş yöneticisi, olacak yönelticisi.
  • bölünmsel işlemlenebilir izerge Değerlerini saptayan bir işlemleyicisi olan bölümsel deyim izergesi.
  • buyruklar mantığı İçinde en az bir buyruk geçen çıkarımların geçerliliğini konu edinen önermesel olmayan mantık dizgesi.