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

öbek soyutlayıcısı :

Bakınız: öbekleyici

öbekleme ilksav kalıbı :

Herhangi bir birli açık önermeyi gerçekleyen özbirey ya da kümele ...

öbeklenim :

{x|...} öbekleyicisini Px gibi bir açık önermeye uygulamakla oluş ...

öbekleyici :

(?) birli açık önermesinden, bu açık önermeyi gerçekleyen özbirey ...

ödev dağıtıcılığı :

(?) eşdeğerliğini dile getiren ödev mantığı kuralı.

ödev değillemesi :

(?) eşdeğerliklerini dile getiren ödev mantığı kuralları.

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