eng

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

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
E - 1. Sayfa
eğer ve ancak.,.ise: :
Karşılıklı-koşul ekleminin Türkçe'deki bir karşılığı
eğer....ise: :
Koşul ekleminin Türkçe'deki bir karşılığı,
eklem :
(?) Anl. önerme eklemi. Krş.. doğrusal eklem, doğrusal olmayan ek ...
eklem simgesi :
Değer alanı sözedilen dilin n-li eklemlerinden oluşan dizimsel sö ...
eklemler mantığı :
Mantıksal değişmez olarak yalnız eklemleri, mantıksal olmayan değ ...
eklemsi :
(?) Örn. 'İnsan olmayan' birli yükleminde geçen 'olmayan' deyimi ...
eksiklilik kanıtsavı :
Doğal sayılar kuramını kapsayan bir biçimsel kuramın yorumsal eks ...
eksiksiz küme :
Her öğesi altkümesi olan küme. || Ör. eksiksiz bir kümedir, çünkü ...
eksiltili tasımsal çıkarım :
Bir ya da birden çok sayıda öncülü (önceden bilindiği varsayılara ...
en büyük tutarlı küme :
Hiç bir dizimsel tutarlı önerme kümesinin öz altkümesi olmayan di ...
en ince simgeleştirme :
Verilen bir deyimin mantıksal değişmezlerine dokunmaksizın, mantı ...
eşanlamlı :
Bakınız: Anlamdaş
eşbiçimlilik bağıntısı :
Belli bir biçim benzerliği olan somut nesneler arasında bulunan b ...
eşdeğer deyimler :
Her yorumda kaplamdaş olan düzgün deyimler. ]| Örn. Eşdeğer önerm ...
eşdeğer kuramlar :
Kanıtsavları aynı olan kuramlar.
eşdeğer önermeler :
Birbirini içeren önermeler bütün yorumlarda aynı doğruluk değerin ...
Eşdeğerlik :
İki önermenin eşdeğer olduğunu belirten sözeden dildeki bir önerm ...
eşdeğerlik kalıbı örneği :
Eşdeğerlik kalıbının dizimsel değişkenlerini bu değişkenlerin bir ...
eşitlik :
Eşitlik iminin iki terimden oluşturduğu tarndeyim: a = b. || Anl. ...
eşitlik imi :
İki addan, bu iki adın (bir tek) aynı nesneyi gösterdiğini dile g ...
eşsayılı kümeler :
Aralarında bir tameşleme bulunan kümeler.|| Örn. {1,3,5} ile {2,4 ...
Euler çizgesi :
Verilen birtakım kümelerin düzlem üzerindeki bölgelerle betimleni ...
evetleme :
Verilen bir önermeden aynı doğruluk değerinde bir önerme oluştura ...
evetleyici önerme :
Bakınız: olumlu önerme
evirme :
Özne-yüklem önermesinde özne ile yüklemin değiş tokuş edilmesi. | ...
evren :
Yorumlanmış dilin sözünü ettiği tüm nesneleri oluşturmağa yarayan ...
evrene dayalı öbek :
E evrenine dayalı öbek, boş olmayan her kurucu öğesi E nin öğesi ...
evrensel bağıntı :
K kümesinde evrensel bağıntı, (?) bağıntısı demektir.
evrensel küme :
1. Evren. 2. Yalnız özbireylerle özbirey kümelerini konu edinen b ...
evrensel öbek :
Kümeler kuramında bireylerle Öbeklerin tümünden oluşan özöbek.
evrensel terim :
Olağan yorumdaki kaplamı tüm evren olan birli yüklem. |[ Örn. 'İn ...
evrik :
(?) ||Örn. Kimi insanlar mantıkçıdır' önermesinin evriği 'Kimi ma ...
evrik koşul :
Ancak önbileşeni yanlış, artbileşeni doğru olduğunda yanlış olan ...
evrik koşul değillemesi :
Ancak önbileşeni yanlış, artbileşeni doğru olduğunda doğru olan b ...
eylemsel mantık :
Eylem (felsefesi) sorunlarıyla yakından ilgili oldukları için öde ...