eng

TDK Mantık Terimleri Sözlüğü (T - 2)

# A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z

TDK Mantık Terimleri Sözlüğü İçerisinde Arama

TDK Mantık Terimleri Sözlüğü (T - 2. Sayfa)

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 ...