- 0
- 0
- 约1.7万字
- 约 15页
- 2019-02-22 发布于天津
- 举报
§12简单的逻辑概念.PDF
§1−2 簡單的邏輯概念
(甲)敘述
(1)能辨別真偽的語句可稱為 敘述 ,通常以p ,q,r,..等來表示敘述,而不能判別真
偽的語句稱為 開放語句 。
例如:
「0 是偶數」:正確的敘述
「1 是質數」:錯誤的敘述
「老師很帥」:無法判斷真假⇒ 不是敘述 ( 開放語句)
注意:在數學上,我們關心的是那些可以判別出真偽的語句 (敘述 ) 。
(2)否定敘述:
設p ,q是兩個敘述,如果這兩個敘述滿足下列關係的話,
我們就稱p ,q互為否定敘述。記為~p =q或~q=p 。
由假設敘述p 為真,可以據此推得敘述q為偽。
由假設敘述p 為偽,可以據此推得敘述q為真。
(3)敘述的連結與敘述的否定
複合敘述:兩個或兩個以上敘述組成一個新的敘述稱為複合敘述 。
例如:敘述p :「2 是唯一的偶質數」,敘述 q :「25 是完全平方數」
敘述p 且敘述q :「2 是唯一的偶質數」且「25 是完全平方數」
敘述p 或敘述 q ,「2 是唯一的偶質數」且 ]或「25 是完全平方數」
上面兩個皆為複合敘述。
符號的介紹:
(a)∀ :所有的,每一個,任意的
(b)∃ :存在,至少有一個
(c)∧ ( 且) :一個敘述「p ∧q 」只有在p ,q都是真的,這個敘述才是真的。
°
例: (3≤5) ∧ (−4≥−7)為真, (正三角形內角和 180 )∧(5≥90)為偽
(d)∨ (或 ) :一個敘述「p ∨q 」只要p ,q其中一個是真的 (至少有一個) ,
這個敘述就是真的。
例: (3≤5) ∨ (−4≥−7)為真
如何寫出否定敘述:
例如:
「a2 2
+b =0 」的否定敘述⇒
「x 5 」的否定敘述⇒
~1−2−1~
「所有的奇數都是質數」的否定敘述⇒
「有人考試作弊」的否定敘述⇒
「x +y ≠2 或x −y =5 」的否定敘述⇒
「x +2=3 且x −1≤5 」的否定敘述⇒
觀念一:
敘述的否定:
(a)「 全 體 …… 」的否定為「至少存在有一…….」
(b) 「至少存在有一……. 」的否定為「全體…….」
(c) (p 且 q ) 的否定為非 p 或非 q 即 ~(p ∧q ) ≡~p ∨~q
(d) (p 或 q ) 的否定為非 p 且非 q 即~(p ∨q ) ≡~p ∧~q
[例題1] 下列何者敘述?
(A)−3 是整數
(B)對於所有的實數x ,x2=3x
2
(C)可以找到一個自然數x滿足x =3x 。
(D)無尾熊很可愛
(E)52 Ans :ABCE
[例題2] 試寫出下列敘述的否定敘述:
(1)所有自然數都大於 0 。
(2)存在實數 x ,滿足x≤5 。
(3) x≥1 或 x−4
(4)1a3
(5)(x−1)(y +5)≠0
~1−2−2~
[例題3] 假設甲、乙、丙分別代表下列三個敘述:
甲:矩形是正方形。
乙:正三角形是等腰三角形。
°
丙:每個三角形至
原创力文档

文档评论(0)