Yüklem değişken - Predicate variable

Olarak birinci dereceden mantık , bir öncül değişken (terimler arasında) bir ilişki için beklemeye ancak özellikle herhangi bir ilişki (ya da anlamını) atanmamış bir yüklem mektup. In Birinci derece mantık (FOL) daha düzgün çağrılabilir üstdilsel değişkenleri . Daha yüksek derece mantık olarak, yüklem değişkenler tekabül önerme değişkenler dayanabilir iyi oluşturulmuş formüller , aynı mantık ve bu değişkenler (en azından) ikinci dereceden vasıtasıyla belirlenebilir Nicelik .

kullanım

Metavariable anlamda, bir öncül değişkeni tanımlamak için kullanılabilir belit şeması . Yüklem değişkenler yüklem harflerin farklı (hariç) seti ile veya gerçekten kendi içinde kendi özel anlam var kendi sembollerle ya temsil edilebileceğini yüklem sabitler, ayırt edilmelidir söylem etki : örn . ${\ Displaystyle =, \ \ içinde, \ \ leq, \ <\ \ alt küme, ...}$

Harfler yüklem sabitleri için olduğu kadar yüklem değişkenler için kullanılırsa, o zaman aralarında ayrım bir yolu olmalı. Örneğin, harf W , X , Y, , Z harfleri ise, yüklem değişkenleri temsil etmek için tayin edilebilir bir , B , C , ..., U , V yüklem "sabitleri" temsil edebilir. Bu harfler yeterli değilse, o zaman, sayısal alt simgeler eklenebilir, örneğin X, ₁ , x ₂ , X- ₃ , ... Bununla birlikte, yüklem değişkenleri yüklem taşı kelime ait olarak algılanan (ya da tanımlanır) değilse, o zaman yüklem olan metavariables yüklem harflerin kalanı sadece "yüklem harfler" denir, oysa. Metavariables aksiyomu şemalarla (belit şemaya türetilmiş) teoremi şemaları için kodlamak için kullanılan anlaşılmalıdır. "Yüklem harfler" sabit veya değişken olsun ince bir noktadır: aynı anlamda sabitler olmayan yüklem sabitlerdir veya bu sayısal sabitlerdir. ${\ Displaystyle = \ \ olarak, \ \ eşdeğer, \ <, \ \ alt-kümesi,}$${\ Displaystyle 1 \ 2 \ 3 \ {\ sqrt {2}} \ \ pi, \ e \}$

Başka bir seçenek de metavariable yüklemler temsil etmek Yunan küçük harfler kullanmaktır. Daha sonra, bu harfler yüklem hesabı tüm iyi biçimli formüller (wff) temsil etmek için kullanılabilir: wff herhangi bir serbest değişken şartlar Yunan harfli yüklemi açısından olarak dahil edilebilir. Bu, daha yüksek dereceden mantığı oluşturulmasına yönelik bir ilk adımdır.

"Öncül değişkenler" sadece sıfır harfleri yüklem bağlanabilir izin verilirse Arity örneğin harfler (temsil bağımsız değişken var), önermeler , daha sonra bu değişkenler önerme değişkenler ve herhangi bir öncül mantığı ki ikinci dereceden nicelik kullanılmasına izin verir bu önerme değişkenleri bağlamak için bir ikinci dereceden yüklem taşı, ya da ikinci dereceden bir mantık .

Yüklem değişkenler de tekli veya daha yüksek Arity var ve harfleri esas almamız bağlı kalmayı izin verilirse bu tür mektuplar temsil zaman önermeler fonksiyonları tür değişkenler olmak varken tartışmaların alanı farklı önermeler bir dizi eşleştirilmiş edilir ve öyle ki, önermeler bu kümelerine Nicelik bağlı, sonuç daha yüksek yüklem taşı, ya da daha yüksek dereceden bir mantık .

Referanslar

• Rudolf Carnap ve William H. Meyer. Sembolik Mantık ve Uygulamaları giriş. Dover Publications (1 Haziran 1958). ISBN  0-486-60453-5