離散數(shù)學(xué)命題演算的變量用什么表示

命題變?cè)梢员硎救我饷}。
離散數(shù)學(xué)中命題變量的含義，課本上說(shuō)：命題標(biāo)識(shí)符用來(lái)標(biāo)識(shí)一組命題的任一個(gè)或僅表示任一個(gè)命題的所在位置,此時(shí)被稱(chēng)為命題變量.比如你住在宿舍你的床位是101－1，101－1是命題標(biāo)識(shí)符，101是一組命題。
在數(shù)理邏輯中，為了表達(dá)概念，陳述理論和規(guī)則，常常需要應(yīng)用語(yǔ)言進(jìn)行描述，但是日常使用的自然語(yǔ)言進(jìn)行描述，往往敘述時(shí)不夠確切，也易產(chǎn)生二義性，因此就需要引入一種目標(biāo)語(yǔ)言，這種目標(biāo)語(yǔ)言和一些公式符號(hào)，就形成了數(shù)理邏輯的形式符號(hào)體系。所謂目標(biāo)語(yǔ)言就是表達(dá)判斷的一些語(yǔ)言的匯集，而判斷就是對(duì)事物有肯定或否定的一種思維形式，因此能表達(dá)判斷的語(yǔ)言事故陳述句，它稱(chēng)作命題。
一個(gè)命題，總是具有一個(gè)“值”，稱(chēng)為真值。真值只有“真”和“假”兩種，記作true（真）和false（假），分別用符號(hào)t和f表示。只有具有確定真值的陳述句才是命題，一切沒(méi)有判斷內(nèi)容的句子，無(wú)所謂是非的句子，如感嘆句，疑問(wèn)句，祈使句等都不能作為命題。命題有兩種類(lèi)型：第一種類(lèi)型是不能分解為更簡(jiǎn)單的陳述語(yǔ)句，稱(chēng)作原子命題；第二種類(lèi)型是有聯(lián)結(jié)詞，標(biāo)點(diǎn)符號(hào)和原子命題復(fù)合構(gòu)成的命題，稱(chēng)作復(fù)合命題。所有這些命題，都應(yīng)具有確定的真值。
一個(gè)命題標(biāo)識(shí)符如表示確定的命題，就稱(chēng)為命題常量，如果命題標(biāo)識(shí)符只表示任意命題的位置標(biāo)志就稱(chēng)為命題變?cè)?。因?yàn)槊}變?cè)梢员硎救我饷}，所以不能確定真值，故命題變?cè)皇敲}。當(dāng)命題變?cè)猵用一個(gè)特定命題取代時(shí)，p才能確定真值，這時(shí)也稱(chēng)對(duì)p進(jìn)行指派。當(dāng)命題變?cè)硎驹用}時(shí)，該變?cè)Q(chēng)為原子變?cè)?/div>