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

mantık

1.118 anlam
  • kaplam Bir düzgün deyimin dile getirdiği nesne ya da nesneler kümesi.
  • kaplam A düzgün deyiminin (…) , yorumundakikaplamı, (…) gereği (…) gerçek tamdurumunda kazandığı olanaklıkaplam (…) dır. || Anl. gerçekkaplam,kaplamsal anlam
  • kaplam belirlenimi (…) || Örn. Bir n-li açık önermenin belirlediği kaplam, bu açık önermeyi gerçekleyen sıralanmış n-li dizgelerden oluşan bağıntıdır.
  • kaplam belirlenimi imi (…) biçimindeki bir düzgün deyimden, bu deyimce belirlenen kaplamı gösteren bkp(…) deyimini oluşturan, yorumsal sözeden dildeki 'bkp’ birli işlev imi.
  • kaplam imi A gibi bir düzgün deyimden, bu deyimin kaplamını gösteren kp(A) deyimini oluşturan, yorumsal sözeden dildeki 'kp' birli İşlev imi.
  • kaplam izergesi (…) || Krş.. im yorumlayıcı izerge, içlem izergesi.
  • kaplamdaş deyimler Kaplamları aynı olan düzgün deyimler.
  • kaplamsal anlam bkz. kaplam.
  • kaplamsal bağıntı Sıralanmış n-li dizgelerden (…) oluşan küme yada bu kümenin ayırt edici izergesi. ||'n-li bağıntı'terimi başka biçimde belirtilmediğinde "n-likaplamsa
  • kaplamsal deyim 1-A deyiminin B gibi bir altdeyiminin belli bir geçişine görekaplamsal deyim olması, B ile kaplamdaş olan her C deyimi için, A ile A içinde B yerine C
  • kaplamsal izerge Evren öğelerinden oluşan sıralanmış n-li dizgeler kümesinden evrene kurulan izerge. ||'n-li izerge' terimi başka biçimde belirtilmediğinde "n-likaplam
  • kaplamsal izerge soyutlayıcısı (…) Krş.. birey soyutlayıcısı.
  • kaplamsal yorumlanmış dil Tüm düzgün deyimleri kaplamsal olan yorumlanmış dil. || Böyle bir dilde (...) deyimi, anayöneteni B kapalı deyimi olan kapalı bir deyim ise, (…) Örn.
  • kaplamsallık ilksavı Öğeleri aynı olan kümelerin eşit olduğunu dile getiren ilksav.
  • karakteristik fonksiyon bk. ayırt edici izerge
  • kararlar mantığı Belli yeğlemeleri olan kişilerin belli durumlarda seçecekleri en elverişli davranış biçimlerini belirleyen kuralları konu edinen mantık dalı.
  • karmaşık deyim Birden çok sayıda imden oluşan deyim.
  • karmaşık terim Birden çok sayıda imden oluşan terim.|| Örn. 2+3, 2x+3y—5.
  • karmaşık yapıcı ikilem (…) biçimindeki çıkarım kuralı.
  • karmaşık yıkıcı ikilem (…) biçimindeki çıkarım kuralı.
  • karmaşık yöneticiler mantığı Birden çok sayıda ilkel yöneticisi olan yöneticiler mantığı dizgesi. || Örn. Bilgisel ile sanısal yöneticileri ya da kipsel ile ödevsel yöneticileri o
  • karşı örnek Yanlışlayıcı yorum.
  • karşı örnek Geçersiz kılıcı yorum.
  • karşılıklı koşul eklemi Ancak anabileşenlerinin aynı doğruluk değerini taşıması durumunda doğru olan bir bileşik önermeyi oluşturan ikili doğrusal eklem:(ya da (…) Doğruluk
  • karşılıklı koşullu Anaeklemi karşılıklı-koşul eklemi olan bileşik önerme: p q. H AnI.karşılıklı-koşullu önerme.
  • karşılıklı koşullu değillemesi bk. tekil-evetleme.
  • karşılıklı koşullu önerme bk. karşılıklı-koşullu.
  • karşıolum yasaları SaP, SeP, SiP, SoP özne-yüklem önermelerinin arasındaki ilişkileri dile getiren karşıtlık, altkarşıtlık, altıklık, çelişiklik yasaları. (…)
  • kategorik önerme bk. özne-yüklem önermesi,
  • kategorik önermeler mantığı bk. tasımsal mantık.
  • kaziye bk. önerme,
  • kaziye fonksiyonu bk. açık önerme
  • kaziyeler mantığı bk. eklemler mantığı
  • kendi ikil eklem İkillisi kendiyle özdeş olan eklem. || Krş.. ikil eklem. Örn. (…) kendi ikil bir eklemdir.
  • kendi ikil önerme Herhangi bir ikillisi ile eşdeğer olan önerme.|| Krş.. ikil önerme. Örn. pqVqrVpr biçimindeki önermelerkendi ikil önermelerdir.
  • kendini adlandıran deyim Sözeden dilde (tırnak içine alınma gibi herhangi özel bir biçimde yazılmaksızın) kendi adı olarak kullanılan sözedilen dil deyimi. ||kendini adlandıra
  • kendini adlandırma Bir sözedilen dil deyiminin (tırnak içine alınma gibi herhangi özel bir biçimde yazılmaksızın) anılması. || Örn. (…) gibi bir önermede geçen tümel-eve
  • kendini destekleyen önerme Bilgisel-sanısal mantıkta p önermesinin kendini destekleyen bir önerme olması, (…) birim kümesinin savunulmaz bir önerme kümesi olması, başka bir deyi
  • kendiyle çelişik önerme Kendinden bir çelişme türetilebilen önerme. || Anl. dizimsel tutarsız önerme.
  • kendiyle çelişik önerme Bir çelişmeyi içeren önerme. || Anl. yorumsal tutarsız önerme.
  • kendiyle mütenakız kaziye bk. kendiyle çelişik önerme
  • kesişim (…) Anl. arakesit.
  • kesişim imi İki küme adından kesişim kümesinin adını oluşturan,ikili işlev imi: (…)
  • kesişim imi Bir kümeler kümesi adından kesişim kümesinin adını oluşturan birli işlev imi: (…) .
  • kısaltıcı tanım (…) Krş.. tanım imi. Örn. (…)
  • kıyas şekli bk. tasım biçimi
  • kıyas tarzı bk. tasım kalıbı
  • kıyaslar mantığı bk. tasımsal mantık
  • kıymet sabası bk. değer alanı
  • kimi Tikel niceleyicinin Türkçe'deki bir karşılığı.