邏輯很簡單啊
簡單來說你要先了解什麼是語句的真假值
接下來你要定義一些邏輯運算子(and,or,not,horshoe,iff)
定義這些需要用到真值表
因為這些必須是真值函數
接著就是邏輯的重點 論證
你要知道什麼是有效論證跟健全論證
而有效論證可以用真值表推導
不過邏輯學家有研究一些規則可以用來推論所有有效論證
然後你就要背好十幾二十條的推論規則來推一個論證是否有效
以上的部份是命題邏輯
以下的部份是謂詞邏輯
接下來邏輯學家發現用語句當單位太粗糙了
有些情況不能很好的表示
於是他們就把語句拆開成性質和個體
例如：這棵草是藍的、這棵草是草
就會寫成Ba、Ga
其中Bx代表x是藍色的 Gx代表x是草 a代表這棵草
有了這樣的拆解之後兩個重要符號就出現啦
分別是全稱量詞∀跟存在量詞∃
以下兩個句子的意思就有了很大的不同
1.∀x(Gx⊃Bx) 每個是草的x都是藍色的
2.∃x(Gx⊃Bx) 存在是草的某個x是藍色的
因應這個變動 原本的推論規則就不夠用啦
於是他們就又加了四條規則進來
來完善整個形式系統
好了 這我上學期通識內容QQ
媽的超難的