Hỏi nhỏ về logic

Boss Lacotes

Junior Member
như tít , có thằng em học môn này nó có vài câu hỏi muốn hỏi ạ
phần logic vị từ , thím nào còn nhớ thì giúp giùm , chủ yếu là suy luân logic thôi

đề: cho các vị từ
l(x, y): x yêu (mến) y.
b(x, y): x là anh em của y.
s(x,y): x là chị em của y.
i(x, y, z): x biết y nhờ z.

hỏi: dựa vào luật trên viết các câu từ ngôn ngữ tự nhiên sang logic vị từ

a. An chẳng yêu ai.
b. Không phải ai cũng yêu An.
c. Không có ai mà yêu tất cả mọi người.
d. Bình có anh là Chương và chị là Dung.
e. Bình yêu mọi anh trai của mình nhưng không yêu tất cả chị gái.
f. Nhờ Bình mà Dũng biết An.
g. Không phải mọi người Dũng biết là nhờ Bình.
h. Có người biết người nào đó nhờ anh chị em của người mà họ yêu.

với các toán tử , ∀ = với mọi , ∃ tồn tại ,and,or, - = not , -> = phép nếu thì, <-> tương đương

em làm :
a. ∀y , - l(An,y)
b. ∃x, -l(x,An)
c. ∀x, ∃y, - l(x,y)
d. b(Chương , Bình) and s(Dung , Bình)
e. ∀x ∀y ,[ b(x , Bình) -> l(Bình,x)] and [s(y , Bình) -> l(Bình,x)]
f. i(Dũng , An , Bình)
g. ∃x, -i(Dũng , x , Bình)

các thím xem em làm có sai ko , nhất là câu e với câu g

câu g em phân tích thế này :
viết câu : dũng biết mọi người nhờ bình , sau đó phủ định câu này thành : tồn tại người mà dũng biết không nhờ bình , em lấn cấn là chỗ này vị từ 3 ngôi phủ định thế đúng ko @@
 
Top