Đang tải... (xem toàn văn)
Logic vị từ - TS. Trần Văn Hoài
TS. Trần Văn Hoài Logic vị từ Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Điểm yếu của logic mệnh đề (1) ☞ Không thể hiện được các phát biểu có các bi ến Ví dụ: x = y + 3 x > 3 Bởi vì các biến chưa có giá trị. Tuy nhiên, phát biểu dạng như trên xuất hiện rất nhiều Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Điểm yếu của logic mệnh đề (2) ☞ Những sự tương đương sau không biểu diễn được bằng logic mệnh đề "Không phải tất cả bán h đều ăn được" và "Chỉ một số bánh ăn được" "Not all integers are even" và "Some integers are not even" Để suy diễn, mỗi mệnh đ ề phải được liệt kê riêng lẽ Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Logic vị từ ☞ Khắc phục các điểm yếu nêu trên ☞ Phát biểu x > 3 có 2 phần: • Biến x • Tính chất của biến x (> 3), được gọi là vị từ (predicate) ☞ Nói cách khác Predicate là vị từ mô tả tính chất của những đối tượng, hoặc quan hệ giữa chúng ☞ Ký hiệu phát biể u P (x) ⇒ P (2), P (4) là mệnh đề Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Ví dụ Xét các câu sau • "The car Tom is driving is blue" • "The sky is blue" • "The cover of this book is blue" Chúng ta có thể có 1 vị từ "is b lu e", viết tắt là B. B(x) nghĩa là "x is blue " Khi đó, ta có thể biể u diễn các câu như sau • B(The car Tom is driving) • B(The sky) • B(The cover of this book) Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Dạng tổng quát ☞ Một phát biểu có n biến x 1 , x 2 , . . . , x n được ký hiệu là P (x 1 , x 2 , . . . , x n ) được gọi là hàm mện h đ ề (propositional function) P được gọi là vị từ Ví dụ: P (x, y, z) : x + y = z P (x 1 , x 2 , . . . , x n ) : n i=1 x i = 1 Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Vị từ không phải là mệnh đề ☞ Phát biểu x > 1 không phải là mệnh đề ☞ Để biến x > 1 thành mệnh đề, một trong 2 cách sau phải thực hiện ➠ Gán giá trị cụ thể cho x ➠ Chuyển phát biểu sang dạng There is a number x for w hi ch x > 1 hoặc là For every number x, x > 1 h o l d s Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Lượng từ (quantifier) ☞ Gán giá tr ị cho tất cả các biến của P ⇒ mệnh đề ☞ Cách khác là dùng các lượng từ • ∀: với mọi ∀ xP (x) = P (x) là Tvới mọi x • ∃: tồn tại ∃xP (x) = Tồn tại x sao cho P (x) là T ⇒ Cần một miền giá trị cho x (universe of discour se ) Miền giá trị là tập các đối tượng quan tâm củ a một biến Mệnh đề chỉ có giá trị Thay F nếu miền giá trị đã được xác định Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Ví dụ toán tử "với mọi" (∀) ☞ Ví dụ: Mọi sinh viên máy tính phải học môn logic P (x) = "x phải học môn logic" Mệnh đề: ∀xP (x) ☞ Ví dụ: Chính xác hơn S(x) = x là sinh viên máy tính P (x) = x phải học môn logic Mệnh đề: ∀x(S(x) → P (x)) Predicate logic (Logic vị từ) 2008-2009 TS. Trần Văn Hoài Ví dụ toán tử " tồ n tại" (∃) ☞ Ví dụ: P (x) = ”x > 3” Miền giá trị x ∈ Mệnh đề: ∃xP (x) là T ☞ Ví dụ: Q(x) = ”x = x + 1” Miền giá trị x ∈ Mệnh đề: ∃xQ(x) là F Predicate logic (Logic vị từ) 2008-2009 [...]... P (x, y) là T Predicate logic (Logic vị từ) mọi x, y 200 8-2 009 TS Trần Văn Hoài Phủ định của lượng từ "Mọi sinh viên máy tính đều học môn logic toán" ∀xP (x) "Không phải là mọi sinh viên máy tính đều học môn logic toán" ∃x¬P (x) Phủ định Mệnh đề tương đương ¬∃xP (x) ∀x¬P (x) ¬∀xP (x) ∃x¬P (x) Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Công thức chỉnh dạng Vị từ theo sau bởi các biến... trọng, chỉ trừ khi Tất cả các lượng từ là "với mọi" hoặc tất cả là "tồn tại" Đọc từ trái sang phải, áp dụng từ trong ra Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Ví dụ thứ tự khác nhau Ví dụ: ∀x∀y(x + y = y + x) Tvới tất cả x, y ∈ Ê Ví dụ: ∀x∃y(x + y = 0) là T, trong khi ∃y∀x(x + y = 0) là F Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Diễn giải ý nghĩa (1) Ví dụ:... wff T Ví dụ: ∀x(P (x) ∧ ¬P (x)) Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Sự tương đương Hai wff W1, W2 là tương đương (equivalence) nếu và chỉ nếu W1 ↔ W2 với mọi giải thích Ví dụ: • ∀xP (x) ⇔ ¬∃x¬P (x) với mọi P • ∀x(P (x) ∧ Q(x)) ⇔ ∀xP (x) ∧ ∀xQ(x) với mọi P, Q Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Suy diễn trong logic vị từ Tên Luật suy diễn Universial instantiation... Predicate logic (Logic vị từ) ¬∃xP (x) ⇔ ∀x¬P (x) 200 8-2 009 TS Trần Văn Hoài Ví dụ suy diễn trong logic vị từ A check is void if it has not been cashed for 30 days This check has not been cashed for 30 days Therefore this check is void You can not cash a check which is void Therefore you can not cash this check We now have a check which can not be cashed Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài. .. Nếu x là biến (trong 1 miền) và A là wff thì ∀xA, ∃xA cũng là wff Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Ví dụ công thức chỉnh dạng ∀xB(x) là wff "The capital of Virginia is Richmond" là wff ∀xB(x)∧∃xR(x) là wff ∀xB(x)R(x), B(∃x) không là wff Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Từ wff sang mệnh đề P (x): x không âm • ∀xP (x) là Tnếu universe là {1, 2,... ta đặt câu: • B(x, y): y là bạn tốt nhất của x Ta có: ∀x∃y∀z(B(x, y) ∧ ((y = z) → ¬B(x, z))) Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Hình thức hóa ngôn ngữ (3) "Nếu một người là phụ nữ và là cha mẹ, thì người này là mẹ của ai đó" Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Hình thức hóa ngôn ngữ (3) "Nếu một người là phụ nữ và là cha mẹ, thì người này là mẹ của ai đó" Nếu... logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Xác định chân trị ∀xP (x) = P (x1 ) ∧ P (x2 ) ∧ ∧ P (xn ) ∃xP (x) = P (x1 ) ∨ P (x2 ) ∨ ∨ P (xn ) Trong đó x1, x2 , , xn là liệt kê các giá trị có thể có của x ¸ Thử tất cả các xi với ∀ để xác định T ¸ Tìm một xi với ∃ để xác định T Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Thứ tự các lượng từ Thứ tự của lượng từ là quan trọng,... Với mọi số thực x, tồn tại số thực y thỏa mãn x + y = 0 Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Diễn giải ý nghĩa (2) Diễn giải phát biểu sau: ∀x(C(x) ∨ ∃y(C(y) ∧ F (x, y)))) Trong đó: • C(x): x có máy tính • F (x, y): x, y là bạn • x, y ∈ tất cả sinh viên trong trường Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Diễn giải ý nghĩa (2) Diễn giải phát biểu sau: ∀x(C(x) ∨ ∃y(C(y)... tồn tại sinh viên y có máy tính và sinh x, y là bạn Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Diễn giải ý nghĩa (3) Diễn giải phát biểu sau: ∃x∀y∀z(((F (x, y) ∧ F (x, z) ∧ (y = z)) → ¬F (y, z))) Trong đó: • F (x, y): x, y là bạn • x, y, z ∈ tất cả sinh viên trong trường Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Diễn giải ý nghĩa (4) Diễn giải phát biểu sau: ∃x∀y∀z(((F... nhau Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Hình thức hóa ngôn ngữ (1) (1) "Có sinh viên nào đó trong lớp đã tham quan Hà Nội" (2) "Mọi sinh viên trong lớp đã thăm Nha Trang hoặc Vũng Tàu" Nếu ta đặt câu: C(x): x đã thăm Hà Nội D(x): x đã thăm Nha Trang E(x): x đã thăm Vũng Tàu Ta có: (1): ∃xC(x) (2): ∀x(D(x) ∨ E(x)) Predicate logic (Logic vị từ) 200 8-2 009 TS Trần Văn Hoài Hình thức . TS. Trần Văn Hoài Logic vị từ Predicate logic (Logic vị từ) 200 8-2 009 TS. Trần Văn Hoài Điểm yếu của logic mệnh đề (1) ☞ Không thể hiện được các phát. lẽ Predicate logic (Logic vị từ) 200 8-2 009 TS. Trần Văn Hoài Logic vị từ ☞ Khắc phục các điểm yếu nêu trên ☞ Phát biểu x > 3 có 2 phần: • Biến x • Tính chất của biến x (> 3), được gọi là vị từ (predicate) ☞. (propositional function) P được gọi là vị từ Ví dụ: P (x, y, z) : x + y = z P (x 1 , x 2 , . . . , x n ) : n i=1 x i = 1 Predicate logic (Logic vị từ) 200 8-2 009 TS. Trần Văn Hoài Vị từ không phải là mệnh đề ☞