Logic逻辑

https://open.163.com/movie/2013/3/6/3/M8Q1RDKO9_M8Q20DK63.html

第3课 命题与论证

概念

语句：符号组成的序列。
命题：符号序列的意义或内容。
是有真true假false值的语句！（不是real/fake）

p.s.

1. 相同的语句会表达不同的命题。
   （如：通过代词实现——明天、你
   明天会下雨。/说话的当天的转天会变。
   根据context决定！）
2. 不同的语句会表达同一个命题。
   （如：现在下雨。/It's raining.）
3. 命题的测试方式：
   对任一语句S而言，“S为真吗？”是能够回答的，则S是命题。
4. 出现在整个论证里的一定是命题，而这个命题就是直述句。（declarative sentence）

有效论证/无效论证

1. 满足正确推论形式的都是有效论证，相反的是无效论证。
2. 有效论证分为真和假两种！
   如果前提为真，则保证论证正确有效，可称为Sound Argument。
   如果前提为假，则为假的有效论证。

常见论证

以下两种为语词逻辑term logic，是以语词terms为单位的论证结构。

以下两种为命题逻辑propositional logic，是以命题为单位的论证结构。

上述两者属于不同的逻辑系统，不能将各个论证相互带入，如AF1在命题逻辑中是不正确的推论形式，即无效论证。

---

课后练习tips

• 错题1.

  
  

• 错题2.

1. 有效論證的前提可以全部都為假。T
2. 前提不可能全部為真的論證一定是有效論證。T - ？
   p.s. 疑问：此处是指当前提是假的，命题一定为真？
3. 如果所有前提實際上都是真的，而且結論也實際上是真的，那麼該論證一定是有效論證。F
   p.s. 论证形式不一定正确。

第4课 命题逻辑语言

歧义ambiguity

语法歧义

syntactic or structural ambiguity

语意歧义

semantic or lexical ambiguity

含混性

某些语词是含混的，
存在某些包含该述词的语句，无法决定真假。

命题逻辑语言

命题逻辑语言

formula - 句式
immediate subformulae - 直接子句式
subformulae - 子句式

递归函数

直接子句式/子句式