1、命題邏輯顯然可以看作謂詞邏輯的一個(gè)子集.因?yàn)橹^詞邏輯中一般是允許出現(xiàn)0元謂詞的.全部由0元謂詞的構(gòu)成的公式就是命題邏輯公式了.2、正如前面莊老師所說,當(dāng)論域?yàn)橐粋€(gè)大小確定的有限集時(shí),一個(gè)謂詞公式可以等價(jià)地...