Anasayfa Kodlamalar Dil Bilgisi Terimleri Bilim Terimleri Teknik Terimler Sanat Terimleri Spor Terimleri Hukuk Terimleri Ekonomi Terimleri Eğitim Terimleri Çevre Terimleri Sağlık Terimleri Sosyal Terimler Yabancı Terimler

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ı ...