| 991 | varsayım | Kanıtlanmadan geçici ya da kalıcı olarak benimsenen önerme. |
| 992 | Venn çizgesi | n sayıda küme arasındaki ilişkileri ortaya koymak amacıyla, bu kümelerin birbirini kesen (yuvarlak ya da yassı) çemberlerle belirtilmesinden oluşan çizge. || Birbirini kesen n sayıdaki çember, düzlemi (...) sayıda ayrık bölgeye böler. Boş olduğu bilinen bölgeler karalanır, boş olmadığı bilinenler ise (x gibi) özel bir imle belirtilir. (
) |
| 993 | ya da | Tikel-evetleme ekleminin Türkçe'deki bir karşılığı |
| 994 | yalın önerme | bk. çekirdek önerme. |
| 995 | yalın sıralama | bk. tam sıralama. |
| 996 | yalın tasım | Bütün terimieri yalın terim olan, başka bir deyişle hiç bir olumsuzlamalı terimi olmayan tasım, |
| 997 | yalın tasım biçimleri | (
) |
| 998 | yalın tasım kalıbı | Örnekleri yalın tasım olan kalıp. || Bütün yalın tasım kalıplarının sayısı 256 ya eşittir. Bunlardan 15 i sıkı 9 u ise gevşek geçerlidir. |
| 999 | yalın terim | Olumsuzlamalı olmayan terim. |
| 1000 | yalınç bileşen | Özbileşeni olmayan bileşen. |
| 1001 | yalınç çıkarım | (
) |
| 1002 | yalınç eşitlik kuramı | Mantıksal olmayan değişmezler ile mantıksal olmayan ilksavlardan yoksun temel mantıklı biçimsel kuram. || Bu kuramın abecesi eklemler, niceleyiciler eşitlik ile değişkenlerden oluşup, kuramın önermelerinde geçen tek yüklem eşitliktir. |
| 1003 | yalınç öbekler kuramı | Salt özbireyler ile özbirey kümelerini konu edinen kümeler kuramı bölümü. |
| 1004 | yalınç önerme | Anaeklemi, dolayısıyla anabileşeni olmayan önerme. || Anl. basit önerme. |
| 1005 | yalınç özellik yüklemi | Eklemsi türünden anayöneteni olmayan özellik terimi. |
| 1006 | yalınç tamdeyim | Ana eklemi olmayan tamdeyim. |
| 1007 | yalınç yapıcı ikilem | (
) biçimindeki çıkarım kuralı. |
| 1008 | yalınç yıkıcı ikilem | (
) biçimindeki çıkarım kuralı. |
| 1009 | yalınç yöneticiler mantığı | Bir tek ilkel yöneticisi olan yöneticiler mantığı dizgesi. || Örn. yalnız ödevsel yöneticileri olan yöneticiler mantığı dizgesi. Krş.. karmaşık yöneticiler mantığı. |
| 1010 | yalınlaştırma kuralları | Quine yöntemiyle doğruluk değeri çözümlemesinde kullanılan: eşdeğerlik kuralları. (
) |
| 1011 | yanıIım | Geçersiz olmakla birlikte geçerli görünen çıkarım. || Krş.. artbileşenin evetlemesi yanılımı,. önbileşenin değillemesi yanılımı. |
| 1012 | yanıltmaca | Yanıltmak, kandırmak amacıyla bilinçli olarak ortaya konan bir yanılım. |
| 1013 | FALSE | Sözeden dildeki 'yanlıştır' birli yükleminin içlemi olan yanlış olma özelliği. || Doğruluk çizelgelerinde geçen 'Y' ya da '0' simgesi bu özelliğin sözeden dildeki adıdır. || Krş.. doğruluk değeri, doğru. |
| 1014 | yanlış önerme | Kendi olağan yorumunda gerçek bir durumu dile getirmeyen önerme doğru olmayan önerme değiliemesi doğru olan önerme. |
| 1015 | yanlışlam | bk. yanlışlayıcı yorum. |
| 1016 | yanlışlayıcı yorum | Bir önerme kümesinin en az bir öğesini yanlış kılan bir yorum. || Örn. {2 |
| 1017 | yansımalı bağıntı | ß bağıntısının K kümesinde yansımalı olması, K nın x gibi herhangi bir öğesi için sıralanmış ikilisinin ß nın Öğesi olmasıdır. || (
) |
| 1018 | yansımasız bağıntı | ß bağıntısının K kümesinde yansımasız olması, K nın x gibi herhangi bir öğesinden oluşan sıralanmış ikilisinin ß nın öğesi olmamasıdır. || (
) |
| 1019 | yararlılık ölçüsü | p gibi bir önermeye uygulandığında (
) p (p nin olmasının göreli istenirlik niceliği) gibi bir terim oluşturan birli yönetici. |
| 1020 | yaratıcı olmama | (
) dizgesinin de kanıtsavı olması demektir. ||Krş.. belirtik tanım. |