eng

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

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
G - 1. Sayfa
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 ...