逻辑运算子andtruthtable真值表-大叶大学.PPT

1-3 Predicates and Quantifiers 目標 : 了解 ? 及 ? 符號 Def : The statement P(x) is said to be the value of the propositional function P at x. (函數式命題，包含變數) ex : P(x) : “ x is greater than 3 ” (P(x): x 3) Example 1: 若P(x)代表 “x 3”，請問P(2)及P(4)的真值為何？ Sol:  P(2) ? F P(4) ? T Ch1-* 變數 predicate(屬性) 屬性 數量詞 Ch1-* 命題中出現變數 x 時 the domain of x 指的是 x 的定義域，即範圍 Quantifiers : (數量詞，如 some，any，all 等) ? : universal quantifier (for all, for every, 所有的 ) ? : existential quantifier (there exist, there is, for some, 存在) Example 1: 若Q(x,y)代表 “x = y + 3”，請問Q(1, 2)及Q(3, 0)的真值為何？ Sol:  Q(1, 2) ? F Q(3, 0) ? T 量詞(quantifier) 表 1. Quantifiers Example 9 : 令 Q(x)表示 “x 2”，若 x ∈ R (實數)， ?x Q(x) 的真值為何? Sol : 並非所有的實數都小於2， 如： 3 2，3是 ?x Q(x) 的反例 ∴ ?x Q(x) 為假. 敘述 何時為真? 何時為假? ?x P(x) 每個x都使P(x) 為真 存在一個x使 P(x) 為假 ?x P(x) 存在一個x使 P(x)為真 每個x都使P(x)為假 Ch1-* Ch1-* Example 11 : Let P(x) : x2 10, when x ∈ Z+ (正整數), x ≤ 4. What is the truth value of ?x P(x) ? Sol : x ∈ {1, 2, 3, 4} ∴ 42 = 16 10 ∴ ?x P(x) is false. Example 16 : Let P(x) : x2 10, when x ∈ Z+, x ≤ 4. What is the truth value of ?x P(x) ? Sol : x ∈ {1, 2, 3, 4} ∴ 42 = 16 10 ∴ ?x P(x) is true. Ch1-* 13. 若n的定義域包含所有整數，下列各項的真假值為何？ (a) ? ? n (n + 1 n) (b) ?n (2n = 3n) (c) ?n (n = -n) (d) ?n (n2 ? n) Exercise 1-3 11. 令P(x)代表 “x = x2”，x的定義域(論域)包含所有整數。 下列各項的真假值為何？ (a) P(0) (b) P(1) (c) P(2)  (d) P(-1) (e) ?x P(x) (f) ?x P(x) Ch1-* 15. 若x的定義域包含所有整數，下列各項的真假值為何？ (a) ? ? n (n2 ? 0) (b) ?n (n2 = 2) (c) ?n (n2 ? n) (d) ?n (n2 0) Exercise 1-3 表 2. 否定量詞 Example 21 : ?x (x2 x) 及 ?x (x2 = 2) 的否定句分別為何? Sol : ??x (x2 x) ? ?x ?(x2 x) ? ?x (x2 ≤ x) ??x (x2 = 2) ? ?x ?(x2 = 2) ? ?x (x2 ≠ 2) 否定句 等值命題 何時為真？ 何時為假? ??x P(x) ?x ?P(x) 對所有x，P(x) 為假 存在某個x使 P(x) 為真 ??x P(x) ?x ?P(x) 存在某個x使 P(x) 為假 對所有x，P(x) 為真 Ch1-*