命題演算基本信息介紹

命題演算解釋

命題演算是什么意思詞義解釋來源：辭書

1：符號邏輯的一種系統以命題為單位藉邏輯連接詞予以結合且逐步推論以決定命題的真假值。亦探討邏輯連接詞的性質、命題公式的永真性、永假性、可滿足性以及命題之間的演繹關系。