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

mantık

1.118 anlam
  • bütün Tümel niceleyicinin Türkçe'deki bir karşılığı.
  • bütünsel izerge K kümesinden L kümesine kurulan birbütünsel izerge, K nın bir bölümünden değil de K nın bütününden L ye kurulan bir izerge demektir,|| Anl. izerge. Kr
  • bütünsel sayısal izerge Önalanı doğal sayılardan oluşan bütün sıralanmış n-li dizgelerin kümesi olan sayısal izerge.
  • bütünsel yönetici (…) Krş.. zorunluluk yöneticisi, bilme yöneticisi, sanma yöneticisi, ödev yöneticisi, hepolmuş yöneticisi, hepolacak yöneticisi.
  • büyük öncül Bir tasımda büyük terimi kapsayan öncül.
  • büyük terim otomatik Kapsamı daha geniş olan son uç önermesinin yüklemi görevini taşıyan terim.
  • cümleler nazariyesi bk. kümeler kuramı
  • cüzı menfi kaziye bk. tikel olumsuz önerme
  • cüzı mutlak kaziye bk. tikel özne-yüklem önermesi
  • cüzı müsbet kaziye bk. tikel olumlu önerme
  • cüzıleştirici bk. tikel niceleyici
  • cüzıleştirme işareti bk. tikel niceleme imi
  • çağdaş mantık Boole ve Frege'yle başlayıp, White-head-Russell i!e önemli bir aşama yapıp biçimsel dizgelerin incelenmesine ağırlık veren mantık çalışmalarına günümü
  • çatal açma kuralları bkz. çözümleme kuralları.
  • çekirdek açık önerme (…) . || Krş.. birliçekirdek açık önerme.
  • çelişik önermeler Biri öbürünün değillemesi durumunda olan iki önerme.
  • çelişiklik yasaları (…) . Krş. karşıolum yasaları.
  • çelişirlik eklemi (…) || Krş. sıfırlıçelişirlik eklemi, birliçelişirlik eklemi, ikiliçelişirlik eklemi.
  • çelişme türetimi bkz. dolaylı türetim.
  • çelişmezlik ilkesi (…) biçimindeki önermelerin geçerliliğini dile getiren mantık ilkesi.
  • çı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,
  • çıkarım kalıbı (…) || Krş.. çıkarım, çıkarım kuralı, geçerliçıkarım kalıbı, geçersizçıkarım kalıbı, kalıp örneği.
  • çıkarım kuralı (…) || Krş.. ilkelçıkarım kuralı, türetilmişçıkarım kuralı, geçerli çıkarım kuralları kümesi,çıkarım kuralı örneği, ilkçıkarım kuralı, türetilmişçıkar
  • çıkarım kuralı örneği Bir çıkarım kuralının ilişkin olduğu çıkarım kalıbının (kuralın öngördüğü koşulu yerine getiren) herhangi bir örneği. || Örn. (…)
  • çıkarım sonucu (…) || Anl. vargı.
  • çıkış kuralı (…) Krş.. ayırma kuralı, çifte değilleme, niceleyici değillemesi, tümel özelleme kuralı, tikel özelleme kuralı, zorunlulukçıkış kuralı.
  • çiftgerektirme bk. karşılıklı koşul eklemi.
  • çoğabir bağıntı ß bağıntısının K kümesinde çoğabir olması, her x, y, z için ile ß bağıntısının içinde olduğunda y = z olması demektir.
  • çok bileşenle tikel evetleme bkz. tikel-evetleme.
  • çok bileşenli tümel evetleme bkz. tümel-evetleme,
  • çok çeşitli dil Birden çok sayıda değişken çeşidi olan biçimsel bir dil || Örn. Ad, önerme, yüklem, işlev simgeleri gibi birden çok sayıda değişken çeşidi olan bir di
  • çok çeşitli mantık Birden çok sayıda değişken çeşidi olan mantık dizgesi.
  • çok değerli doğrusal eklem İkiden çok sayıda doğruluk değeri alabilen bileşik önermeler oluşturan doğrusal eklem.
  • çok değerli mantık İkiden çok doğruluk değerine yer veren mantık dizgesi. || Örn. (…)
  • çoklu öznitelik bkz. içlemsel bağıntı.
  • çoklu tasım Öncül sayısı ikiden çok olan tasımsal çıkarım.
  • çoklu yüklemler mantığı En az bir çoklu yüklem türünü kapsayan yüklemler mantığı bölümü.
  • çözümleme kuralları Çözümleyici çizelgeyi kurmak üzere bileşik önermeleri bileşenlerine çözümleme biçimini belirleyen kurallar.Altalta yazma kuralları: (…)
  • çözümleyici çizelge Belli bir mantık dizgesine ilişkin başlangıç önermesi denilen K gibi sonlu bir önerme kümesi verildiğinde: (i) K kümesince üretilen sonlu çözümleyici
  • çö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çö
  • dağılma özelliği bk. dağıtıcılık.
  • dağıtılmamış terim Bir özne-yüklem önermesinin bir teriminin dağıtılmamış olması, bu terimin özne-yüklem önermesinin yasal biçiminde olumsuzlamalı olarak geçmemesi demek
  • dağıtılmış terim Bir özne-yüklem önermesinin bir teriminin dağıtılmış olması, bu terimin özne-yüklem önermesinin yasal biçiminde olumsuzlamalı olarak geçmesi demektir.
  • dava bk. kanıtsav
  • değer adı Sözedilen dil değişken değerlerinin yorumsal dildeki adı.
  • değer alanı Bir değişkenin belli bir yorumda kazanıp, bu değişkenin yerine geçtiği adların gösterdiği dildışı nesnelerden oluşan küme.
  • değer dizisi (…) gibi bir değişken dizisinin birer değerinden oluşan evren öğeleri dizisi.
  • değilleme eklemi Doğru bir önermeden yanlış bir önermeyi, yanlış bir önermeden de doğru bir önermeyi oluşturan doğrusal birli eklem. ||değilleme eklemi (…)
  • değilleme önermesi Anaeklemi değilleme olan bileşik önerme: (…)
  • değillemeli geçişli bağıntı ß bağıntısının K. kümesinde değillemeli-geçişli olması (…) . || Her değillemeli-geçişli bakışımsız bağıntı geçişlidir.