§12简单的逻辑概念.PDFVIP

  • 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)

1亿VIP精品文档

相关文档