| 841 | süreler mantığı | Temel mantığa süresel yöneticileri katmakla oluşturulan genleşmiş mantık dizgesi.|| Om olmuş, Oc olacak, Hom hep olmuş, Hoc hepolacak yöneticileri olduğunda, başlıca süresel mantık kuralları şöyledir: (
) biçimindeki önermelerin geçerliliğini dile getiren kurallar. |
| 842 | süresel yönetici | Olmuş ile olacak yöneticisi ya da bunlar yardımıyla tanımlanan doğrusal olmayan n-li eklem. Krş.. hepolmuş yöneticisi, hepolacak yöneticisi. |
| 843 | tambağımsız önerme | p önermesinin K önerme kümesinden tambağımsız olması, K nın her gerçekleşebilir değerlemesinde p nin doğru değerini de yanlış değerini de alabilmesi demektir. || p nin, K dan tambağımsızlığının gerekli-yeterli koşulu, K U {p} nın öğelerinin tambağımsız olmasıdır. |
| 844 | tambağımsız önermeler | Bütün değerlemeleri gerçekleşebilir olan önerme kümesi. |
| 845 | tamçevirme | (
) || Örn. 'Bütün insanlar ölümlüdür' önermesinden tamçevirme ile 'Kimi insan olmayan ölümlü olmayandır' önermesi elde edilir. |
| 846 | tamçevrik | (
) ||Örn. 'Bütün insanlar ölümlüdür' önermesinin bir tamçevriği 'Kimi insan olmayan ölümlü olmayandır' önermesidir. |
| 847 | tamdevirme | (
) || Örn. 'Bütün insanlar ölümlüdür' önermesinden tamdevirme ile 'Bütün ölümlü olmayanlar insan olmayandır' önermesi elde edilir. |
| 848 | tamdevrik | (
) Örn. 'Bütün insanlar ölümlüdür' önermesinin tamdevriği 'Bütün ölümlü olmayanlar insan olmayandır' önermesidir. |
| 849 | tamdeyim | (
) . Anl. düzgün tamdeyim. Krş.. tekil tamdeyim, genel tamdeyim, açık tamdeyim, kapalı tamdeyim. |
| 850 | tamdeyimsel değişken bağlama imi | Belli sayıda değişkene uygulandığında bir tamdeyimden bir önerme oluşturan değişken bağlama imi dizimsel türü: (
) |
| 851 | tamdurum | Biçimsel bir dilin bütün önermelerinin doğruluk değerini belirleyen olanaklı ya da tasarlanabilen dildışı karşılık. || Bir yorumdaki olanaklı tamdurumlardan ikisi bir arada gerçek olamaz, ama içlerinden birinin gerçek olması zorunludur. |
| 852 | tamdurumda varolan birey | (
) gibi gerçek ya da gerçek olmayan bir tamdurumda varolan birey (...)nun evreni olan (...) kümesinin herhangi bir öğesi demektir. |
| 853 | tameşleme | K ile L kümeleri arasındaki bir tameşleme, önalanı K, artalanı da L olan birebir izerge demektir. |
| 854 | tamindirgeme | Bir önermeyi eşdeğeri olan tamindirgenmiş bir önermeye dönüştürme işlemi. |
| 855 | tamindirgenmiş önerme | Değillenmiş bileşik bileşeni bulunmayan indirgenmiş önerme. || Örn. (
) |
| 856 | tamkipsel önerme | İçinde geçen her çekirdek önerme, bir kipsel yönetilenin altdeyimi olan önerme. || Örn. (
) |
| 857 | tamsıralama | Yansımalı, tersbakışımlı, geçişli, bağlaşık bağıntı.|| Anl. yalın sıralama. Krş.. sıkı tamsıralama. Örn. (
) |
| 858 | tanım | 1. Genel olarak: Bir deyimin anlamının, eksiksiz olarak dille ya da dilsel olmayan davranışlarla belirlenmesi. 2. Özel olarak: Belirtik tanım. || Tek başına 'tanım' terimi (başka biçimde belirtilmediğinde) mantıkta "belirtik tanım" anlamında kullanılır. Krş.. dilsel tanım, dilsel olmayan tanım, belirtik tanım, örtük tanım, yorumsal tanım. |
| 859 | tanım imi | (
) |
| 860 | tanım kalıbı | Örneklerinin kümesi bir dilsel tanımı oluşturan kalıp. || Örn. (
) |
| 861 | tanımlama | 1. Bir deyimin tanımını verme işlemi. 2-Bir deyiminbelirtik tanımını verme işlemi. |
| 862 | tanımlama kuramı | Tanımları konu edinen mantık dalı. |
| 863 | tanımlanabilme | Anlamları önceden bilinen deyimlerden birisinin anlamının, öbürlerinin anlamına bağlı olarak belirlenmesi. || (
) |
| 864 | tanımlanan | (
) |
| 865 | tanımlayan | (
) |
| 866 | tanımsal genleşme | Bir biçimsel dizgenin abecesine bir ya da birden çok tanımlanmış imi katarak bu imlerin belirtik tanımlarını da bu dizgeye ilksav olarak katmakla elde edilen genleşmiş biçimsel dizge. |
| 867 | tanımsal kısaltma | İlkel imlerden oluşan bir düzgün deyimde tanımlayanlar yerine tanımlananlarını koymakla elde edilen kısaltılmış deyim. || (
) |
| 868 | tanıt | bk. kanıtlanım. |
| 869 | tanıtlama | bk. kanıtlama, kanıtlanım. |
| 870 | tasım | 1. İki öncüllü tasımsal çıkarım. Krş.. yalın tasım, yalın tasım biçimleri, yalın tasım kalıbı. ||Örn. "Bütün kediler memelidir, bütün memeliler omurgalıdır, öyleyse bütün kediler omurgalıdır." 2. Tasım 1, çoklu tasım, koşullu tasım, ayrık tasım gibi çıkarımların ortak adı. |