命題邏輯上,如某式為一連串命題變項的組合,将每個命題變項分别代入真、假,運算結果總是為真,則該式為一恒真式。命題邏輯上證明恒真式的方式之一是代入真值表,對于有n個變項的式子,總共會有2n種組合。因此有時會非常複雜。
在邏輯和數學裡,命題演算是一個形式系統,有着可以由以邏輯運算符結合原子命題來構成代表“命題”的公式,以及允許某些公式建構成“定理”的一套形式“證明規則”。
更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!