命題邏輯
邏輯系統 / 維基百科,自由的 encyclopedia
命題邏輯是邏輯學的一個分支。[1] 它也稱為命題演算、句子演算、句子邏輯,有時也稱為零階邏輯。它涉及命題(可以是真或假)和命題之間的關係,包括基於它們的論證的構建。複合命題是通過邏輯連接詞連接命題而形成的。不包含邏輯連接詞的命題稱為原子命題。 與一階邏輯不同,命題邏輯不處理非邏輯物件、以及關於它們的謂詞或量詞。然而,命題邏輯的所有機制都包含在一階邏輯和高階邏輯中。從這個意義上說,命題邏輯是一階邏輯和高階邏輯的基礎。
在邏輯和數學裏, 命題邏輯是一個形式系統, 有可以由以邏輯運算子結合原子命題來構成代表「命題」的公式,以及允許某些公式建構成「定理」的一套形式「證明規則」。