eng

TDK Mantık Terimleri Sözlüğü (Ö)

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
Ö - 1. Sayfa
ö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 ...