命題邏輯

出自維基百科,自由嘅百科全書
跳去導覽 跳去搵嘢

命題邏輯propositional logic)係邏輯學嘅一門,專門研究命題以及命題之間嘅關係,包括點樣用命題砌出論證