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

mantık

1.118 anlam
  • kip değillemesi (…) Eşdeğerliklerini dile getiren kipler mantığı kuralları.
  • kipler mantığı (…) : Anl. gerçelkipler mantığı. 2-Genel yöneticiler mantığı. ||Başka bir biçimde belirtilmediğinde 'kipler mantığı’ deyimi, bu sözlükte "gerçelkipler
  • kipsel almaşıklık bağıntısı Yansımalı olan bir almaşıklık bağıntısı. || Yansımalı kipsel almaşıktık bağıntısına dayanan kipler mantığı dizgesine M ya da T adı verilir.kipsel alma
  • kipsel önerme İçinde en az bir kipsel yönetici bulunan önerme. Krş.. tamkipsel önerme, yinelemelikipsel önerme.
  • kipsel yönetici Zorunluluk ile olanaklılık yöneticisi ya da bunlar yardımyla tanımlanan doğrusal olmayan n-li eklem. Krş.. sıkı gerektirme, sıkı karşılıklı gerektirme
  • kipsel yönetici Genel olarak yönetici. Örn. (…)
  • kipsel yönetilen Kipsel bir yöneticinin ilişkin olduğu yönetilen deyim. || Örn. (…) p biçimindeki bir önermede pkipsel yönetilendir.
  • klasik mantık bk. geleneksel mantık,
  • klasik mantık bk. geleneksel mantık
  • konuşma evreni bk. evren,
  • koşul değillemesi Ancak önbileşeni doğru, artbileşeni yanlış olduğunda doğru olan bir bileşik önermeyi oluşturan ikili doğrusal eklem: =|=>Doğruluk çizelgesi: (…)
  • koşul eklemi Ancak önbileşenidoğru, artbileşeni yanlış olduğunda yanlış olanbir bileşik önermeyi oluşturan ikili doğrusal eklem: (…) Doğruluk çizelgesi:
  • koşullu Anaeklemi koşul eklemi olan bileşik önerme: koşullu önerme.
  • koşullu çevriği p => q biçimindeki koşullu nun çevriği (…) dır.
  • koşullu devriği p => q biçimindeki koşullu nun devriği (…)
  • koşullu eşleniği Bir koşullunun evriği, çevriği ya da devriği.
  • koşullu evriği p=>q biçimindeki koşullu'nun evriği q=>p dir.
  • koşullu önerme bk. koşullu.
  • koşullu tasımlar (i) p=>q, p.'.q (Modus ponens) ile (ii) p => q,(...) q.'. (...)p (Modus tollens) biçimindeki çıkarım kuralları.
  • koşullu türetim (...) (…) biçimindeki bir çıkarımda sonucun öncüllerden çıktığını göstermek üzere, (…) öncüller kümesinden (…) artbileşenini türetme işlemi.
  • koşulsuz önerme bk. özne-yüklem önermesi.
  • kullanımbilim Sözedilen dil deyimleri ile bu dili kullanan kişiler arasındaki ilişkileri konu edinen sözeden kuram.
  • kullanımsal anlam Bildirişmede deyimlerin anlaşılmasını sağlayan belli dilsel davranış yatkınlıkları. || Örn. Türkçe 'mavi' sözcüğününkullanımsal anlamı, bu sözcüğü kul
  • kullanımsal sözeden dil Sözedilen dil deyimleriyle bunları kullanan kişilerden sözetmek üzere, olağan yorumdaki evreni deyimler, anlamlar, kişiler ile bunlara dayalı kümelerd
  • kullanış bağlamı Bir deyimin belli bir kullanılışına ilişkin bağlam.
  • kullanma Bir düzgün deyimin bir nesneyi dile getirmek üzere ele alınması, II Krş.. anma.
  • kurma kuralları Bir biçimsel dilin düzgün deyimlerini belirlemek üzere (i) abece öğesi her ilkel imin dizimsel türünü belirleyen, (ii) dizimsel türleri (…) gibi yönet
  • kurucu değişmez Bir önermenin değişmezi ya da bir önerme kalıbında geçen sözedilen dil değişmezi. | Örn. (…)
  • kurucu öğe K gibi bir küme ya da öbeğin birkurucu öğe'si, K nın öğesi ya da öğesinin öğesi, öğesinin öğesinin öğesi,... olan öğesiz bir nesne, başka bir deyişle
  • kurucu yalın terim T gibi bir yalın terimin özne-yüklem önermelerinden oluşan bir deyimin (önerme ya da çıkarımın)kurucu yalın terimi olması, T nin ya kendisinin ya olum
  • küçük öncül Bir tasımda küçük terimi kapsayan öncül.
  • küçük terim otomatik Bir tasımda, vargının konusu olan terim.
  • küllı mutlak kaziye bk. tümel özne-yüklem önermesi
  • küllı müspet kaziye bk. tümel olumlu önerme
  • küllıleştirici bk. tümel niceleyici
  • küme bölümlemesi Bir kümenin tüketici olarak ikişer ikişer ayrık altkümelere ayrılması.
  • küme değişkeni Değer alanı kümelerden oluşan değişken: K, L, M...
  • küme terimi Olağan yorumda kendisi ya da özellemeleri bir kümeyi gösteren söz edilen dil terimi. || Örn. (…)
  • kümeler kuramı Kümeler ya da genel olarak öbekleri konu edinen bilim dalı.||Krş.. sezgiselkümeler kuramı, ilksavlıkümeler kuramı, yalınç öbekler kuramı.
  • kümeler kümesi Her öğesi bir küme olan küme. || Örn. {{1,2}, {2,3}, {1,2,3}} kümesi, {1,2}, {2,3}, {1,2,3} kümelerinden oluşan birkümeler kümesidir.
  • kümesel sayı kuramı Doğal sayıların küme olarak tanımına dayanan biçimsel sayı kuramı. ||kümesel sayı kuramında genellikle sıfır sayısı (…) biçiminde, ardıl işlevi de n'
  • lazım şart bk. gerekli koşul
  • lazım ve kafi şart bk. gerekli-yeterli koşul
  • mantık dizgesi Geçerli mantıksal dizgelerin ortak yapısını belirleyen mantıksal değişmezler, düzgün deyim dizimsel türleri, bir de çıkarım kurallarından oluşan dizge
  • mantık kuralı İçerme kuralı ya da eşdeğerlik kuralı.
  • mantık yasası Boş içerenli içerme kuralı ya da başka bir deyişle geçerliliği kanıtlanmış olan önerme kalıbı. || Krş.. mantık ilkesi. Örn. (…)
  • mantıkça doğru önerme Geçerli önerme.
  • 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
  • mantıkça yanlış önerme Tutarsız önerme.
  • mantıkı hasıl ı zarb bk. tümel-evetleme eklemi