eng

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

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
O - 1. Sayfa
O: :
Tikel olumsuz önermenin simgesi.
olacak yöneticisi :
p gibi olmakta olana ilişkin bir önermeden, olacağa ilişkin Oc p( ...
olacaklı almaşıklık bağıntısı :
(?) koşulunu yerine getiren ß almaşıklık bağıntısı.
olağan kaplam :
Olağan yorumdaki gerçek kaplam.
olağan yorum :
Bir dili kullananların bu dilin değişmezlerine verdikleri anlamı ...
olanaklı birey :
Gerçek ya da gerçek olmayan bir tamdurumda varolan birey.
olanaklı kaplam :
(?) ||Krş..kaplam izergesi.
olanaklılık dağıtıcılığı :
(...) (...) q eşdeğerliliğini dile getiren kipler mantığı kuralı ...
olanaklılık giriş kuralı :
(?) biçimindeki kipler mantığı çıkarım kuralı.
olanaklılık yöneticisi :
p gibi bir önermeden p (p olanaklıdır) önermesini oluşturan doğr ...
olanaksızlık yöneticisi :
(?) (p olanaksızdır) biçiminde tanımlanan doğrusal olmayan birli ...
olgu :
Bakınız: gerçek durum
olmayana ergi yöntemi :
Bakınız: dolaylı türetim
olmuş yöneticisi :
p gibi olmakta olana ilişkin bir önermeden, olmuşa ilişkin Om p ( ...
olmuşlu almaşıklık bağıntısı :
(?) koşulunu yerine getiren ß almaşıklık bağıntısı
olumlu önerme :
Tümel olumlu ya da tikel olumlu önerme. || Anl. evetleyici önerme ...
olumsal önerme :
Kendisi de değillemeside olanaklı olan önerme: (?) (p olumsaldır) ...
olumsallık yöneticisi :
(?) olumsaldır) biçiminde tanımlanan doğrusal olmayan birli eklem ...
olumsuz önerme :
Yükleminin önünde değilleme eklemi geçen özne-yüklem önermesi. || ...
olumsuzlamalı terim :
(?) Örn. İnsan olmayan.
olumsuzlamasız terim :
Yalın terim. || Örn. İnsan.
orta terim :
Bir tasımda sonuçta geçmeyip büyük ile küçük öncüle ortak olan te ...