mantık
1.118 anlam- ayırım Herhangi bir türü aynı olan türden ayıran karakter.
- ayraçlı yazılış biçimi Yardımcı im olarak ayraç kullanmayı gerektirdiği için araek yazılış biçimine verilen ad. || Bu yazılış biçiminde ikili yöneten deyimlerin kapanışları
- ayrık şartlı kıyaslar bk. ayrık tasımlar
- bağdaşmazlık eklemi Anabileşenlerinin ancak her ikisinin de doğru olması durumunda yanlış olan bir bileşik önermeyi oluşturan doğrusal ikili eklem. || Bu eklem | (ya da(
- bağımlı önermeler Bağımsız olmayan, başka bir deyişle en az bir öğesi öbür öğelerince içerilen önerme kümesi.
- bağımsız imler Hiç bir öğesi öbür öğeleri yardımıyla tanımlanamayan imler kümesi. || Örn. ( ) kümesi,bağımsız imlerden oluşur.
- bağıntı Sıralanmış ikililerden oluşan bir küme ya da öbek. || ß gibi birbağıntı için eß, kısaca ( ) biçiminde de yazılır. Anl. kaplamsal ikilibağıntı. Krş..
- bağıntı alanı Bağıntının öğeleri olan sıralanmış ikililerin birinci ile ikinci üyelerinin kümesi.
- bağıntı değişkeni Değer alanı (kaplamsal) bağıntılardan oluşan değişken: ß.
- bağıntı soyutlayıcısı ( ) Anl. kaplamsalbağıntı soyutlayıcısı. Krş. doğruluk değeri soyutlayıcısı, öbekleyici.
- bağıntı yüklemi Kaplamı bir bağıntı olan yüklem. || Anl. çoklu yüklem.
- bağlaşma İki cümlenin "ve" ile birbirine bağlanması.
- bağlı değişken Bir düzgün deyimde en az bir bağlı geçişi olan değişken.
- bağlı mütehavvil bk. bağlı değişken
- bağsız değişken Bir düzgün deyim İçinde en az bir bağsız geçişi olan değişken.
- barbara Bellek eğitimi ile ilgili bir terim.
- basit kıyas şekilleri bk. yalın tasım biçimleri
- basit kıyas tarzı bk. yalın tasım kalıbı
- basit önerme bk. yalınç önerme.
- başlangıç önermeleri Çözümleyici çizelgesi kurulan önermeler kümesi; tutarlılığı denetlenecek önermeler kümesi. || Bir çıkarımın geçerliliği çözümleyici çizelge ile denetl
- belgisiz önerme Aynı türden olan bütün canlılara uygun düşen genel önerme.
- belgit İspat aracı.
- belgitleme Bir önermeyi doğru kabul edilen başka bir önermeyi belge olarak gösteren tanıtlama.
- belgitlemek Muhakeme yoluyla bir şeyi ispat etmek.
- belirlenir önerme Kendisi ya da değillemesi kanıtlanabilen önerme.
- belirlenmez önerme Kendisi de değillemesi de kanıtlanamayan önerme.
- belirtik tanım ( ) biçimsel dizgesinin abecesinde bulunmayan t gibi bir değişmezin Dz0 dabelirtik tanım'ı, t ile Dz0 in değişmezlerinden başka hiç bir değişmezi kaps
- belit bk. ilksav.
- belitke Belit ile ilgili olan.
- belkili Zorunlu olmayan, yalnızca olabilirlik gösteren.
- betim mantığı Temel mantığa betimleyicileri katmakla elde edilen genleşmiş mantık dizgesi,
- betimleyici Bir tek nesnenin gerçeklediği px birli açık önermesinden, sözü geçen tek nesneyi gösteren ( ) deyimini oluşturan "İX birli değişken bağlayıcısı. || Di
- biçimsel dizge (i) bir mantıksal dizge, (ii) özel ilksavlar kümesi, (iii) kanıtsavlar kümesi'nden oluşan dizge. ||Anl. dizimsel dizge, tümdengelimli dizge, ilksavlı
- biçimsel kanıt Kanıtlanım.
- biçimsel kuram bk. kuram.
- biçimsel mantık Mantığın inceleme konusu olan tutarlılık ile geçerliliğin mantıksal olmayan deyimlerin içeriğine değil de yalnız biçimine bağlı olduğunu vurgulamak am
- biçimsel mantık Yalnız biçimsel dillere ilişkin mantık dizgelerini konu edinen mantık bölümü. || Krş. sezgisel mantık.
- biçimsel özellik Dizimsel özellik.
- biçimsel sayı kuramı Doğal sayıların toplamı ile çarpımına ilişkin kanıtsavları türetmeğe yarayan biçimsel kuram. || Krş. temel mantıklı sayı kuramı, kümesel sayı kuramı
- biçimsel tanım Biçimsel bir dilde yapılan dilsel tanım.
- bileşen değillemesi ( ) ||Krş.. değilleme eklemi, ikili birinci-bileşen değillemesi, ikili ikinci-bileşen değillemesi.
- bileşen evetlemesi ( ) || Krş. evetleme, ikili birinci-bileşen evetlemesi, ikili ikinci-bileşen evetlemesi.
- bileşik önerme Bir ya da birden çok önermeden eklem yardımıyla oluşturulan önerme, bir ya da birden çok anabileşeni olan önerme.
- bileşik önerme otomatik En az iki önermeden oluşan yeni önerme.
- bileşik özellik yüklemi Bir n-li eklemsi ile n sayıda özellik yükleminden oluşan deyim. || Örn. 'İnsan olmayan','akıllı ya da çalışkan'.
- bileştiriciler mantığı Değişkenleri bütünüyle eleyip yerlerine belli bir takım işlevler koyan bir mantık dizgesi.
- bilgisel mantık Temel mantığa, bilgisel yöneticileri katmakla oluşturulan genleşmiş mantık dizgesi. || Krş.. bilgisel-sanısal mantık.
- bilgisel sonuç q önermesinin p gibi bir önermenin a kişisine göre bilgisel sonucu olması, ( ) nun kendini destekleyen bir önerme olması demektir.
- bilgisel yönetici Bilme yöneticisi ya da bu yönetici yardımıyla tanımlanan doğrusal olmayan n-li eklem. || B bilme yöneticisi ile B* bilinebilme yöneticisibilgisel yöne
- birarada tanım Bir kuramda ilkel imlerinin anlamlarını bir arada, kuramın ilksavları yardımıyla belirleme.
Reklam