一、命題邏輯

合取式:

???p ∧ q 表達(dá)的邏輯關(guān)系是 p 與 q 兩個(gè)命題同時(shí)成立，因而自然語言中常用的連接詞“既···又···”，“不僅···而且···”，“雖然···但是···”等都可符號化為 ∧ .

析取式:

????p?∨ q 表示的是一種相容性或，即允許 p 與?q? 同時(shí)為真.?

????要表達(dá)排斥或，符號化為(p ∧ ﹁q)?∨ (﹁p ∧ q) 或?(p?∨?q)?∧?﹁(p?∧ q).

蘊(yùn)含式:

? ?p -> q 所表達(dá)的基本邏輯關(guān)系為：p 是 q 的充分條件，q 是 p 的必要條件.

????p 當(dāng) q?<=> q 是 p 的充分條件?<=>?q?->?p.

????p 僅當(dāng) q <=>? q 是 p 的必要條件?<=>?p -> q.

? ? 除非 q 否則不 p?<=>?q 是 p?的必要條件?<=>?p -> q.

????此外，“只有 q 才 p”、“沒有 q 就沒有 p”等都表達(dá)了 q?是 p 的必要條件，可符號化為 p -> q.“因?yàn)?p 所以 q”、“只要 p 就 q”等表達(dá)了 p 是 q 的充分條件，可符號化為 p -> q.

????

????