eng

TDK Mantık Terimleri Sözlüğü (9)

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
9. Sayfa
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.