逻辑很简单啊
简单来说你要先了解什么是语句的真假值
接下来你要定义一些逻辑运算子(and,or,not,horshoe,iff)
定义这些需要用到真值表
因为这些必须是真值函数
接着就是逻辑的重点 论证
你要知道什么是有效论证跟健全论证
而有效论证可以用真值表推导
不过逻辑学家有研究一些规则可以用来推论所有有效论证
然后你就要背好十几二十条的推论规则来推一个论证是否有效
以上的部份是命题逻辑
以下的部份是谓词逻辑
接下来逻辑学家发现用语句当单位太粗糙了
有些情况不能很好的表示
于是他们就把语句拆开成性质和个体
例如：这棵草是蓝的、这棵草是草
就会写成Ba、Ga
其中Bx代表x是蓝色的 Gx代表x是草 a代表这棵草
有了这样的拆解之后两个重要符号就出现啦
分别是全称量词∀跟存在量词∃
以下两个句子的意思就有了很大的不同
1.∀x(Gx⊃Bx) 每个是草的x都是蓝色的
2.∃x(Gx⊃Bx) 存在是草的某个x是蓝色的
因应这个变动 原本的推论规则就不够用啦
于是他们就又加了四条规则进来
来完善整个形式系统
好了 这我上学期通识内容QQ
妈的超难的