Dil Bilgisi Terimleri Sözlükleri
Bilim Terimleri Sözlükleri
Teknik Terimler Sözlükleri
Sanat Terimleri Sözlükleri
Spor Terimleri Sözlükleri
Hukuk Terimleri Sözlükleri
Ekonomi Terimleri Sözlükleri
Eğitim Terimleri Sözlükleri
Çevre Terimleri Sözlükleri
Sağlık Terimleri Sözlükleri
Sosyal Terimler Sözlükleri
Sarı Sayfalar
TDK Mantık Terimleri Sözlüğü (K)
K - 1. Sayfa
- kaba simgeleştirme :
- Bakınız: simgeleştirme kabalığı
- kalıp :
- Sözedilen dilin belli bir deyiminin ya da belli bir türden olan b ...
- kalıp örneği :
- Bir kalıbın tüm değişkenlerinin birer değerleriyle değiştirimi so ...
- kanıtlama :
- Bir biçimsel dizgede belli bir önermeyi ilksavlar kümesinden türe ...
- kanıtlama kuramı :
- Biçimsel dizgelerde kanıtlamayı konu edinen dizimbilim dalı.
- kanıtlanım :
- Bir biçimsel dizgede belli bir önermenin, ilksavlar kümesinden tü ...
- kanıtlanır çıkarım :
- Sonucu öncüllerinden türetilebilen çıkarım.
- kanıtsav :
- İlksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle i ...
- kanıtsav kalıbı :
- Her örneği, sözedilen dilde kanıtsav durumunda olan bir önerme ka ...
- kapalı deyim :
- Hiç bir bağsız değişkeni olmayan düzgün deyim.
- kapalı önerme :
- İçinde hiç biri bağsız değişken geçmeyen düzgün tamdeyim. || Anl. ...
- kapalı tamdeyim :
- Hiç bir bağsız değişkeni olmayan tamdeyim.|| Anl. önerme.
- kapalı terim :
- Bağsız değişkeni olmayan terim ad.
- kapalı yol :
- Çözümleyici çizelgede, bir çelişmeyi kapsayıp ortak doğrulayıcı y ...
- kapanış :
- (?) Krş.. mantıksal kapanış, tümel kapanış, yöneten deyim kapanış ...
- kaplam :
- 1. Bir düzgün deyimin dile getirdiği nesne ya da nesneler kümesi. ...
- kaplam belirlenimi :
- (?) || Örn. Bir n-li açık önermenin belirlediği kaplam, bu açık ö ...
- kaplam belirlenimi imi :
- (?) biçimindeki bir düzgün deyimden, bu deyimce belirlenen kaplam ...
- kaplam imi :
- A gibi bir düzgün deyimden, bu deyimin kaplamını gösteren kp(A) d ...
- kaplam izergesi :
- (?) || Krş.. im yorumlayıcı izerge, içlem izergesi.
- kaplamdaş deyimler :
- Kaplamları aynı olan düzgün deyimler.
- kaplamsal anlam :
- Bakınız: kaplam
- kaplamsal bağıntı :
- Sıralanmış n-li dizgelerden (?) oluşan küme ya da bu kümenin ayır ...
- kaplamsal deyim :
- 1. A deyiminin B gibi bir altdeyiminin belli bir geçişine göre ka ...
- kaplamsal izerge :
- Evren öğelerinden oluşan sıralanmış n-li dizgeler kümesinden evre ...
- kaplamsal izerge soyutlayıcısı :
- (?) Krş.. birey soyutlayıcısı.
-
- kaplamsal nesne :
- a (ad kaplamı) türünden bir kaplamsal nesne, evren öğesi bir bire ...
- kaplamsal yorumlanmış dil :
- Tüm düzgün deyimleri kaplamsal olan yorumlanmış dil. || Böyle bir ...
- kaplamsallık ilksavı :
- Öğeleri aynı olan kümelerin eşit olduğunu dile getiren ilksav.
- kapsam :
- Bakınız: kaplam
- kararlar mantığı :
- Belli yeğlemeleri olan kişilerin belli durumlarda seçecekleri en ...
- 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ığı dizge ...
- karşı örnek :
- 1. Yanlışlayıcı yorum. 2. Geçersiz kılıcı yorum.
- karşılıklı-koşul eklemi :
- Ancak anabileşenlerinin aynı doğruluk değerini taşıması durumunda ...
- karşılıklı-koşullu :
- Anaeklemi karşılıklı-koşul eklemi olan bileşik önerme: p q. H An ...
- karşılıklı-koşullu değillemesi :
- Bakınız: tekil-evetleme
- karşılıklı-koşullu önerme :
- Bakınız: karşılıklı-koşullu
- karşıolum yasaları :
- SaP, SeP, SiP, SoP özne-yüklem önermelerinin arasındaki ilişkiler ...
- karşıtlık yasası :
- (?) biçimindeki önermelerin gevşek geçerli olduğunu dile getiren ...
- kategorik önerme :
- Bakınız: özne-yüklem önermesi
- kategorik önermeler mantığı :
- Bakınız: tasımsal mantık
- kavram :
- 1. içlemsel nesne, 2. Bir ad, yüklem ya da işlevin içlemi.
- kendi ikil eklem :
- İkillisi kendiyle özdeş olan eklem. || Krş.. ikil eklem. Örn. (?) ...
- kendi ikil önerme :
- Herhangi bir ikillisi ile eşdeğer olan önerme.|| Krş.. ikil önerm ...
- kendini adlandıran deyim :
- Sözeden dilde (tırnak içine alınma gibi herhangi özel bir biçimde ...
- kendini adlandırma :
- Bir sözedilen dil deyiminin (tırnak içine alınma gibi herhangi öz ...
- kendini destekleyen önerme :
- Bilgisel-sanısal mantıkta p önermesinin kendini destekleyen bir ö ...
-
- kendiyle çelişik önerme :
- 1. Kendinden bir çelişme türetilebilen önerme. || Anl. dizimsel t ...
- kesişim :
- (?) Anl. ara kesit.
- kesişim imi :
- 1. İki küme adından kesişim kümesinin adını oluşturan,ikili işlev ...
- kısaltıcı tanım :
- (?) Krş.. tanım imi. Örn. (?)
- kimi: :
- Tikel niceleyicinin Türkçe'deki bir karşılığı.
- kip değillemesi :
- (?) Eşdeğerliklerini dile getiren kipler mantığı kuralları.
- kipler mantığı :
- (?) : Anl. gerçel kipler mantığı. 2-Genel yöneticiler mantığı. || ...
- kipsel almaşıklık bağıntısı :
- Yansımalı olan bir almaşıklık bağıntısı. || Yansımalı kipsel alma ...
- kipsel önerme :
- İçinde en az bir kipsel yönetici bulunan önerme. Krş.. tam kipsel ...
- kipsel yönetici :
- 1. Zorunluluk ile olanaklılık yöneticisi ya da bunlar yardımyla t ...
- kipsel yönetilen :
- Kipsel bir yöneticinin ilişkin olduğu yönetilen deyim. || Örn. (? ...
- klasik mantık :
- Bakınız: geleneksel mantık
- konuşma evreni :
- Bakınız: Evren
- konut :
- Bakınız: koyut
- koşaç :
- Özne-yüklem önermesinde özne ile yüklemi birbirine bağlayan 'dır' ...
- koşul değillemesi :
- Ancak önbileşeni doğru, artbileşeni yanlış olduğunda doğru olan b ...
- koşul eklemi :
- Ancak önbileşenidoğru, artbileşeni yanlış olduğunda yanlış olanbi ...
- koşullu :
- Anaeklemi koşul eklemi olan bileşik önerme: (?) .|| Anl. koşullu ...
- 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 :
- Bakınız: koşullu
- koşullu tasımlar :
- (i) p=>q, p.'.q (Modus ponens) ile (ii) p => q,(...) q.'. (...)p ...
- koşullu türetim :
- (...) (?) biçimindeki bir çıkarımda sonucun öncüllerden çıktığını ...
-
- koşulsuz önerme :
- Bakınız: özne-yüklem önermesi
- koşulsuz yargı :
- Geleneksel mantıkta özne yüklem önermesinin dile getirdiği yargı.
- koyut :
- Mantıksal olmayan ilksav.Krş.. anlam koyutu.
- kullanımbilim :
- Sözedilen dil deyimleri ile bu dili kullanan kişiler arasındaki i ...
- kullanımsal anlam :
- Bildirişmede deyimlerin anlaşılmasını sağlayan belli dilsel davra ...
- kullanımsal bağlam :
- Bağlam 2.
- kullanımsal sözeden dil :
- Sözedilen dil deyimleriyle bunları kullanan kişilerden sözetmek ü ...
- 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ı, ...
- kural :
- bk. çıkarım kuralı, mantık kuralı
- kuram :
- Geçerli bir mantıksal dizge ile bu dizgedeki mantıkça kapalı bir ...
- kurma kuralları :
- Bir biçimsel dilin düzgün deyimlerini belirlemek üzere (i) abece ...
- kurucu değişmez :
- Bir önermenin değişmezi ya da bir önerme kalıbında geçen sözedile ...
- kurucu öğe :
- K gibi bir küme ya da öbeğin bir kurucu öğe'si, K nın öğesi ya da ...
- kurucu yalın terim :
- T gibi bir yalın terimin özne-yüklem önermelerinden oluşan bir de ...
- küçük öncül :
- Bir tasımda küçük terimi kapsayan öncül.
- küçük terim :
- Bir tasımda sonucun öznesi olan terim.
- küme bölümlemesi :
- Bir kümenin tüketici olarak ikişer ikişer ayrık altkümelere ayrıl ...
- 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 ...
- kümeler kuramı :
- Kümeler ya da genel olarak öbekleri konu edinen bilim dalı.||Krş. ...
- kümeler kümesi :
- Her öğesi bir küme olan küme. || Örn. {{1,2}, {2,3}, {1,2,3}} küm ...
- kümesel sayı kuramı :
- Doğal sayıların küme olarak tanımına dayanan biçimsel sayı kuramı ...