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

ya da :

Tikel-evetleme ekleminin Türkçe'deki bir karşılığı

yalın önerme :

Bakınız: Çekirdek Önerme

yalın sıralama :

Bakınız: Tam Sıralama

yalın tasım :

Bütün terimieri yalın terim olan, başka bir deyişle hiç bir olums ...

yalın tasım kalıbı :

Örnekleri yalın tasım olan kalıp. || Bütün yalın tasım kalıpların ...

yalın terim :

Olumsuzlamalı olmayan terim.

yalınç bileşen :

Özbileşeni olmayan bileşen.

yalınç eşitlik kuramı :

Mantıksal olmayan değişmezler ile mantıksal olmayan ilksavlardan ...

yalınç öbekler kuramı :

Salt özbireyler ile özbirey kümelerini konu edinen kümeler kuramı ...

yalınç önerme :

Anaeklemi, dolayısıyla anabileşeni olmayan önerme. || Anl. basit ...

yalınç özellik yüklemi :

Eklemsi türünden anayöneteni olmayan özellik terimi.

yalınç tamdeyim :

Ana eklemi olmayan tamdeyim.

yalınç yapıcı ikilem :

(?) biçimindeki çıkarım kuralı.

yalınç yıkıcı ikilem :

(?) biçimindeki çıkarım kuralı.

yalınç yöneticiler mantığı :

Bir tek ilkel yöneticisi olan yöneticiler mantığı dizgesi. || Örn ...

yalınlaştırma kuralları :

Quine yöntemiyle doğruluk değeri çözümlemesinde kullanılan: eşdeğ ...

yanıIım :

Geçersiz olmakla birlikte geçerli görünen çıkarım. || Krş.. artbi ...

yanıltmaca :

Yanıltmak, kandırmak amacıyla bilinçli olarak ortaya konan bir ya ...

yanlış önerme :

Kendi olağan yorumunda gerçek bir durumu dile getirmeyen önerme d ...

yanlışlam :

Bakınız: yanlışlayıcı yorum

yanlışlayıcı yorum :

Bir önerme kümesinin en az bir öğesini yanlış kılan bir yorum. || ...

yansımalı bağıntı :

ß bağıntısının K kümesinde yansımalı olması, K nın x gibi herhang ...

yansımasız bağıntı :

ß bağıntısının K kümesinde yansımasız olması, K nın x gibi herhan ...

yararlılık ölçüsü :

