語意邏輯(Sentential Logic)

演繹推理及邏輯運算(運算子連接運算元)

範例：演繹推理

如果今天天氣晴朗，我們就去踏青。
今天是晴天。
因此，我們會去踏青。

範例：使用代數符號表達語句

T 代表 今天天氣晴朗
G 代表 我們就去踏青

T ∨ ¬T.
T.
∴, G.

邏輯運算子

符號　　意義
－－　　－－
∨ 　　　或
∧ 　　　且
¬ 　　　非

從語句中分析邏輯形式

俊威工作沒做好而被老闆開除。

J 代表 俊威工作沒做好
W 代表 俊威被老闆開除

J ∧ W.

從邏輯形式還原(代換；代數轉換)語句

¬J ∧ ¬W

J 代表 俊威工作沒做好
W 代表 俊威被老闆開除

俊威工作有做好，沒被老闆開除。