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üğü (7)
7. Sayfa
- ödev mantığı :
- Temel mantığa ödevsel yöneticileri katmakla oluşturulan genleşmiş ...
- ödev yöneticisi :
- p gibi bir önermeden Öp (p ödevdir) önermesini oluşturan doğrusal ...
- ödevce yetkin tamdurum :
- Ödev olan her durumun gerçek olduğu ya da biçimsel olarak: (...)k ...
- ödevsel almaşıktık bağıntısı :
- (?) de yansımalı olan (...) gibi bir almaşık bağıntısı.
- ödevsel önerme :
- İçinde en az bir ödevsel yönetici bulunan önerme.
- ödevsel sonuç :
- q önermesinin p gibi önermenin ödevsel sonuç'u olması, Ö(p=>q) nu ...
- ödevsel yönetici :
- Ödev ile izin yöneticisi ya da bunlar yardımıyla tanımlanan doğru ...
- Öğe :
- Bir öbeği ya da kümeyi oluşturan nesnelerden her biri. || a nesne ...
- öğelik imi :
- a nın K kümesinin öğesi olduğunu dile getiren (?) biçimindeki öne ...
- önbileşen :
- Bir koşullunun birinci anabileşeni p => q koşullusunun önbileşeni ...
- önbileşen değillemesi yanılımı :
- (?) biçimindeki geçersiz çıkarımın geçerli sanılmasından doğan ya ...
- öncül :
- Bir çıkarımın öncüller kümesini oluşturan önermelerden herhangi b ...
- öncüller kümesi :
- Bir çıkarımda verileri dile getiren önermeler kümesi çıkarımda so ...
- öncülsüz çıkarım :
- Öncüllerinin sayısı sıfıra eşit olan, başka bir deyişle hiç bir ö ...
- öncülsüz çıkarım kuralı :
- Sıfır sayıda öncülü olan ya da başka bir deyişle hiç bir öncülü k ...
- önçevirme :
- (?) || Örn. 'Bütün insanlar ölümlüdür' önermesinden önçevirme ile ...
- öndevirme :
- (?) || Örn. 'Bütün insanlar ölümlüdür'önermesinden öndevirme ile ...
- önek :
- Bir önekli yasal biçimin ön bölümündeki tüm niceleyicilerin dizil ...
- önek yazılış biçimi :
- Bir yöneten deyimin, ilişkin olduğu yönetilen deyimlerin önüne ko ...
- önekli yasal biçim :
- n sayıda (...) art arda gelen niceleyici (ön ek) ile bunların etk ...
- önekli yasal biçim üreteci :
- Önekli yasal biçimde niceleyicilerin etki alanı olan niceleyicisi ...
- önerme değişkeni :
- 1. Değer alanı, önerme kaplamlarından ya da başka bir deyişle doğ ...
- önerme değişmezi :
- Biçimsel bir dilde tek bir imden oluşan önerme başka bir deyişle ...
- önerme eklemi :
- Bakınız: eklem
- önerme eklemleri mantığı :
- Bakınız: eklemler mantığı
- önerme kalıbı :
- Bütün örnekleri önerme olan kalıp. ||Örn. (?)
-
- önerme niceliği :
- Özne-yüklem önermesinin tümel ya da tikel olma özelliği.
- önerme niteliği :
- Özne-yüklem önermesinin olumlu ya da olumsuz olma özelliği.
- önerme simgesi :
- Olağan yorumdaki değer alanı, sözedilen dilin önermelerinden ya d ...
- önerme, :
- 1. Bir savı öne süren ya da bir durumu dile getiren (genellikle b ...
- önermeler mantığı :
- Bakınız: eklemler mantığı
- önermesel mantık :
- Bildirsel tümcelerden (önermelerden) oluşan bir sözedilen dile il ...
- önermesel olmayan mantık :
- Bildirsel olmayan tümceler kapsayan bir sözedilen dile ilişkin ma ...
- önerti :
- Bakınız: önbileşen
- önesürüş :
- Bir önermenin belli bir kişice belli bir anda belli bir savı dile ...
- örnekle tanım :
- t gibi bir deyimin, kaplamına giren birtakım somut nesneler arası ...
- örtük tanım :
- Belirtik olmayan dilsel tanım. || Krş.. tümevarımlı tanım, yinelg ...
- öz olmayan bileşen :
- Önermenin kendisi.
- özaltdeyim :
- Bir düzgün deyimin kendinden başka olan altdeyimi. || Her dolaysı ...
- özaltküme :
- Bir kümenin kendisiyle özdeş olmayan alt kümesi. || Örn. {1,2} kü ...
- özbileşen :
- Bir önermenin kendinden başka olan herhangi bir bileşeni.
- özbirey :
- Kümeler kuramında, küme ya da öbek olmayan evren öğesi bir nesne.
- özbireyli öbek :
- En az bir kurucu öğesi özbirey olan öbek. || Krş.. salt öbek.
- özdeğişmez :
- Değişken bağlama imi ya da yönetici olmayan değişmez. Krş.. birey ...
- özdeşlik :
- Bakınız: eşitlik
- özel değişmez :
- Mantıksal olmayan değişmez. Krş.. özdeğişmez.
- özel ilksav :
- Özel ilksavlar kümesinin öğesi olan tamdeyim.|| Anl. mantıksal ol ...
- özel ilksavlar kümesi :
- Bir biçimsel dizgenin geçersiz önermeleri arasından seçilmiş, sap ...
- özelik :
- Bakınız: özellik
- özelleme kuralları :
- Tümel ve tikel özelleme kurallarının ortak adı.
- özellik :
- Tam-durumlar kümesinden p/a türünden kaplamsal nesneler kümesine ...
-
- özellik yüklemi :
- Birli yüklem içlemi bir özellik olan yüklem.
- özne :
- SaP, SeP,SiP,SoP gibi bir özne-yüklem önermelerinde geçen S terim ...
- özne-yüklem önerme kalıbı :
- Örnekleri özne-yüklem önermesi olan kalıp SaP, SeP, SiP, SoP. (S, ...
- özne-yüklem önermesi :
- S ile P gibi birli yüklemlerden oluşan (?) (ya da kısaca SaP, SeP ...
- özne-yüklem önermesi niceliği :
- Özen-yüklem önermelerinin tümel ya da tikel olma özelliği.
- özne-yüklem önermesi niteliği :
- Özne-yüklem önermelerinin olumlu ya da olumsuz olma özelliği.
- öznitelik :
- Özellik, sav ya da içlemsel bağıntı. || Herhangi bir n-Ii (?) yük ...
- öznitelik soyutlayıcısı :
- (?) Krş.. sav soyutlayıcısı.
- özöbek :
- Hiç bir öbeğin öğesi olmayan öbek. || Örn. Bütün kümelerin öbeği ...
- Quine yöntemiyle doğruluk değeri çözümlemesi :
- Bir bileşik önermede en çok geçen yalınç bileşeni bir kez D bir k ...
- rakam :
- Bîr doğal sayıyı göstermeğe yarayan ad. || Biçimsel sayı kuramınd ...
- 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.