Dil Bilgisi Terimleri Sözlükleri
Bilim Terimleri Sözlükleri
Teknik Terimler Sözlükleri
Sanat Terimleri Sözlükleri
Spor Terimleri Sözlükleri
Hukuk Terimleri Sözlükleri
Ekonomi Terimleri Sözlükleri
Eğitim Terimleri Sözlükleri
Çevre Terimleri Sözlükleri
Sağlık Terimleri Sözlükleri
Sosyal Terimler Sözlükleri
Sarı Sayfalar
TDK Mantık Terimleri Sözlüğü (S)
S - 1. Sayfa
- salt mantıksal kuram :
- Mantıksal olmayan değişmezler ile mantıksal olmayan ilksavlardan ...
- salt öbek :
- Hiç bir kurucu öğesi özbirey olmayan ya da başka bir deyişle tek ...
- sanılabilme yöneticisi :
- Sanma yöneticisinin ikillisi olan bölümsel bilgisel birli yönetic ...
- sanısal mantık :
- Temel mantığa sanısal yöneticileri katmakla oluşturulan genleşmiş ...
- sanısal sonuç :
- q önermesinin p gibi bir önermenin sanısal sonuç'u olması, (?) nu ...
- sanısal yönetici :
- Sanma yöneticisi ya da bu yönetici yardımıyla tanımlanan doğrusal ...
- saptama sorunu :
- Lnin altkümesiolan K nın L ye göre saptama sorunu, K nın L ye gör ...
- saptama yöntemi :
- 1. Bir biçimsel dizgede, verilen bir önermenin kanıtsav olup olma ...
- saptanır biçimsel dizge :
- Kanıtsavları saptanır bir küme oluşturan biçimsel dizge.
- saptanır kuram :
- Mantıkça kapalı önerme kümesi saptanır olan kuram.
- saptanır küme :
- İlgili evrenin herhangi bir öğesinin kendi öğesi de olup olmadığı ...
- saptanır mantıksal dizge :
- 1. Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanır bi ...
- saptanmaz mantıksal dizge :
- 1. Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanmaz b ...
- sav :
- 1. Bir önerme ile önesürülen. 2. Bir önerme ile anlamdaş olan öne ...
- sav soyutlayıcısı :
- p önermesinden, bu önermenin içlemini gösteren [p] deyimini oluşt ...
- savunulmaz önerme kümesi :
- Savunulur olmayan, başka bir deyişle hiç bir çözümleyici kümenin ...
- savunulur önerme :
- Birim kümesi savunulur olan önerme. || Krş.. savunulur önerme küm ...
- savunulur önerme kümesi :
- Bilgisel sanısal mantıkta bir çözümleyici kümenin altkümesi olan, ...
- sayal sayı :
- Bir kümenin öğe sayısı. || Sayal sayı, hiç bir öğesi kendisiyle e ...
- saydam bağlam :
- p gibi bir önermenin a adının belli bir geçişi için saydam bağlam ...
- saydamsız bağlam :
- p gibi bir önermenin a adının belli bir geçişi için saydamsız bağ ...
- sayı değişkeni :
- Değer alanı doğal sayılar kümesi olan değişken: n, m, i, j, k, I.
- sayılabilir küme :
- K kümesinin sayılabilir olması, K ile doğal sayılar kümesi arasın ...
- sayısal bağıntı :
- Alanı doğal sayılar kümesi içinde olan bağıntı.
- sayısal izerge :
- Öğeleri n-li doğal sayı dizgeleri olan bir kümeden doğal sayılar ...
- seçme ilksavı :
- Herhangi bir kümeler kümesine karşılık, bu kümelerden birer öğe s ...
-
- seçmeler mantığı :
- Bakınız: yeğlemeler mantığı
- sezgici mantık :
- Çifte değilleme ile üçüncünün olmazlığı kurallarını geçersiz saya ...
- sezgisel kümeler kuramı :
- Kümeleri, biçimsel olmayan bir dille, belli ilksavlara dayanmaksı ...
- sıfırlı bağıntı :
- Sıfırlı yüklemin ya da başka bir deyişle önermenin kaplamı olan d ...
- sıfırlı çıkarım :
- Bakınız: öncülsüz çıkarım
- sıfırlı değişken bağlayıcısı :
- Sıfır sayıda değişken ile kapalı bir deyimden belli bir kapalı de ...
- sıfırlı eklem :
- Sıfır sayıda önermeden ya da başka bir deyişle tek başına bir öne ...
- sıfırlı geçerlilik eklemi :
- Doğru bir önerme oluşturan sıfırlı doğrusal eklem: D || Sıfırlı g ...
- sıfırlı içlemsel izerge :
- Sıfırlı işlevin ya da başka bir deyişle adın içlemi olan bireysel ...
- sıfırlı işlev :
- Sıfır sayıda addan ya da başka bir deyişle tek başına bir ad oluş ...
- sıfırlı kalıp :
- Kapsadığı dizimsel değişkenlerin sayısı sıfır olan, başka bir dey ...
- sıfırlı kaplamsal izerge :
- Sıfırlı işlevin ya da başka bir deyişle adın kaplamı olan birey.
- sıfırlı öznitelik :
- Sıfırlı yüklemin ya da başka bir deyişle önermenin içlemi olan sa ...
- sıfırlı soyutlayıcı :
- (?) gibi bir deyimden ya da başka bir deyişle kapalı bir deyimden ...
- sıfırlı tamdeyim :
- Sıfır sayıda bağsız değişkeni olan ya da başka bir deyişle hiç bi ...
- sıfırlı tasımsal çıkarım :
- Öncülsüz tasımsal çıkarım. || Örn. .'. SaS ile .'. SeS sıfırlı ta ...
- sıfırlı tutarsızlık eklemi :
- Yanlış bir önerme oluşturan doğrusal eklem: Y. || Tutarsızlık ekl ...
- sıfırlı yüklem :
- Sıfır sayıda addan ya da başka bir deyişle hiç bir ad olmaksızın ...
- sıkı ayırma kuralı :
- (?) biçimindeki kipler mantığı çıkarım kuralı.
- sıkı geçerli önerme :
- Geçerli tasımsal önerme.
- sıkı tamsıralama :
- Bakışımsız, geçişli, bağlaşık bağıntı. || Krş.. tamsıralama. Örn. ...
- sıkı yarısıralama :
- Bakışımsız, geçişli bağıntı. ||Örn. Özaltküme (?) ile sıkı yeğele ...
- sınama :
- Bakınız: denetleme
- sınır sıral sayısı :
- Başka bir sıral sayının ardılı olmayan, başka bir deyişle KU {K} ...
- sıralama bağıntısı :
- Geçişli, tersbakışımlı olan herhangi bir bağıntı. Krş.. yarısıral ...
-
- sıralanmamış ikili :
- İki nesneden oluşan küme. || a ile b nin sıralanmamış ikilisi {a, ...
- sıralanmış ikili :
- Art arda gelen iki nesneden oluşan bütün. || Kümeler kuramında a ...
- simgeleştirme :
- Önermelerin tutarlılığını ya da çıkarımların geçerliliğini denetl ...
- simgeleştirme biçimi :
- Belli bir simgeleştirme işlemini yapmak üzere simgeleştirilecek d ...
- simgeleştirme inceliği :
- Bir simgeleştirmenin başka birinden ince olması, birincisinin yol ...
- simgeleştirme kabalığı :
- Bir simgeleştirmenin başka birinden kaba olması, birincisinin yol ...
- simgesel deyim :
- İçinde en az bir dizimsel değişken geçen kalıp.
- simgesel kalıp :
- Bakınız: simgesel deyim
- simgesel karşılık :
- Bir deyim ya da deyim dizisinin belli bir biçimde simgeleştirilme ...
- simgesel mantık :
- Simgesel kalıplara verdiği önemli yerden dolayı çağdaş mantığa ve ...
- sonlu küme :
- Bir doğal sayı ile eşsayılı olan küme. || Sonlu bir küme hiç bir ...
- sonlu-ötesi sayaI sayı :
- Sonsuz bir kümeden oluşan, başka bir deyişle hiç bir doğal sayı i ...
- sonlu-ötesi sıral sayı :
- Sonsuz bir kümeden oluşan sıral sayı. || Örn. Doğal sayılar kümes ...
- sonsuz küme :
- Hiç bir doğal sayı ile eşsayılı olmayan küme. ||Her sonsuz küme b ...
- sonsuz uzunlukta delimli dil :
- İm sayısı sonsuz olabilen düzgün deyimleri kapsayan biçimsel dil. ...
- sonsuzluk ilksavı :
- Boş kümeyi kapsadığı gibi, her öğesinin ardılını da kapsayan bir ...
- sonucun çıkmaması :
- Sonucu, görünüşte bile öncüllerinden çıkmayan çıkarım.
- Sonuç :
- bk. çıkarım sonucu, mantıksal sonuç, dizimsel sonuç
- sonurgu :
- Bakınız: mantıksal sonuç
- sonurtu :
- Bakınız: artbileşen
- sorular mantığı :
- Sorular ile yanıtlar arasındaki mantıksal ilişkileri inceleyen ön ...
- soyutlayıcı :
- Herhangi bir dizimsel türden (?) bir düzgün deyimden, bu deyimce ...
- sözcük tanımı :
- Anlamı önceden bilinmeyen, başka bir deyişle yeni olan bir deyimi ...
- sözeden değişken :
- Bakınız: dizimsel değişken
- sözeden dil :
- Başka bir dilin deyimlerinden sözetmek için kullanılan dil olağan ...
-
- sözeden kanıtsav :
- Bir biçimsel dili konu edinen dizimbilim, yorumbilim ya da kullan ...
- sözeden kuram :
- Bir sözedilen dilin deyimlerini konu edinen sözeden dildeki kuram ...
- sözeden mantık :
- Mantık dizgelerini bir sözeden dil aracılığıyla inceleyen bilim d ...
- sözedilen dil :
- Deyimleri başka bir dilin inceleme konusu olan, başka bir dilce s ...
- sözedilen kuram :
- Bir sözeden dilde inceleme konusu olan sözedilen dildeki kuram.
- süreler mantığı :
- Temel mantığa süresel yöneticileri katmakla oluşturulan genleşmiş ...
- süresel yönetici :
- Olmuş ile olacak yöneticisi ya da bunlar yardımıyla tanımlanan do ...