| 901 | terstasım | 1. Tasımsal çıkarımın geçersiz kılıcı kümesinden,(
)SaP yerine SoP,(...)SeP yerine SiP,(...)SiP yerine SeP,(...)SoP yerine SaP koymakla elde edilen özne-yüklem önerme kümesi || Tasımsal çıkarımın sıkı geçerliliğinin gerekli-yeterli koşulu, bu tasımsal çıkarımdan elde edilen terstasımın tutarsız olması tasımsal çıkarımın gevşek geçerliliğinin gerekli-yeterli koşulu da terstasımın tutarlı olup, terstasıma varlıksal öndayanağı dile getiren önermeyi katmakla oluşan kümenin tutarsız olmasıdır. 2. İki öncüllü tasımsal çıkarımdan elde edilen terstasım. |
| 902 | tikel değilleyici önerme | bk. tikel olumsuz önerme. |
| 903 | tikel niceleme imi | Bir değişkene uygulanmakla bir tikel niceleyici oluşturan mantıksal değişmez: (
) |
| 904 | tikel niceleyici | Bir birli açık önermeden, ancak bu açık önermenin özellemelerinden en az biri doğru olduğunda doğru olan bir önermeyi oluşturan değişken bağlayıcısı: (
) II Anl. varlıksal niceleyici, varlık niceleyicisi. Krş.. sayısal niceleyici, tümel niceleyici. |
| 905 | tikel niceleyicinin giriş kuralı | (
) |
| 906 | tikel olumlu önerme | (
) (kimi S, P dir) biçimindeki özne-yüklem önermesi. || Bu önerme SiP olarak kısaltılır simgesi İ dir. Anl. tikel evetleyici önerme. Krş.. tikel olumluluk yöneteni. |
| 907 | tikel olumluluk yöneteni | S ile P birli yüklemlerinden SiP (kimi S, P dir) tikel olumlu önermesini oluşturan i yöneten deyimi. |
| 908 | tikel olumsuz önerme | (
) (Kimi S,P değildir) biçimindeki özne-yüklem önermesi. || Bu önerme SoP olarak kısaltılır simgesi O dur. Anl. tikel değilleyici önerme. |
| 909 | tikel olumsuzluk yöneteni | S ile P birli yüklemlerinden SoP (kimi S, P değildir) tikel olumsuz önermesini oluşturan o' yöneten deyimi. |
| 910 | tikel önerme | Anayöneteni bir tikel niceleyici olan önerme. || Tikel niceleyici önerme (
) biçimindedir. Anl. varlıksal önerme. Krş.. genel önerme, tümel önerme. |
| 911 | tikel özelleme | (
) tikel önermesinden tikel özelleme kuralı gereği elde edilen (
) . biçimindeki önerme. Krş.. tümel özelleme. |
| 912 | tikel özelleme kuralı | (
) Krş. tümel özelleme kuralı, temel mantıklı çözümleyici küme. |
| 913 | tikel özne-yüklem önermesi | Tikel olumlu ya da olumsuz önermelerin ortak adı. || Krş.. tümel özne-yüklem önermesi. Örn. (
) |
| 914 | tikel-evetleme | Ana bileşeni tikel-evetleme eklemi olan bileşik önerme: (
) || Anl. ayrıklık, mantıksal toplam. |
| 915 | tikel-evetleme değillemesi | bk. tümel değilleme. |
| 916 | tikel-evetleme eklemi | Ancak ana bileşenlerinin en az biri doğru olduğunda doğru olup, ancak tümü yanlış olduğunda yanlış olan bir bileşik önermeyi oluşturan ikili ya da genel olarak n-li doğrusal eklem: V(ya da + A). || Doğruluk çizelgesi: 2-li eklem için: (
) |
| 917 | tikel-evetlemeli kurucu bileşen | Ana bileşeni yalınç önerme ya da yalınç önerme değillemesi olan yinelemesiz tikel evetleme. || Hiç bir tikel-evetlemeli kurucu bileşen doğrusal geçerli değildir. Tikel-evetlemeli kurucu bileşende değilleme imi bir çizgi olarak ilgili ana bileşenin üzerinde konulur. Örn. (
) |
| 918 | tikel-evetlemeli tam yasal biçim | Aynı yalınç bileşenli kurucu bileşenlerden oluşan tikel-evetlemeli yasal biçim. || Örn. (
) |
| 919 | tikel-evetlemeli yasal biçim | Her anabileşeni ayrı bir tümel-evetlemeli kurucu bileşen olan n-li tikel-evetleme. || Hiç bir (boş olmayan) tikel-evetlemeli yasal biçim doğrusal tutarsız değildir. Temel mantıklı dillerde her tutarlı önerme (boş olmayan) tikel-evetlemeli bir yasal biçim ile eşdeğerdir. Örn. (...) üçlü tikel-evetleme, pq birli tikel-evetleme, p (kurucu bileşeni bir birli tümel-evetlemeye eşdeğer olan) birli tikel-evetleme olan yasal biçimlerdir || Krş.. tikel-evetlemeli tam yasal biçim, tikel-evetlemeli en kısa bir yasal biçim. |
| 920 | tikel-evetleyici önerme | bk. tikel olumlu önerme. |
| 921 | tikel-evetllemeli en kısa bir yasal biçim | p gibi bir önermenin tikel-evetlemeli en kısa bir yasal biçim olması, p nin tikel-evetlemeli yasal biçim olup, her kurucu bileşeni p nin bir kurucu bileşeninin ait tümel-evetlemesi olan, p ile doğrusal eşdeğer q gibi başka bir tikel-evetlemeli yasal biçimin bulunmaması demektir. || Biçimsel tanım: (p tikel-evetlemeli en kısa yasal biçimdir) (...) {(p tikel-evetlemeli yasal biçimdir) (...) [(q tikel-evetlemeli yasal biçimdir) (...) (q nun her kurucu bileşeni p nin bir kurucu bileşeninin alt tümel-evetlemesidir) (
) Örn. pqvqrvpr. |
| 922 | totoloji | bk. doğrusal geçerli önerme. |
| 923 | tutarlı ilksavlı kuram | Her önermesi kanıtlanamayan ilksavlı kuram. || Temel mantıklı tutarlı ilksavlı bir kuramın kanıtsavlar kümesinin doğrulayıcı yorumu vardır. |
| 924 | tutarlı önerme | En az bir doğrulamı olan önerme. || Anl. yorumsal tutarlı önerme. Krş.. dizimsel tutarlı önerme. |
| 925 | tutarlı önerme kümesi | Birlikte 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 yorumlayanı olan önerme kümesi. ||Anl. yorumsal tutarlı önerme kümesi. Krş.. dizimsel tutarlı önerme kümesi. |
| 926 | tutarlı tamdeyim | Tümel kapanışı tutarlı bir önerme olan tamdeyim. || Anl. yorumsal tutarlı tamdeyim. |
| 927 | tutarsız önerme | Tutarlı olmayan önerme. || Anl. mantıkça yanlış önerme. Krş.. dizimsel tutarsız önerme Örn. (
) |
| 928 | tutarsız önerme kümesi | Tutarlı olmayan önerme kümesi. || Krş.. dizimsel tutarsız önerme kümesi. |
| 929 | tüketici bölümleme | Bir öbeğin, tümü bir araya gelmekle bu öbeği oluşturan altöbeklere ayrılması. ||Bir öbeğin tüketici bölümlemesi, birleşimi bu öbeğe eşit olan bir öbekler öbeğine ayrılmasıdır. Örn. {0,1,2,3,4,5,6,7,8,9} un tüketici bir bölümlemesi, bu öbeğin {o}, {1}, {2,3,5,7}. {4,6,8,9}. alt öbeklerine ayrılmasından oluşur. |
| 930 | tüketici durum kümesi | En az birinin gerçek olması zorunlu olan durumların kümesi. |