Anasayfa Kodlamalar Dil Bilgisi Terimleri Bilim Terimleri Teknik Terimler Sanat Terimleri Spor Terimleri Hukuk Terimleri Ekonomi Terimleri Eğitim Terimleri Çevre Terimleri Sağlık Terimleri Sosyal Terimler Yabancı Terimler

terstasım :

1. Tasımsal çıkarımın geçersiz kılıcı kümesinden,(?)SaP yerine So ...

tikel değilleyici önerme :

Bakınız: tikel olumsuz önerme

tikel niceleme imi :

Bir değişkene uygulanmakla bir tikel niceleyici oluşturan mantıks ...

tikel niceleyici :

Bir birli açık önermeden, ancak bu açık önermenin özellemelerinde ...

tikel olumlu önerme :

(?) (kimi S, P dir) biçimindeki özne-yüklem önermesi. || Bu önerm ...

tikel olumluluk yöneteni :

S ile P birli yüklemlerinden SiP (kimi S, P dir) tikel olumlu öne ...

tikel olumsuz önerme :

(?) (Kimi S,P değildir) biçimindeki özne-yüklem önermesi. || Bu ö ...

tikel olumsuzluk yöneteni :

S ile P birli yüklemlerinden SoP (kimi S, P değildir) tikel olums ...

tikel önerme :

Anayöneteni bir tikel niceleyici olan önerme. || Tikel niceleyici ...

tikel özelleme :

