命題邏輯

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