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