mantık alanındaki kelimeler

mantık

1.118 anlam

saptanır küme İlgili evrenin herhangi bir öğesinin kendi öğesi de olup olmadığı sonlu sayıda adımla belirlenebilen küme. || Ayırt edici izergesi işlemlenebilir olan
saptanır mantıksal dizge Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanır bir küme oluşturan mantıksal dizge.
saptanır mantıksal dizge Geçerli çıkarımlarının geçerliliğini geçersiz çıkarımlarının da geçersizliğinin denetlenebilmesini sağlayan mantıksal dizge. || Örn. Doğrusal eklemler
saptanmaz mantıksal dizge Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanmaz bir küme oluşturan mantıksal dizge.
saptanmaz mantıksal dizge Geçersiz çıkarımların geçersizliğinin denetlenebilmesini sağlamayan mantıksal dizge. || Örn. Çoklu yüklemler mantığı, temel mantık, yüksek basamak man
sav soyutlayıcısı p önermesinden, bu önermenin içlemini gösteren [p] deyimini oluşturan [...] birli işlevi. || Anl. sıfırlı öznitelik soyutlayıcısı.
savunulmaz önerme kümesi Savunulur olmayan, başka bir deyişle hiç bir çözümleyici kümenin altkümesi olmayan önerme kümesi. || Krş.. savunulur önerme kümesi.
savunulur önerme kümesi Bilgisel sanısal mantıkta bir çözümleyici kümenin altkümesi olan, başka bir deyişle tutarlı olan önerme kümesi.
sayal sayı Bir kümenin öğe sayısı. ||sayal sayı, hiç bir öğesi kendisiyle eşsayılı olmayan sıral sayı olarak tanımlanabilir, Örn. Her doğal sayı (hiç bir öğesiyl
saydamsız bağlam p gibi bir önermenin a adının belli bir geçişi içinsaydamsız bağlam olması, p nin a adının bu geçişi için saydam bağlam olmaması demektir.||Örn. ()
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ında bir tameşlemenin bulunması demektir.
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 kümesine yapılan izerge.
seçme ilksavı Herhangi bir kümeler kümesine karşılık, bu kümelerden birer öğe seçmekle oluşturulan kümenin varolduğunu dile getiren ilksav.
seçmeler mantığı Yeğlemeler mantığı.
sembolleştirme bk. simgeleştirme
serbest mütehavvil bk. bağsız değişken
sezgici mantık Çifte değilleme ile üçüncünün olmazlığı kurallarını geçersiz sayan bir mantık dizgesi.
sezgisel kümeler kuramı Kümeleri, biçimsel olmayan bir dille, belli ilksavlara dayanmaksızın inceleyen matematik bölümü. || Böyle bir yaklaşım çelişmelere yol açmıştır.
sıfırlı bağıntı Sıfırlı yüklemin ya da başka bir deyişle önermenin kaplamı olan doğruluk değeri.
sıfırlı çıkarım bk. ö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ı deyimi oluşturan yöneten deyim.
sıfırlı eklem Sıfır sayıda önermeden ya da başka bir deyişle tek başına bir önerme oluşturan eklem. ||sıfırlı eklem bir önerme demektir. || D ile Ysıfırlı eklemlerd
sıfırlı geçerlilik eklemi Doğru bir önerme oluşturan sıfırlı doğrusal eklem: D ||sıfırlı geçerlilik eklemi, doğrusal geçerli (mantıkça doğru) bir önerme sayılmalıdır.
sıfırlı içlemsel izerge Sıfırlı işlevin ya da başka bir deyişle adın içlemi olan bireysel kavram.
sıfırlı işlev Sıfır sayıda addan ya da başka bir deyişle tek başına bir ad oluşturan yöneten deyim. || Hersıfırlı işlev bir ad demektir.
sıfırlı kalıp Kapsadığı dizimsel değişkenlerin sayısı sıfır olan, başka bir deyişle hiç bir dizimsel değişkeni olmayan kalıp. || Hersıfırlı kalıp, sözedilen dilin b
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 sav ya da durum.
sıfırlı soyutlayıcı () gibi bir deyimden ya da başka bir deyişle kapalı bir deyimden, bu deyimin kaplamını ya da içlemini gösteren bir deyim oluşturan sıfırlı değişken b
sıfırlı tamdeyim Sıfır sayıda bağsız değişkeni olan ya da başka bir deyişle hiç bir bağsız değişkeni olmayan tamdeyim: () || Anl. önerme, kapalı önerme.
sıfırlı tasımsal çıkarım Öncülsüz tasımsal çıkarım. || Örn. .'. SaS ile .'. SeSsıfırlı tasımsal çıkarımlardır.
sıfırlı tutarsızlık eklemi Yanlış bir önerme oluşturan doğrusal eklem: Y. || Tutarsızlık eklemi, doğrusal tutarsız (mantıkça yanlış) bir önerme sayılmalıdır.
sıfırlı yüklem Sıfır sayıda addan ya da başka bir deyişle hiç bir ad olmaksızın tek başına bir önermeyi oluşturan yöneten deyim. || Hersıfırlı yüklem bir önerme deme
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. Gerçel sayılar arasındaki "büyük olma" (>) bağıntısı birsıkı tamsıralamadır.
sıkı yarısıralama Bakışımsız, geçişli bağıntı. ||Örn. Özaltküme () ile sıkı yeğeleme (») bağıntılarısıkı yarısıralamalardır.
sınıflar hesabı bk. yalınç öbekler kuramı
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} biçiminde olmayan sıral sayı. || Örn. Boş küme olarak tanımlanan 0 sayısı sonlu birsı
sıralama bağıntısı Geçişli, tersbakışımlı olan herhangi bir bağıntı. Krş.. yarısıralama, tamsıralama, sıkı yarısıralama, sıkı tamsıralama.
sıralanmamış ikili İki nesneden oluşan küme. || a ile b ninsıralanmamış ikilisi {a, b} olarak gösterilir.
sıralanmış ikili Art arda gelen iki nesneden oluşan bütün. || Kümeler kuramında a ile b ninsıralanmış ikilisi biçiminde gösterilip, {{a}, {a, b}} kümesi olarak tanıml
simgeleştirme Önermelerin tutarlılığını ya da çıkarımların geçerliliğini denetlemek amacıyla bunların kimi bölümleri yerine bu bölümlerin dizimsel türlerine uygun s
simgeleştirme biçimi Belli bir simgeleştirme işlemini yapmak üzere simgeleştirilecek deyimlerle bunların karşılığı olan tek tek simgeleri belirten dizge. || Örn. ()
simgeleştirme inceliği Bir simgeleştirmenin başka birinden ince olması, birincisinin yol açtığı simgesel karşılıkların ikincinin yol açtıklarından daha uzun olması demektir.
simgeleştirme kabalığı Bir simgeleştirmenin başka birinden kaba olması, birincisinin yol açtığı simgesel karşılıkların ikincisinin yol açtıklarından daha kısa olması demekti
simgesel deyim İçinde en az bir dizimsel değişken geçen kalıp.
simgesel kalıp bk. simgesel deyim.