在數理邏輯中,我們使用大寫字母A,B,...,P,Q,...或使用帶下標的大寫字母或用數字,如Ai,[12]等表示命題,例如：P：今天下雨 或 [12]：今天下雨表示命題的符號稱為命題識別符號,P和[12]就是識別符號.一個命題識別符號如表示確定的命題,就稱為命題常量,如果命題識別符號只表示任意命題的位置標誌,就稱為命題變元.因為命題變元可以表示任意命題,所以命題變元不能確定真值,不是命題.

變元數是起突出、主導作用的輸入變數;參變元是在一定範圍內(由題設決定)變化的常數。主變元與參變元相互影響,相互制約。在許多數學問題中,都會含有多個常量、參量和變數,根據具體條件和解題需要,常常在眾多變元中選用一個變元為主變元(未知數),將其他變元暫時看成是參變元(常數),進而把代數式整理成按主變元降冪排列(或升冪排列)的多項式,以此為線索來達到解決問題的目的,這種解題方法在數學中通常叫作“主元法”,蘊涵著高中數學中的“主元”思想。