命題邏輯

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