一、數(shù)理邏輯
（一） 命題邏輯基本概念數(shù)理邏輯是用數(shù)學(xué)方法研究抽象思維規(guī)律的數(shù)學(xué)學(xué)科，它研究的中心問題是推理，而推理的基本要素是命題。
在數(shù)理邏輯中，將命題用符號表示，稱為命題符號值。可用p，q，r…或pi ，qi ，ri …表示命題。將真值也用符號表示，用“1”表示“真”，用“0”表示“假”。
（二） 命題公式及其分類
簡單命題又稱為命題常項(xiàng)或命題常元。命題常項(xiàng)有確定的真值。在數(shù)理邏輯中，不僅要研究具體的邏輯關(guān)系，還要研究抽象的邏輯關(guān)系，因而不僅要有命題常項(xiàng)，還要有命題變項(xiàng)。稱真值可以變化的簡單陳述句為命題變項(xiàng)或命題變元，仍然用p，q，r，…表示命題變項(xiàng)。