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

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