(?) tikel önermesinden tikel özelleme kuralı gereği elde edilen ( ...

tikel özelleme kuralı :

(?) Krş. tümel özelleme kuralı, temel mantıklı çözümleyici küme.

tikel özne-yüklem önermesi :

Tikel olumlu ya da olumsuz önermelerin ortak adı. || Krş.. tümel ...

tikel-evetleme :

Ana bileşeni tikel-evetleme eklemi olan bileşik önerme: (?) || An ...

tikel-evetleme değillemesi :

Bakınız: tümel değilleme

tikel-evetleme eklemi :

Ancak ana bileşenlerinin en az biri doğru olduğunda doğru olup, a ...

tikel-evetlemeli kurucu bileşen :

Ana bileşeni yalınç önerme ya da yalınç önerme değillemesi olan y ...

tikel-evetlemeli tam yasal biçim :

Aynı yalınç bileşenli kurucu bileşenlerden oluşan tikel-evetlemel ...

tikel-evetlemeli yasal biçim :

Her anabileşeni ayrı bir tümel-evetlemeli kurucu bileşen olan n-l ...

tikel-evetleyici önerme :

Bakınız: tikel olumlu önerme

tikel-evetllemeli en kısa bir yasal biçim :

p gibi bir önermenin tikel-evetlemeli en kısa bir yasal biçim olm ...

totoloji :

Bakınız: doğrusal geçerli önerme

TRUE :

Sözeden dildeki 'doğrudur' birli yükleminin içlemi olan doğru olm ...

tutarlı ilksavlı kuram :

Her önermesi kanıtlanamayan ilksavlı kuram. || Temel mantıklı tut ...

tutarlı önerme :

En az bir doğrulamı olan önerme. || Anl. yorumsal tutarlı önerme. ...

tutarlı önerme kümesi :

Birlikte doğru olabilen ya da başka bir deyişle bağdaşabilen öner ...

tutarlı tamdeyim :

Tümel kapanışı tutarlı bir önerme olan tamdeyim. || Anl. yorumsal ...

tutarsız önerme :

Tutarlı olmayan önerme. || Anl. mantıkça yanlış önerme. Krş.. diz ...

tutarsız önerme kümesi :

Tutarlı olmayan önerme kümesi. || Krş.. dizimsel tutarsız önerme ...

tüketici bölümleme :

Bir öbeğin, tümü bir araya gelmekle bu öbeği oluşturan altöbekler ...

tüketici durum kümesi :

En az birinin gerçek olması zorunlu olan durumların kümesi.

tümdengelim :

1. Geçerli bir çıkarımın sonucunu, öncüllerinden çıkarma işlemi. ...

tümdengelim kanıtsavı :

(?) olduğunu dile getiren sözeden kanıtsav.

tümdengelim kuralı :

Bakınız: çıkarım kuralı

tümdengelimli dizge :

Bakınız: biçimsel dizge

tümdengelimli kuram :

Bakınız: ilksavlı kuram

tümdengelimli mantık :

Tümdengelime dayandığı için mantığa verilen bir ad.

tümel değilleme :

Ancak anabileşenlerinin tümü yanlış olduğunda doğru olan bir bile ...

tümel değilleyici önerme :

Bakınız: tümel olumsuz önerme

tümel geçerli önerme :

Bakınız: geçerli önerme

tümel niceleme imi :

Bir değişkene uygulanmakla bir tümel niceleyici oluşturan mantıks ...

tümel niceleyici :

Bir birli açık önermeden,ancak bu açık önermenin özellemelerinin ...

tümel olumlu önerme :

(?) (Bütün S ler P dir) biçimindeki özne-yüklem önermesi, bu öner ...

tümel olumluluk yöneteni :

S ile P birli yüklemlerinden SaP (Bütün S ler P dir) tümel olumlu ...

tümel olumsuz önerme :

(?) (Hiç bir S, P değildir) biçimindeki özne-yüklem önermesi. Bu ...

tümel olumsuzluk yöneteni :

S ile P birli yüklemlerinden SeP (Hiç bir S, P değildir) tümel ol ...

tümel önerme :

Anayöneteni bir tümel niceleyici olan önerme: (?) Krş.. genel öne ...

tümel özelleme :

(?) tümel önermesinden tümel özelleme kuralı gereği elde edilen ( ...

tümel özelleme kuralı :

(?) . Krş.. tikel özelleme kuralı, temel mantıklı çözümleyici küm ...

tümel özne-yüklem önermesi :

Tümel olumlu ya da tümel olumsuz önermenin ortak adı. || Krş.. ti ...

tümel-evetleme :

Anaeklemi tümel evetleme eklemi olan bileşik önerme: (?) || Anl. ...

tümel-evetleme değillemesi :

Bakınız: bağdaşmazlık eklemi

tümel-evetleme eklemi :

Anabileşenlerinin ancak tümü doğru olduğunda doğru olan bir bileş ...

tümel-evetlemeli en kısa bir yasal biçim :

p gibi bir önermenin tümel-evetlemeli en kısa bir yasal biçim olm ...

tümel-evetlemeli kurucu bileşen :

Anabileşenleri yalınç önerme ya da yalınç önerme değillemesi olan ...

tümel-evetlemeli tam yasal biçim :

Aynı yalınç bileşenli kurucu bileşenlerden oluşan tümel-evetlemel ...

tümel-evetlemeli yasal biçim :

Her anabileşeni ayrı bir tikel-evetlemeli kurucu bileşen olan n-l ...

tümel-evetleyici önerme :

Bakınız: tümel olumlu önerme

tümevarım :

Kişilerin, özellikle bilim adamlarının gözlem ve deneylere dayana ...

tümevarımlı kanıtlanım :

Doğal sayılara ilişkin (?) gibi tümel bir önermenin, (?) önermele ...

tümevarımlı mantık :

Tümevarım sürecinin dayandığı kuralları konu edinen kullanımbilim ...

tümevarımlı öbek dizgesi :

(?) || Örn. Bir biçimsel dil ya da biçimsel dizge, genellikle bir ...

tümleyen :

Bir öbeğin öğesi olmayan bütün öğelerden oluşan öbek: || K öbeğin ...

tümleyen imi :

Verilen bir küme teriminden, bu terimin gösterdiği kümenin tümley ...

türetilebilme :

p önermesinin K önerme kümesinden türetilebilme'si, K kümesinin ö ...

türetilebilme imi :

p önermesinin K gibi bir önerme kümesinden türetilebildiğini beli ...

türetilebilme önermesi :

p önermesinin K önerme kümesinden türetilebildiğini dile getiren ...

türetilmiş çıkarım kuralı :

Dizimbilimde kanıtlanabilen ilkel olmayan çıkarım kuralı.

türetilmiş dizimsel tür :

Temel dizimsel türler yardımıyla belirlenen yöneten deyim dizimse ...

türetim :

1. Bir çıkarımın sonucunun öncüllerden salt çıkarım kuralları yar ...

uygulanabilme :

(?) || Örn. '3 ile bölünebilen bir doğal sayıdır' birli yüklemi 6 ...

üçüncünün olmazlığı :

(?) biçimindeki önermelerin geçerliliğini dile getiren mantık ilk ...

ülküsel tamdurum :

Bakınız: ödevce yetkin tamdurum

üreteç :

Bakınız: önekli yasal biçim üreteci

üretilen çözümleyici küme :

Belli bir mantık dizgesinde, K gibi bir önerme kümesince üretilen ...

üst mantık :

Bakınız: sözeden mantık

üstdil :

Bakınız: sözeden dil

üstküme :

Bir kümenin her öğesini öğe olarak kapsayan küme. || K. kümesinin ...

Üye :

1. (?) gibi sıralanmış bir n-li dizgenin k ıncı üye'si, ak nesnes ...

vargı :

Bakınız: çıkarım sonucu

varlıksal niceleyici :

Bakınız: tikel niceleyici

varlıksal niceleyicisi :

Bakınız: tikel niceleyici

varlıksal öndayanak :

Bir biçimsel dilin tüm adlarının olağan yorumda birer nesneyi gös ...

varlıksal öndayanaksız mantık :

Boş adlara yer veren mantık dizgesi.

varlıksal önerme :

Bakınız: tikel önerme

varlıksal varsayma :

Gevşek geçerli bir tasımsal çıkarımın geçerliliğini sağlamak amac ...

varolma imi :

a adından, a nın gerçek bir nesneyi gösterdiğini dile getiren Va ...

varsayım :

Kanıtlanmadan geçici ya da kalıcı olarak benimsenen önerme.

Venn çizgesi :

n sayıda küme arasındaki ilişkileri ortaya koymak amacıyla, bu kü ...

ya da :

Tikel-evetleme ekleminin Türkçe'deki bir karşılığı

yalın önerme :

Bakınız: Çekirdek Önerme

yalın sıralama :

Bakınız: Tam Sıralama

yalın tasım :

Bütün terimieri yalın terim olan, başka bir deyişle hiç bir olums ...

yalın tasım kalıbı :

Örnekleri yalın tasım olan kalıp. || Bütün yalın tasım kalıpların ...

yalın terim :

Olumsuzlamalı olmayan terim.

yalınç bileşen :

Özbileşeni olmayan bileşen.

yalınç eşitlik kuramı :

Mantıksal olmayan değişmezler ile mantıksal olmayan ilksavlardan ...

yalınç öbekler kuramı :

Salt özbireyler ile özbirey kümelerini konu edinen kümeler kuramı ...

yalınç önerme :

Anaeklemi, dolayısıyla anabileşeni olmayan önerme. || Anl. basit ...

yalınç özellik yüklemi :

Eklemsi türünden anayöneteni olmayan özellik terimi.

yalınç tamdeyim :

Ana eklemi olmayan tamdeyim.