| 541 | 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 çizelgesi: (
) |
| 542 | 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. |
| 543 | karşılıklı-koşullu değillemesi | bk. tekil-evetleme. |
| 544 | karşılıklı-koşullu önerme | bk. karşılıklı-koşullu. |
| 545 | karşıolum yasaları | SaP, SeP, SiP, SoP özne-yüklem önermelerinin arasındaki ilişkileri dile getiren karşıtlık, alt karşıtlık, altıklık, çelişiklik yasaları. (
) |
| 546 | karşıtlık yasası | (
) biçimindeki önermelerin gevşek geçerli olduğunu dile getiren yasa. Krş.. karşıolum yasaları. |
| 547 | kategorik önerme | bk. özne-yüklem önermesi, |
| 548 | kategorik önermeler mantığı | bk. tasımsal mantık. |
| 549 | kavram | 1. içlemsel nesne, 2. Bir ad, yüklem ya da işlevin içlemi. |
| 550 | kendi ikil eklem | İkillisi kendiyle özdeş olan eklem. || Krş.. ikil eklem. Örn. (
) kendi ikil bir eklemdir. |
| 551 | kendi ikil önerme | Herhangi bir ikillisi ile eşdeğer olan önerme.|| Krş.. ikil önerme. Örn. pqVqrVpr biçimindeki önermeler kendi ikil önermelerdir. |
| 552 | 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ıran deyim, sözedilen dildeki türü ne olursa olsun, sözeden dilde bir ad sayılmalıdır. |
| 553 | 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-evetleme İmi kendini adlandırmaktadır. |
| 554 | 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şle p önermesinin bilgisel-sanısal mantıkta geçerli olması demektir. |
| 555 | kendiyle çelişik önerme | 1. Kendinden bir çelişme türetilebilen önerme. || Anl. dizimsel tutarsız önerme. 2. Bir çelişmeyi içeren önerme. || Anl. yorumsal tutarsız önerme. |
| 556 | kesişim | (
) Anl. ara kesit. |
| 557 | kesişim imi | 1. İki küme adından kesişim kümesinin adını oluşturan,ikili işlev imi: (
) 2. Bir kümeler kümesi adından kesişim kümesinin adını oluşturan birli işlev imi: (
) . |
| 558 | kısaltıcı tanım | (
) Krş.. tanım imi. Örn. (
) |
| 559 | kimi: | Tikel niceleyicinin Türkçe'deki bir karşılığı. |
| 560 | kip değillemesi | (
) Eşdeğerliklerini dile getiren kipler mantığı kuralları. |
| 561 | kipler mantığı | (
) : Anl. gerçel kipler mantığı. 2-Genel yöneticiler mantığı. ||Başka bir biçimde belirtilmediğinde 'kipler mantığı deyimi, bu sözlükte "gerçel kipler mantığı" anlamında kullanılır. Krş.. karmaşık yöneticiler mantığı. |
| 562 | 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şıklık bağıntısı geçişli ise elde edilen kipler mantığı dizgesine (
) yansımalı, geçişli, bakışımlı ise (
) adı verilir. |
| 563 | kipsel önerme | İçinde en az bir kipsel yönetici bulunan önerme. Krş.. tam kipsel önerme, yinelemeli kipsel önerme. |
| 564 | kipsel yönetici | 1. 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, olanaksızlık yöneticisi, birlikte olanaklilik yöneticisi Örn. ?, . 2. Genel olarak yönetici. Örn. (
) |
| 565 | kipsel yönetilen | Kipsel bir yöneticinin ilişkin olduğu yönetilen deyim. || Örn. (
) p biçimindeki bir önermede p kipsel yönetilendir. |
| 566 | klasik mantık | bk. geleneksel mantık, |
| 567 | konuşma evreni | bk. evren, |
| 568 | konut | bk. koyut. |
| 569 | koşaç | Özne-yüklem önermesinde özne ile yüklemi birbirine bağlayan 'dır' ('dırlar') ya da 'değildir* ('değildirler') biçimindeki deyim. |
| 570 | 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: (
) |