命題邏輯

研究由原子命題經(jīng)命題連接詞構(gòu)成的復(fù)合命題以及這些命題之間的邏輯關(guān)系的科學(xué)。又稱命題演算,數(shù)理邏輯的分支學(xué)科。這里所說的命題包括具有真假值的命題,也包括形式命題。設(shè)a,b是原子命題,則使用命題連接詞、∧、∨、→和 ......    （本文共 609 字 ）     [閱讀本文] >>