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

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