| 1051 | yorumlama | bk. yorum. |
| 1052 | yorumlanan | Yorum işleminin uygulandığı deyim, deyimler kümesi ya da çıkarım. |
| 1053 | yorumlanmış biçimsel dil | Bir biçimsel dil ile bu dilin bir yorumundan oluşan dizge. || Anl. yorumsal dizge. |
| 1054 | yorumlayan | Sözedilen dildeki bir deyimin ya da çıkarımın belli bir yorumda kazandığı anlamı belirten sözeden dildeki deyim sözedilen dildeki yorumlanan deyimin sözeden dildeki çevirisi. |
| 1055 | yorumsal anlam | Bir biçimsel dilde belli bir düzgün deyimin belli bir yorumda kazandığı yorumsal anlam, bu yoruma göre düzgün deyime bağlanan nesne demektir. || Kaplam ya da içlem yorumsal anlamdır. |
| 1056 | yorumsal dizge | Yorumlanmış biçimsel dil. |
| 1057 | yorumsal eksikli ilksavlı kuram | Olağan yorumda doğru ama kanıtlanamayan bir önermesi olan ilksavlı kuram. || Örn. İlksavlı kümeler kuramı. |
| 1058 | yorumsal eksiksiz ilksavlı kuram | Olağan yorumda doğru olan her önermesi kanıtlanabilen tutarlı ilksavlı kuram. Örn. yalınç öbekler kuramı. |
| 1059 | yorumsal eksiksiz olamayan kuram | İlksavlandırılır olmayan kuram. || Örn. Kümeler kuramı sayı kuramı. |
| 1060 | yorumsal sonuç | bk. mantıksal sonuç. |
| 1061 | yorumsal sözeden dil | Sözedilen dilin deyimleriyle bu deyimlerin anlamlarından söz etmek üzere, olağan yorumdaki evreni bu deyimler ile anlamlarından, bir de deyimler ile anlamları üzerine kurulu kümelerden oluşan sözeden dil. |
| 1062 | yorumsal tanım | Sözeden dildeki bir deyimin kaplamını ya da içlemini belirleyen yorumsal sözeden dildeki bir deyimden oluşan dilsel tanım. (
) |
| 1063 | yorumsal tutarlı önerme | bk. tutarlı önerme. |
| 1064 | yorumsal tutarlı önerme kümesi | bk. tutarlı önerme kümesi. |
| 1065 | yorumsal tutarlı tamdeyim | bk. tutarlı tamdeyim. |
| 1066 | yorumsal tutarsız önerme | bk. tutarsız önerme. |
| 1067 | yöneten deyim | (
) . Krş.. uygulanabilme 1. |
| 1068 | yöneten deyim kapanışı | (
) |
| 1069 | yönetici | 1. Doğrusal olmayan eklem. || Krş.. kipsel yönetici, mantıksal kipsel yönetici, bilgisel yönetici sanısal yönetici, ödevsel yönetici, yeğleme yöneticisi, süresel yönetici. 2. Kapalı deyimlerden bir kapalı deyim oluşturan yöneten deyim.|| Değişken bağlama imleriyle değişken bağlayıcıları yöneten deyimler olmakla birlikte yönetici değillerdir. |
| 1070 | yöneticiler mantığı | Temel mantığa bir ya da birden çok sayıda yönetici (doğrusal olmayan eklem) katmakla oluşturulan genleşmiş mantık dizgesi. Krş.. yalınç yöneticiler mantığı, karmaşık yöneticiler mantığı. |
| 1071 | yöneticiler mantığı çözümleyici kümesi | Yöneticilere ilişkin almaşıklık bağıntılarının gerektirdiği koşulları yerine getiren temel mantıklı çözümleyici küme. || Krş.. kipsel almaşıklık bağıntısı, bilgisel almaşıklık bağıntısı, sanısal almaşıklık bağıntısı, ödevsel almaşıklık bağıntısı, yeğleme almaşıklık bağıntısı, olmuşlu almaşıklık bağıntısı, olacaklı almaşıklık bağıntısı. |
| 1072 | yönetilen deyim | Bir yöneten deyimin bir araya getirdiği düzgün deyimlerden her biri.|| (
) |
| 1073 | yüklem | (
) || Örn. SaP önermesinin yüklemi P terimidir. |
| 1074 | yüklem değişkeni | 1. Değer alanı n-li yüklem kaplamlarından ya da başka bir deyişle n-li kaplamsal bağıntılardan oluşan değişken. 2. Değer alanı n-li yüklem içlemlerinden ya da başka bir deyişle n-li özniteliklerden oluşan bireysel olmayan değişken. |
| 1075 | yüklem değişmezi | Yüklem (
) dizimsel türünden olan değişmez im. |
| 1076 | yüklem kapanışı | (
) |
| 1077 | yüklem simgesi | Olağan yorumda değer alanı bir sözeden dilin n-li yüklemlerinden oluşan dizimsel sözeden dil değişkeni: (
) || Anl. dizimsel yüklem değişkeni. |
| 1078 | yüklemci | Yüklem. |
| 1079 | yüklemeli olmayan tanım | Bir öbeğin belli bir öğesinin, bu öbeğin tüm öğelerine (dolayısıyla bu öğenin kendisine de) dayanan tanımı. || Örn. Bir nesnenin "kendi öğesi olmayan öbeklerin öbeği" olarak tanımı yüklemeli olmayan bir tanımdır. |
| 1080 | yüklemler mantığı | Mantıksal değişmezleri en azından eklemleri, mantıksal olmayan değişmez türleri de en azından ad ve yüklemleri kapsayan temel mantık bölümü. Krş.. birli yüklemler mantığı. |