命題邏輯的應用
自然語言命題的符號化
為什麼要將自然語言命題符號化？
自然語言命題轉換為邏輯公式的過程也稱為自然語言命題的符號化
是將命題邏輯知識（等值演算和推理理論）用於求解應用問題的第一步
- $p→q的逆命題是q→p$
- $p→q的否命題是¬p→¬q$
- $p→q的逆否命題是¬q→¬p$
普通邏輯問題的符號化分析
- 約束某個方案或說某個問題的解的一些條件組合稱為規範(specification)
- 對於約束求解問題的計算機軟硬體系統的條件稱為計算機軟硬體系統的規範
- 說規範是一致(consistent)的，如果它對應的邏輯公式是可滿足式