一階邏輯一階語言符號怎么寫？

一階邏輯的合式公式，在形式化的一階語言中遞歸地定義的公式。設是一階邏輯的一個形式語言，含邏輯符號和非邏輯符號。中的非邏輯符號有 ：關系符號P，Q，R等；函數符號F，G等 ；常量符號c,d,e等。每個關系符號，函數符號都指定是n元關系或n元函數 。中的邏輯符號有 ：個體變元符號，…等 ；邏輯聯詞、→等；量詞；等號≡；括號) ，(。的項t ：t可以是單個個體變元 ，也可以是單個個體常量 ：如果t1…tm是項 ，F是L的m元函數符號 ，則F(t1…tm)是項。的原子公式：如果t1、t2是的項，則t1≡t2是 原子公式 ；如果t1…tn是項 ，R是L的n元關系符號，則R(t1…tn)是原子公式。的公式：的原子公式是公式 ；設φ、ψ是L的公式，x是的一個個體變元，則(φ)，(φ→ψ)，(xφ)都是的公式 。這樣定義的語言公式乃至公式的集合統稱一階語言。只要指出的非邏輯符號，一階語言就被確定。中其他的聯結符，量詞都不是原始符號，＾，ˇ，