üretilen çözümleyici kümeBelli bir mantık dizgesinde, K gibi bir önerme kümesinceüretilen çözümleyici küme, bu mantık dizgesine ilişkin K yı kapsayan en küçük bir çözümleyici
varlıksal varsaymaGevşek geçerli bir tasımsal çıkarımın geçerliliğini sağlamak amacıyla, bu çıkarımda geçen bir terimi kendisinin ya da olumsuzlamasının boş olmadığının
varolma imia adından, a nın gerçek bir nesneyi gösterdiğini dile getiren Va biçimindeki önermeyi oluşturan mantıksal değişmez niteliğindeki V birli yüklem imi. |
venn çizgesin 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 çi
ya daTikel-evetleme ekleminin Türkçe'deki bir karşılığı
yalın tasımBütün terimieri yalın terim olan, başka bir deyişle hiç bir olumsuzlamalı terimi olmayan tasım,
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.
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
yalınç öbekler kuramıSalt özbireyler ile özbirey kümelerini konu edinen kümeler kuramı bölümü.
yalınç önermeAnaeklemi, dolayısıyla anabileşeni olmayan önerme. || Anl. basit önerme.
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öneti
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. || ( )
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. || ( )
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.
yaratıcı olmama( ) dizgesinin de kanıtsavı olması demektir. ||Krş.. belirtik tanım.
yarıanma imleriDizimsel değişkenlerle sözedilen dil imlerinden oluşan karma bir deyimin sözeden dilde bir terim olduğunu belirtmek amacıyla deyimin başı ile sonuna k
yasak yöneticisi( ) (p yasaktır) biçiminde tanımlanan doğrusal olmayan birli eklem.
yasal biçimBelli biryasal biçim özelliğini taşıyan önerme. ||yasal biçimler genellikle denetleme yöntemlerinde kullanılır. Krş.. tümel-evetlemeliyasal biçim, tik
yer sayısıBir yöneten deyiminyer sayısı, ilişkin olduğu yönetilen deyimlerin sayısı demektir.
yer tutucu simgeSözedilen dilin belli bir dizimsel türden deyimlerinin yerini tutan, ama kendisi hiç bir yorumda belli bir anlam kazanmadığı gibi herhangi bir değişke