命題邏輯是指以邏輯運算符結合原子命題來構成代表"命題"的公式,以及允許某些公式建構成"定理"的一套形式"證明規則"。相對于謂詞邏輯,它是量化的并且它的原子公式是謂詞函數;和模态邏輯,它可以是非真值泛函的。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!