| 511 | kanıtsav | İlksavlı bir biçimsel dizgede kanıtlanabilen, başka bir deyişle ilksavlardan çıkarım kuralları yardımıyla türetilebilen tamdeyim. || Temel mantıklı bir biçimsel dizgenin kanıtsavları yinelgen sayılabilir olan bir küme oluşturur. |
| 512 | kanıtsav kalıbı | Her örneği, sözedilen dilde kanıtsav durumunda olan bir önerme kalıbı.|| Örn. (
) kümeler kuramının bir kanıtsav kalıbıdır. |
| 513 | kapalı deyim | Hiç bir bağsız değişkeni olmayan düzgün deyim. |
| 514 | kapalı önerme | İçinde hiç biri bağsız değişken geçmeyen düzgün tamdeyim. || Anl. önerme,kapalı tamdeyim, bildirsel tümce. |
| 515 | kapalı tamdeyim | Hiç bir bağsız değişkeni olmayan tamdeyim.|| Anl. önerme. |
| 516 | kapalı terim | Bağsız değişkeni olmayan terim ad. |
| 517 | kapalı yol | Çözümleyici çizelgede, bir çelişmeyi kapsayıp ortak doğrulayıcı yorumu (doğrulamı) olmayan önermelerden oluşan yol. |
| 518 | kapanış | (
) Krş.. mantıksal kapanış, tümel kapanış, yöneten deyim kapanışı. |
| 519 | kaplam | 1. Bir düzgün deyimin dile getirdiği nesne ya da nesneler kümesi. 2. A düzgün deyiminin (
) , yorumundaki kaplamı, (
) gereği (
) gerçek tamdurumunda kazandığı olanaklı kaplam (
) dır. || Anl. gerçek kaplam, kaplamsal anlam. Krş.. kaplam izergesi, kaplam belirlenimi, kaplamsal bağıntı, kaplamsal nesne, kaplamsal deyim, uygulama 2, içlem. Örn. Adın kaplamı gösterdiği birey, önermenin kaplamı doğruluk değeri, n-li eklemin kaplamı bir n-li kaplamsal doğruluk izergesi, n-li yüklemin kaplamı bir n-li kaplamsal bağıntı, n-li işlevin kaplamı da bir n-li kaplamsal izergedir. |
| 520 | kaplam belirlenimi | (
) || Örn. Bir n-li açık önermenin belirlediği kaplam, bu açık önermeyi gerçekleyen sıralanmış n-li dizgelerden oluşan bağıntıdır. |
| 521 | kaplam belirlenimi imi | (
) biçimindeki bir düzgün deyimden, bu deyimce belirlenen kaplamı gösteren bkp(
) deyimini oluşturan, yorumsal sözeden dildeki 'bkp birli işlev imi. |
| 522 | kaplam imi | A gibi bir düzgün deyimden, bu deyimin kaplamını gösteren kp(A) deyimini oluşturan, yorumsal sözeden dildeki 'kp' birli İşlev imi. |
| 523 | kaplam izergesi | (
) || Krş.. im yorumlayıcı izerge, içlem izergesi. |
| 524 | kaplamdaş deyimler | Kaplamları aynı olan düzgün deyimler. |
| 525 | kaplamsal anlam | bk. kaplam. |
| 526 | kaplamsal bağıntı | Sıralanmış n-li dizgelerden (
) oluşan küme ya da bu kümenin ayırt edici izergesi. ||'n-li bağıntı'terimi başka biçimde belirtilmediğinde "n-li kaplamsal bağıntı" anlamında kullanılır. Örn. (
) yükleminin kaplamı, (
) n-li kaplamsal bağıntısıdır. |
| 527 | kaplamsal deyim | 1. A deyiminin B gibi bir altdeyiminin belli bir geçişine göre kaplamsal deyim olması, B ile kaplamdaş olan her C deyimi için, A ile A içinde B yerine C koymakla elde edilen deyimin kaplamdaş olması demektir. 2. A deyiminin kaplamsal olması A nın tüm altdeyimlerinin bütün geçişlerine göre kaplamsal olması demektir. || Örn. (
) |
| 528 | kaplamsal izerge | Evren öğelerinden oluşan sıralanmış n-li dizgeler kümesinden evrene kurulan izerge. ||'n-li izerge' terimi başka biçimde belirtilmediğinde "n-li kaplamsal izerge" anlamında kullanılır. Örn. (
) |
| 529 | kaplamsal izerge soyutlayıcısı | (
) Krş.. birey soyutlayıcısı. |
| 530 | kaplamsal nesne | a (ad kaplamı) türünden bir kaplamsal nesne, evren öğesi bir birey p (önerme kaplamı) türünden bir kaplamsal nesne, bir doğruluk değeri (
) türünden bir kaplamsal nesne de (
) türünden nesnelerden oluşan sıralanmış n-li dizgeler kümesinden (
) türünden nesneler kümesine kurulan bir izergedir. || Krş.. kaplam izergesi, içlemsel nesne. Örn. (
) |
| 531 | kaplamsal yorumlanmış dil | Tüm düzgün deyimleri kaplamsal olan yorumlanmış dil. || Böyle bir dilde (...) deyimi, anayöneteni B kapalı deyimi olan kapalı bir deyim ise, (
) Örn. Temel mantıklı dil kaplamsal olup, kipler mantığına dayanan bir dil ise kaplamsal değildir. |
| 532 | kaplamsallık ilksavı | Öğeleri aynı olan kümelerin eşit olduğunu dile getiren ilksav. |
| 533 | kapsam | bk. kaplam. |
| 534 | kararlar mantığı | Belli yeğlemeleri olan kişilerin belli durumlarda seçecekleri en elverişli davranış biçimlerini belirleyen kuralları konu edinen mantık dalı. |
| 535 | karmaşık deyim | Birden çok sayıda imden oluşan deyim. |
| 536 | karmaşık terim | Birden çok sayıda imden oluşan terim.|| Örn. 2+3, 2x+3y5. |
| 537 | karmaşık yapıcı ikilem | (
) biçimindeki çıkarım kuralı. |
| 538 | karmaşık yıkıcı ikilem | (
) biçimindeki çıkarım kuralı. |
| 539 | karmaşık yöneticiler mantığı | Birden çok sayıda ilkel yöneticisi olan yöneticiler mantığı dizgesi. || Örn. Bilgisel ile sanısal yöneticileri ya da kipsel ile ödevsel yöneticileri olan mantık dizgeleri. |
| 540 | karşı örnek | 1. Yanlışlayıcı yorum. 2. Geçersiz kılıcı yorum. |