mantıksal değişmezÖnermelerin tutarlı, çıkarımların da geçerli olup olmadığını belirleyen, bütün yorumlarda aynı olağan yorumu koruyan değişmez im. || Krş.. eklem, nice
mantıksal deyimHiç bir mantıksal olmayan im kapsamayan, başka bir deyişle salt mantıksal değişmezler ile değişkenlerden oluşan deyim. || Örn. ( )
mantıksal dizgeBir biçimsel dil ile bu dile ilişkin mantıksal ilkel çıkarım kurallarından oluşan dizge. Krş.. kuram, ilksavlı kuram, geçerlimantıksal dizge, mantık d
mantıksal ilksavGeçerli bir mantıksal dizgede mantıksal, ilkel, öncülsüz bir çıkarım kuralının örneği olan sözedilen dil önermesi. || Krş.. çıkarım kuralı örneği,öncü
mantıksal ilksav kalıbıBir biçimsel dizgede, öncülsüz ilkel geçerli çıkarım kuralı. || Örn. Doğrusal eklemler mantığına ilişkin Hilbert-Ackermann mantıksal ilksav kalıpları
mantıksal imBir biçimsel dilde mantıksal değişmez ya da değişken.
mantıksal kalıpMantıksal olmayan sözedilen dil değişmezi kapsamayan kalıp.
mantıksal kanıtsavGeçerli bir mantıksal dizgede, öncülsüz bir çıkarımın sonucu olarak ya da başka bir deyişle boş kümeden türetilebilen önerme. ||Krş.. öncülsüz çıkarım
mantıksal kapanışK gibi bir önerme kümesininmantıksal kapanışı, K kümesinin mantıksal sonucu olan bütün önermelerin kümesi demektir. || Böyle bir küme mantıkça kapalı
mantıksal olmayan değişmezBir biçimsel dilin ayrı yorumlarda ayrı anlam kazanabilen bir değişmezi. || Örn. Temel mantıklı bir dilinmantıksal olmayan değişmezleri ad, yüklem, iş
mantıksal sonuçp önermesinin K gibi bir önerme kümesinin mantıksal bir sonuç'u olması, K nın p yi içermesi (K||p) demektir. || Anl. yorumsal sonuç, sonurgu.
nesne tanımıBir nesnenin zorunlu olarak taşıdığı özellikler yardımıyla belirtilmesi.
nesne tanımıAnlamı önceden belirlenmiş olan t gibi bir imin, anlamı gene önceden belirlenmiş olan ( ) gibi imler yardımıyla tanımlanabilmesi. || Krş.. tanımlanabi
niceleme imix gibi bir değişkene uygulanmakla vx biçimindeki bir niceleyici oluşturan v mantıksal değişmezi. || Dizimsel türü: (p/p)/a Krş.. tümelniceleme imi, ti
niceleme imi simgesiDeğer alanı, bir sözedilen dilin niceleme imlerinden oluşan sözeden dil değişkeni: v.