不明白謂詞公式　　h謂詞公式，由原子公式、聯(lián)結(jié)詞和量詞可構(gòu)成謂詞公式(嚴(yán)格定義見教材). 命題的符號(hào)化結(jié)果都是謂詞公式. 　　例如"x(F(x)®G(x))，$x(F(x)ÙG(x))，"x"y(F(x)ÙF(y)ÙL(x,y)®H(x,y))等都是謂詞公式. 　　h變?cè)c轄域，在謂詞公式"xA和$xA中，x是指導(dǎo)變?cè)?，A是相應(yīng)量詞的轄域. 在"x和$x的轄域A中，x的所有出現(xiàn)都是約束出現(xiàn)，即x是約束變?cè)?，不是約束出現(xiàn)的變?cè)?，就是自由變?cè)? 也就是說，量詞后面的式子是轄域. 量詞只對(duì)轄域內(nèi)的同一變?cè)行? 　　h換名規(guī)則，就是把公式中量詞的指導(dǎo)變?cè)捌漭犛蛑械脑撟冊(cè)獡Q成該公式中沒有出現(xiàn)的個(gè)體變?cè)?，公式的其余部分不? 　　h代入規(guī)則，就是把公式中的某一自由變?cè)迷摴街袥]有出現(xiàn)的個(gè)體變?cè)?hào)替代，且要把該公式中所有的該自由變?cè)紦Q成新引入的這個(gè)符號(hào).解釋(賦值)　　h解釋(賦值)，謂詞公式A的個(gè)體域D是非空集合，則 　　(1) 每一個(gè)常項(xiàng)指定D中一個(gè)元素； 　　(2) 每一個(gè)n元函數(shù)指定Dn到D的一個(gè)函數(shù)； 　　(3) 每一個(gè)n元謂詞指定Dn到{0,1}的一個(gè)謂詞； 　　按這個(gè)規(guī)則做的一組指派，稱為A的一個(gè)解釋或賦值. 　　在有限個(gè)體域下，消除量詞的規(guī)則為：如D={a1,a2,…,an}，則 　　h謂詞公式分類，在任何解釋下，謂詞公式A取真值1，公式A為邏輯有效式(永真式)；在任何解釋下謂詞公式A取真值0，公式A為永假式；至少有一個(gè)解釋使公式A取真值1，公式A稱為可滿足式.