【導(dǎo)讀】命題statement:可以判斷真假的陳述.吃兩片阿斯匹林!土星表面溫度是華氏800度。用邏輯連接詞可以將若干命題聯(lián)接成復(fù)合命題。明天不會出太陽,除非2+3=5。單個命題變元是命題公式。,左邊高于右邊。A可以記作A(p,q),p,q是A中變元.p1σ=0,p2σ=1,p3σ=1,p3σ=0,……一個賦值對應(yīng)于命題變元的一種真假取值。n個變元共有2n種不同的賦值。無論命題變元取什么值,命題公式取值都是0(假)的公式。對任意賦值σ,Aσ=0,A就是恒假式。存在賦值σ,Aσ=1,A就是可滿足的。命題公式A,B具有相同的真值表。證明下列公式都是恒真式:。但pσ不可能同時取值1和0,矛盾??梢詫⒁粋€公式化簡,或化為某種特定形式。不含聯(lián)結(jié)詞→,?