命題邏輯

在邏輯和數學裏 ， 命題演算 （ 或稱句子演算 ） 是一個形式系統 ， 有著可以由以邏輯運算符結合原子命題來構成代表 「 命題 」 的公式 ， 以及允許某些公式建構成 「 定理 」 的一套形式 「 證明規則 」 。