eng

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

# 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üğü (10. Sayfa)

yalınç yapıcı ikilem :
(?) biçimindeki çıkarım kuralı.
yalınç yıkıcı ikilem :
(?) biçimindeki çıkarım kuralı.
yalınç yöneticiler mantığı :
Bir tek ilkel yöneticisi olan yöneticiler mantığı dizgesi. || Örn ...
yalınlaştırma kuralları :
Quine yöntemiyle doğruluk değeri çözümlemesinde kullanılan: eşdeğ ...
yanıIım :
Geçersiz olmakla birlikte geçerli görünen çıkarım. || Krş.. artbi ...
yanıltmaca :
Yanıltmak, kandırmak amacıyla bilinçli olarak ortaya konan bir ya ...
yanlış önerme :
Kendi olağan yorumunda gerçek bir durumu dile getirmeyen önerme d ...
yanlışlam :
Bakınız: yanlışlayıcı yorum
yanlışlayıcı yorum :
Bir önerme kümesinin en az bir öğesini yanlış kılan bir yorum. || ...
yansımalı bağıntı :
ß bağıntısının K kümesinde yansımalı olması, K nın x gibi herhang ...
yansımasız bağıntı :
ß bağıntısının K kümesinde yansımasız olması, K nın x gibi herhan ...
yararlılık ölçüsü :
p gibi bir önermeye uygulandığında (?) p (p nin olmasının göreli ...
yaratıcı olmama :
(?) dizgesinin de kanıtsavı olması demektir. ||Krş.. belirtik tan ...
yardımcı im :
(?) Krş.. ayraçsız yazılış biçimi.
yargı :
Geleneksel mantıkta: önermenin dile getirdiği düşünce ya da başka ...
yarıanma imleri :
Dizimsel değişkenlerle sözedilen dil imlerinden oluşan karma bir ...
yarıçevirme :
Önçevirme ya artçevirmenin ortak adı.
yarıdevirme :
Öndevirme ile artdevirmenin ortak adı.
yarısıralama :
Yansımalı, ters bakışımlı, geçişli bağıntı. || Örn. Altküme bağın ...
yasak yöneticisi :
(?) (p yasaktır) biçiminde tanımlanan doğrusal olmayan birli ekle ...
yasal biçim :
Belli bir yasal biçim özelliğini taşıyan önerme. || yasal biçimle ...
yeğleme almaşıklık bağıntısı :
Yansımasız, geçişli, ters bakışımlı olan bir almaşıklık bağıntısı ...
yeğleme yönetici :
Sıkı yeğleme, ilgisizlik, gevşek yeğleme yöneticisi ya da bunlar ...
yeğlemeler mantığı :
Temel mantığa yeğleme yöneticilerini katmakla oluşturulan genleşm ...
yer sayısı :
Bir yöneten deyimin yer sayısı, ilişkin olduğu yönetilen deyimler ...
yer tutucu simge :
Sözedilen dilin belli bir dizimsel türden deyimlerinin yerini tut ...
yerine koyma :
A deyiminde B yerine C koyma işlemi, A deyimindeki B nin bir ya d ...
yerine koyma ilksavı :
Önalanı küme olan bir izergenin artalanının da küme olduğunu dile ...
yeter koşul :
Bakınız: yeterli koşul
yeterli koşul :
(?) ||Anl. yeter koşul. Krş.. gerekli koşul.
yinelemeli kipsel önerme :
Yönetileni kipsel önerme olan bir kipsel yöneticiyi kapsayan öner ...
yinelgeli sayılabilir küme :
K gibi bir deyim kümesinin yinelgeli sayılabilir olması, K nın ya ...
yinelgen bağıntı :
Yinelgen bir küme oluşturan bağıntı. || Örn. Doğal sayılar arasın ...
yinelgen izerge :
1. Temel mantıklı sayı kuramında belirtilebilen sayısal izerge. 2 ...
yinelgen küme :
Ayırdedici izergesi işlemlenebilir olan küme. || Anl. saptanır kü ...
yorum :
Bir biçimsel dilin her kapalı düzgün deyimine karşılık belli bir ...
yorum biçimi :
Belli bir yorum işleminde mantıksal olmayan değişmezlerin tek tek ...
yorumbilim :
Birsözedilen dilin olağan yorumuyla tüm olanaklı yorumlarını beli ...
yorumlama :
Bakınız: yorum
yorumlanan :
Yorum işleminin uygulandığı deyim, deyimler kümesi ya da çıkarım.
yorumlanmış biçimsel dil :
Bir biçimsel dil ile bu dilin bir yorumundan oluşan dizge. || Anl ...
yorumlayan :
Sözedilen dildeki bir deyimin ya da çıkarımın belli bir yorumda k ...
yorumsal anlam :
Bir biçimsel dilde belli bir düzgün deyimin belli bir yorumda kaz ...
yorumsal dizge :
Bakınız: yorumlanmış biçimsel dil
yorumsal eksikli ilksavlı kuram :
Olağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavl ...
yorumsal eksiksiz ilksavlı kuram :
Olağan yorumda doğru olan her önermesi kanıtlanabilen tutarlı ilk ...
yorumsal eksiksiz olamayan kuram :
İlksavlandırılır olmayan kuram. || Örn. Kümeler kuramı sayı kuram ...
yorumsal sonuç :
Bakınız: mantıksal sonuç
yorumsal sözeden dil :
Sözedilen dilin deyimleriyle bu deyimlerin anlamlarından söz etme ...
yorumsal tanım :
Sözeden dildeki bir deyimin kaplamını ya da içlemini belirleyen y ...
yorumsal tutarlı önerme :
Bakınız: tutarlı önerme
yorumsal tutarlı önerme kümesi :
Bakınız: tutarlı önerme kümesi
yorumsal tutarlı tamdeyim :
Bakınız: tutarlı tamdeyim
yorumsal tutarsız önerme :
Bakınız: tutarsız önerme
yöneten deyim :
(?) . Krş.. Uygulanabilme
yönetici :
1. Doğrusal olmayan eklem. || Krş.. kipsel yönetici, mantıksal ki ...
yöneticiler mantığı :
Temel mantığa bir ya da birden çok sayıda yönetici (doğrusal olma ...
yöneticiler mantığı çözümleyici kümesi :
Yöneticilere ilişkin almaşıklık bağıntılarının gerektirdiği koşul ...
yönetilen deyim :
Bir yöneten deyimin bir araya getirdiği düzgün deyimlerden her bi ...
yüklem :
(?) || Örn. SaP önermesinin yüklemi P terimidir.
yüklem değişkeni :
1. Değer alanı n-li yüklem kaplamlarından ya da başka bir deyişle ...
yüklem değişmezi :
Yüklem (?) dizimsel türünden olan değişmez im.
yüklem simgesi :
Olağan yorumda değer alanı bir sözeden dilin n-li yüklemlerinden ...
yüklemci :
Bakınız: Yüklem
yüklemeli olmayan tanım :
Bir öbeğin belli bir öğesinin, bu öbeğin tüm öğelerine (dolayısıy ...
yüklemler mantığı :
Mantıksal değişmezleri en azından eklemleri, mantıksal olmayan de ...
yüksek basamak mantığı :
Bireysel olmayan değişkenleri olan mantık dizgesi.
yükümlülük mantığı :
Bakınız: Ödev mantığı
zorunluluk çıkış kuralı :
(?) biçimindeki kipler mantığı çıkış kuralı.
zorunluluk dağıtıcılığı :
(?) eşdeğerliliğini dile getiren kipler mantığı kuralı.