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ánh đề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 > 3có 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 blue", 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