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

geçerli biçimsel dizge :

Mantıksal dizgesi geçerli olan biçimsel dizge.

geçerli çıkarım :

Sonucu öncüllerinden çıkan çıkarım, öncülleri doğru kılan bütün y ...

geçerli çıkarım kuralları kümesi :

Bir mantıksal dizgenin çıkarım kuralları kümesinin geçerli olması ...

geçerli mantıksal dizge :

Her kanıtlanır çıkarımı geçerli olan mantıksal dizge.

geçerli önerme :

Bütün yorumlayanları doğru olan önerme değillemesi tutarsız olan ...

geçerli tamdeyim :

Tümel kapanışı mantıkça doğru bir önerme olan tamdeyim.

geçerlilik eklemi :

(?) ||Krş.. sıfırlı geçerlilik eklemi, birli geçerlilik eklemi, i ...

geçersiz çıkarım :

Sonucu öncüllerinden çıkmayan, başka bir deyişle geçersiz kılıcı ...

geçersiz kılıcı yorum :

Bir çıkarımın geçersiz kılıcı kümesinin her öğesini doğru kılan b ...

geçersiz önerme :

Yanlışlayıcı yorumu olan önerme. || Örn. 3>2 önermesi geçersizdir ...

geçersiz tamdeyim :

Tümel kapanışı mantıkça doğru bir önerme olmayan tamdeyim. || Örn ...

geçersiz tutarlı önerme :

En az bir yorumda yanlış, ama en az bir yorumda da doğru olan öne ...

geçişli bağıntı :

ß bağıntısının K kümesinde geçişli olması, K nın x, y, z öğeleri ...

geçişsiz bağıntı :

ß bağıntısının K kümesinde geçişsiz olması, K nın x, y, z öğeleri ...

geleneksel mantık :

Aristoteles ile gelişmeye başlayıp ortaçağda doruğuna erişen, ağı ...

genel değilleme kuralı :

Bir tamdeyimin değillemesinin, bu tamdeyimdeki bütün eklem ile ni ...

genel önerme :

İçinde en az bir niceleyici geçen önerme. || Anl. nicelenmiş öner ...

genel tamdeyim :

İçinde en az bir niceleyici geçen tamdeyim.

genel terim :

Bakınız: Yüklem

genleşmiş biçimsel dizge :

Bir biçimsel dizgenin abecesine yeni imler, ilksavlar kümesine de ...

genleşmiş dil :

Bir biçimsel dilin abecesine yeni imler katmakla oluşturulup, ilk ...

genleşmiş mantık dizgesi :

Bir mantıksal dizgeye yeni mantıksal değişmezler katmakla elde ed ...

gerçek birey :

Gerçek tamdurumda varolan, başka bir deyişle (?) gerçek tamdurumu ...

gerçek durum :

Gerçek tamdurumu öğe olarak kapsayan herhangi bir durum. || Anl. ...

gerçek kaplam :

A gibi bir düzgün deyimin belli bir yorum gereği gerçek tamdurumd ...

gerçek tamdurum :

Tamdurumlar kümesinin gerçek olan tek öğesi: (?)

gerçekleme :

Bir n-li değer dizisinin belli bir yorumda bir n-li tamdeyimi ger ...

gerçekleşebilir değerleme :

(?) nin gerçekleşebilir değerleme olması, p, in d, doğruluk değer ...

gerçekleşemez değerleme :

(?) nin gerçekleşemez değerleme olması, (?) doğruluk değerini,.. ...

gerçel kipler mantığı :

Kipler mantığı 1

gerek koşul :

Bakınız: gerekli koşul

gerek...gerek: :

Tümel-evetleme ekleminin Türkçe'deki bir karşılığı.

gerekli koşul :

(?) || Anl. gerek koşul. Krş.. yeterli koşul.

gerekli-yeterli koşul :

(?) || Anl. gerek-yeter koşul.

gerektirme :

Bakınız: koşul eklemi

gerektirme kuralı :

p kanıtsav olması koşuluyla, (?) nin türetilebildiğini dile getir ...

gerek-yeter koşul :

Bakınız: gerekli-yeterli koşul

gevşek geçerli çıkarım :

Sıkı geçerli olmamakla birlikte belli varlıksal öndayanakların ge ...

gevşek yeğleme yöneticisi :

(?) (p, q ye yeğlenir ya da p ile q karşısında ilgisiz kalınır) ö ...

giriş kuralı :

Öncülleri bir mantıksal değişmezi kapsamayıp sonucu bu değişmezi ...

Gödel sayısı :

Bir biçimsel dilin deyim kümesinden doğal sayılar kümesine kurula ...

Gösterici deyim :

Bakınız: Ad

gösterilen :

Bir adın kaplamı olan nesne.

gösterme :

a adının, (?) yorumunda X nesnesini gösterme'si X nesnesinin a ad ...

göstermeyle tanım :

Bakınız: örnekle tanım, göstermeyle tanım

güçkümesi :

Bir kümenin altkümelerinin kümesi. ||K Kümesinin güçkümesi gK biç ...

güçkümesi ilksavı :

Bir kümenin altkümeler öbeğinin küme olduğunu dile getiren ilksav ...