tutarlı ilksavlı kuramHer önermesi kanıtlanamayan ilksavlı kuram. || Temel mantıklı tutarlı ilksavlı bir kuramın kanıtsavlar kümesinin doğrulayıcı yorumu vardır.
tutarlı önermeEn az bir doğrulamı olan önerme. || Anl. yorumsaltutarlı önerme. Krş.. dizimseltutarlı önerme.
tutarlı önerme kümesiBirlikte doğru olabilen ya da başka bir deyişle bağdaşabilen önermeler kümesi; Doğrulayıcı yorumu (doğrulamı) olan önerme kümesi; düpedüz tutarlı bir
tutarlı tamdeyimTümel kapanışı tutarlı bir önerme olan tamdeyim. || Anl. yorumsaltutarlı tamdeyim.
tutarsız önermeTutarlı olmayan önerme. || Anl. mantıkça yanlış önerme. Krş.. dizimseltutarsız önerme Örn. ( )
tüketici bölümlemeBir öbeğin, tümü bir araya gelmekle bu öbeği oluşturan altöbeklere ayrılması. ||Bir öbeğintüketici bölümlemesi, birleşimi bu öbeğe eşit olan bir öbekl
tümel değillemeAncak anabileşenlerinin tümü yanlış olduğunda doğru olan bir bileşik önermeyi oluşturan doğrusal İkili eklem: (...)||Tüm doğrusal eklemler bu eklem tü
tümel evetleme eklemiAnabileşenlerinin ancak tümü doğru olduğunda doğru olan bir bileşik önermeyi oluşturan ikili ya da genel olarak n-li doğrusal eklem. || ( )
tümel evetlemeli en kısa bir yasal biçimp gibi bir önermenintümel-evetlemeli en kısa bir yasal biçim olması, p nin tümel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bil
tümel evetlemeli kurucu bileşenAnabileşenleri yalınç önerme ya da yalınç önerme değillemesi olan yinelemesiz tümel-evetleme. || Hiç birtümel-evetlemeli kurucu bileşen doğrusal tutar
tümel evetlemeli yasal biçimHer anabileşeni ayrı bir tikel-evetlemeli kurucu bileşen olan n-li tümel-evetleme. || Hiç bir (boş olmayan)tümel-evetlemeli yasal biçim doğrusal geçer
tümel niceleme imiBir değişkene uygulanmakla bir tümel niceleyici oluşturan mantıksal değişmez: ( )
tümel niceleyiciBir birli açık önermeden,ancak bu açık önermenin özellemelerinin tümü doğru olduğunda doğru olan bir önermeyi oluşturan değişken bağlayıcısı: ( ) Krş.
tümel olumlu önerme( ) (Bütün S ler P dir) biçimindeki özne-yüklem önermesi, bu önerme SaP olarak kısaltılır; simgesi A dır. || Anl. tümel-evetleyici önerme. Krş.. tümel
tümel olumluluk yöneteniS ile P birli yüklemlerinden SaP (Bütün S ler P dir) tümel olumlu önermesini oluşturan a yöneten deyimi.
tümel olumsuzluk yöneteniS ile P birli yüklemlerinden SeP (Hiç bir S, P değildir) tümel olumsuz önermeyi oluşturan e yöneten deyimi.
tümel özelleme( ) tümel önermesindentümel özelleme kuralı gereği elde edilen (...) biçimindeki bir önerme. Krş.. tikel özelleme.
tümel özne yüklem önermesiTümel olumlu ya da tümel olumsuz önermenin ortak adı. || Krş.. tikel özne-yüklem önermesi. Örn. ( )
tümevarımlı kanıtlanımDoğal sayılara ilişkin ( ) gibi tümel bir önermenin, ( ) önermelerinin kanıtlanmasına dayanan kanıtlanımı. ||tümevarımlı kanıtlanımın tümevarımın deği
tümevarımlı mantıkTümevarım sürecinin dayandığı kuralları konu edinen kullanımbilim dalı.
tümevarımlı öbek dizgesi( ) || Örn. Bir biçimsel dil ya da biçimsel dizge, genellikle birtümevarımlı öbek dizgesidir.
tümleyenBir öbeğin öğesi olmayan bütün öğelerden oluşan öbek: || K öbeğinintümleyeni K' olarak gösterilir.
tümleyen imiVerilen bir küme teriminden, bu terimin gösterdiği kümenin tümleyenini gösteren küme terimini oluşturan birli işlev imi: (').
türetilebilmep önermesinin K önerme kümesindentüretilebilme'si, K kümesinin öğesi olan öncüllerden p sonucunun çıktığının bir türetimle gösterilebilmesi demektir.
türetilebilme imip önermesinin K gibi bir önerme kümesinden türetilebildiğini belirtmek amacıyla K ile p arasına konulan dizimsel sözeden dildeki 2-li yüklem imi: |-
türetilebilme önermesip önermesinin K önerme kümesinden türetilebildiğini dile getiren dizimsel sözeden dil önermesi: K|-p.
türetilmiş dizimsel türTemel dizimsel türler yardımıyla belirlenen yöneten deyim dizimsel türü. || Örn. 2-li yüklemin dizimsel türü a ile p türleri yardımıyla belirlenmiş p/
uygulanabilme( ) || Örn. '3 ile bölünebilen bir doğal sayıdır' birli yüklemi 6 sayısına uygulanabilir, çünkü 6 sayısı bu yüklemin kaplamı olan {0, 3, 6, 9,...,3n,