| 871 | tasım biçimi | Orta terimi ayrı yerlerde olan tasımların ortak genel kalıbı. || Krş.. yalın tasım biçimleri. |
| 872 | tasım kalıbı | Örnekleri tasım olan kalıp. |
| 873 | tasımsal çıkarım | (
) || Krş.. tasım, çoklu tasım, dolaysız tasım, sıfırlı tasımsal çıkarım, yalın tasım, eksiltili tasımsal çıkarım, terstasım. |
| 874 | tasımsal çıkarım genel kalıbı | Örnekleri tasımsal çıkarım olup özne-yüklem önermesi genel kalıplarından oluşan çıkarım kalıbı. || (
) |
| 875 | tasımsal mantık | Özne-yüklem önermeleri arasındaki bağıntıları özellikle karşıolum yasaları ile tasımsal çıkarımları konu edinen geleneksel mantık dalı. || Tasımsal mantığın başlıca (sıkı ya da gevşek geçerli) yasaları ile tasımsal çıkarım kuralları şöyledir: (
) |
| 876 | tasımsal önerme | Özne-yüklem önermesi ya da yalınç bileşenleri birer özne-yüklem önermesi olan bileşik önerme. || Örn. (
)SaP . Krş.. sıfırlı tasımsal çıkarım. |
| 877 | tekbaşına anlamlı deyim | Yöneten olmayıp yalnızca yönetilen olan, başka bir deyişle temel dizimsel türden olan kapalı deyim. ||Önermelerle adlar tekbaşına anlamlı deyimlerdir, Krş.. birlikte anlamlı deyim. |
| 878 | tekçeşitli dili | Yalnız bir çeşit değişkeni olan biçimsel dil. || Örn. Değişkenleri yalnız x, y, z... bireysel değişkenlerinden oluşan temel mantıklı biçimsel dil tekçeşitlidir, |
| 879 | tekdüzenli birli açık önerme | Birli çekirdek açık önerme ya da yalınç bileşenleri birli çekirdek açık önermeler olan birli açık önerme. |
| 880 | tekil betim | bk. betim. |
| 881 | tekil evetleme | Ancak ana bileşenleri ayrı doğruluk değerinde olduğunda doğru olan bir bileşik önermeyi oluşturan doğrusal ikili eklem: (
) Doğruluk çizelgesi: |
| 882 | tekil önerme | İçinde hiç bir niceleyici geçmeyen önerme. || Anl. nicelenmemiş önerme. |
| 883 | tekil tamdeyim | İçinde hiç bir niceleyici geçmeyen tamdeyim. |
| 884 | tekil terim | Ad ya da açık terim. || Temel mantıkta: (i) her ad değişmezi tekil terimdir (ii) her değişken tekil terimdir (iii) (
) tekil terimler olup (...) n-li işlev ise(...) tekil terimdir (iv) her tekil terim (i), (ii), (İii) kuralları gereği oluşturulabilir. |
| 885 | tekkuvvet özelliği | bk. denkgüçlü eklem, |
| 886 | tekyapılı kuram | Mantıkça kapalı önerme kümesinin tüm doğrulamları birbiriyle biçimdeş yapılar olan kuram. |
| 887 | temel dizimsel tür | Bir dilin bütün dizimsel türlerini kurmaya yarayan salt yönetilen deyim türleri. || Temel mantık dilinin temel dizimsel türleri, ad (a) ile önerme (p) türlerinden oluşur. Krş.. tekbaşına anlamlı deyim. |
| 888 | temel doğruluk çizelgesi | Doğrusal bir eklemin yorumunu belirleyen doğruluk çizelgesi. |
| 889 | temel mantık | Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik değişkenleri bireysel değişken mantıksal olmayan değişmez türleri ad, yüklem ile işlev olan mantık dizgesi. Krş.. eklemler mantığı, yüklemler mantığı, niceleme mantığı, yalınç eşitlik mantığı, yüksek basamak mantığı, felsefe mantığı. |
| 890 | temel mantıklı biçimsel dil | Mantıksal değişmezleri eklemler, niceleyiciler ile eşitlik mantıksal olmayan değişmez türleri ad, yüklem, işlev, değişkenleri de bireysel değişken olan biçimsel dil. |
| 891 | temel mantıklı çözümleyici küme | (
) Krş.. seçici üretilen çözümleyici küme, yöneticiler mantığı çözümleyici kümesi. |
| 892 | temel mantıklı dil | Mantıksal değişmezleri eklemler, niceleyiciler, eşitlik değişkenleri tek çeşitli bireysel değişkenler düzgün deyimleri de ad, önerme, yüklem, işlev dizimsel türlerinden olan biçimsel dil. |
| 893 | temel mantıklı kuram | Temel mantıklı bir biçimsel dil ile temel mantığın geçerli çıkarım kurallarına dayanan kuram. ||Örn. temel mantıklı sayı kuramı. |
| 894 | temel mantıklı sayı kuramı | Doğal saysların toplamı ile çarpımına ilişkin kanıtsavları türetmeğe yarayan temel mantıklı kuram. || Örn. Özel değişmezleri bir ad değişmezi (0), bir birli işlev ('), iki ikili işlev (+,.) özel ilksav kalıpları da (
) . Krş.. kümesel sayı kuramı. |
| 895 | temsilci harf | bk. yer tutucu simge. |
| 896 | terim | 1. Kapalı ya da açık terim tekil terim. Krş.. ad, bireysel değişken. 2-Tekil ya da genel terim. Krş.. ad, yüklem. 3. Geleneksel mantıkta özne ya da yüklem. Krş.. evrensel terim, boş terim, olumsuzlamalı terim, olumsuzlamasız terim, kurucu yalan terim, büyük terim, küçük terim, orta terim, terim yöneten. |
| 897 | terim simgesi | Tasımsal mantıkta değer alanı birli yüklemlerden, başka bir deyişle yalın ya da olumsuzlamalı terimlerden oluşan dizimsel değişken: S, P, M, T. |
| 898 | terim yöneteni | Tümel olumluluk (a),tümel olumsuzluk (e), tikel olumluluk (i) ile tikel olumsuzluluk (o) yönetenlerinin ortak ad. || Terim yöneteni iki birli yüklemden bir önerme oluşturduğundan, dizimsel türü P/(p/a)(...)dır. |
| 899 | terim yöneteni simgesi | Değer alanı a, e, i, o terim yönetenlerinden oluşan dizimsel değişken: t. |
| 900 | tersbakışımlı bağıntı | ß bağıntısının K kümesinde ters-bakışımlı olması, K nın x,y gibi iki ayrı öğesinden oluşan sıralanmış ikilisi ß nın öğesi olduğunda in ß nın öğesi olmaması demektir. || (
) |