p gibi bir önermeye uygulandığında (?) p (p nin olmasının göreli ...

yaratıcı olmama :

(?) dizgesinin de kanıtsavı olması demektir. ||Krş.. belirtik tan ...

yardımcı im :

(?) Krş.. ayraçsız yazılış biçimi.

yargı :

Geleneksel mantıkta: önermenin dile getirdiği düşünce ya da başka ...

yarıanma imleri :

Dizimsel değişkenlerle sözedilen dil imlerinden oluşan karma bir ...

yarıçevirme :

Önçevirme ya artçevirmenin ortak adı.

yarıdevirme :

Öndevirme ile artdevirmenin ortak adı.

yarısıralama :

Yansımalı, ters bakışımlı, geçişli bağıntı. || Örn. Altküme bağın ...

yasak yöneticisi :

(?) (p yasaktır) biçiminde tanımlanan doğrusal olmayan birli ekle ...

yasal biçim :

Belli bir yasal biçim özelliğini taşıyan önerme. || yasal biçimle ...

yeğleme almaşıklık bağıntısı :

Yansımasız, geçişli, ters bakışımlı olan bir almaşıklık bağıntısı ...

yeğleme yönetici :

Sıkı yeğleme, ilgisizlik, gevşek yeğleme yöneticisi ya da bunlar ...

yeğlemeler mantığı :

Temel mantığa yeğleme yöneticilerini katmakla oluşturulan genleşm ...

yer sayısı :

Bir yöneten deyimin yer sayısı, ilişkin olduğu yönetilen deyimler ...

yer tutucu simge :

Sözedilen dilin belli bir dizimsel türden deyimlerinin yerini tut ...

yerine koyma :

A deyiminde B yerine C koyma işlemi, A deyimindeki B nin bir ya d ...

yerine koyma ilksavı :

Önalanı küme olan bir izergenin artalanının da küme olduğunu dile ...

yeter koşul :

Bakınız: yeterli koşul

yeterli koşul :

(?) ||Anl. yeter koşul. Krş.. gerekli koşul.

yinelemeli kipsel önerme :

Yönetileni kipsel önerme olan bir kipsel yöneticiyi kapsayan öner ...

yinelgeli sayılabilir küme :

K gibi bir deyim kümesinin yinelgeli sayılabilir olması, K nın ya ...

yinelgen bağıntı :

Yinelgen bir küme oluşturan bağıntı. || Örn. Doğal sayılar arasın ...

yinelgen izerge :

1. Temel mantıklı sayı kuramında belirtilebilen sayısal izerge. 2 ...

yinelgen küme :

Ayırdedici izergesi işlemlenebilir olan küme. || Anl. saptanır kü ...

yorum :

Bir biçimsel dilin her kapalı düzgün deyimine karşılık belli bir ...

yorum biçimi :

Belli bir yorum işleminde mantıksal olmayan değişmezlerin tek tek ...

yorumbilim :

Birsözedilen dilin olağan yorumuyla tüm olanaklı yorumlarını beli ...

yorumlama :

Bakınız: yorum

yorumlanan :

Yorum işleminin uygulandığı deyim, deyimler kümesi ya da çıkarım.

yorumlanmış biçimsel dil :

Bir biçimsel dil ile bu dilin bir yorumundan oluşan dizge. || Anl ...

yorumlayan :

Sözedilen dildeki bir deyimin ya da çıkarımın belli bir yorumda k ...

yorumsal anlam :

Bir biçimsel dilde belli bir düzgün deyimin belli bir yorumda kaz ...

yorumsal dizge :

Bakınız: yorumlanmış biçimsel dil

yorumsal eksikli ilksavlı kuram :

Olağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavl ...

yorumsal eksiksiz ilksavlı kuram :

Olağan yorumda doğru olan her önermesi kanıtlanabilen tutarlı ilk ...

yorumsal eksiksiz olamayan kuram :

İlksavlandırılır olmayan kuram. || Örn. Kümeler kuramı sayı kuram ...

yorumsal sonuç :

Bakınız: mantıksal sonuç

yorumsal sözeden dil :

Sözedilen dilin deyimleriyle bu deyimlerin anlamlarından söz etme ...

yorumsal tanım :

Sözeden dildeki bir deyimin kaplamını ya da içlemini belirleyen y ...

yorumsal tutarlı önerme :

Bakınız: tutarlı önerme

yorumsal tutarlı önerme kümesi :

Bakınız: tutarlı önerme kümesi

yorumsal tutarlı tamdeyim :

Bakınız: tutarlı tamdeyim

yorumsal tutarsız önerme :

Bakınız: tutarsız önerme

yöneten deyim :

(?) . Krş.. Uygulanabilme

yönetici :

1. Doğrusal olmayan eklem. || Krş.. kipsel yönetici, mantıksal ki ...

yöneticiler mantığı :

Temel mantığa bir ya da birden çok sayıda yönetici (doğrusal olma ...

yöneticiler mantığı çözümleyici kümesi :

Yöneticilere ilişkin almaşıklık bağıntılarının gerektirdiği koşul ...

yönetilen deyim :

Bir yöneten deyimin bir araya getirdiği düzgün deyimlerden her bi ...

yüklem :

(?) || Örn. SaP önermesinin yüklemi P terimidir.

yüklem değişkeni :

1. Değer alanı n-li yüklem kaplamlarından ya da başka bir deyişle ...

yüklem değişmezi :

Yüklem (?) dizimsel türünden olan değişmez im.

yüklem simgesi :

Olağan yorumda değer alanı bir sözeden dilin n-li yüklemlerinden ...

yüklemci :

Bakınız: Yüklem

yüklemeli olmayan tanım :

Bir öbeğin belli bir öğesinin, bu öbeğin tüm öğelerine (dolayısıy ...

yüklemler mantığı :

Mantıksal değişmezleri en azından eklemleri, mantıksal olmayan de ...

yüksek basamak mantığı :

Bireysel olmayan değişkenleri olan mantık dizgesi.

yükümlülük mantığı :

Bakınız: Ödev mantığı