Học nhiều lý thuyết rùi, mình luyện tập thôi

Đề bài:

Cho L(x,y) là câu “x yêu y” với không gian của cả x và y là tập hợp mọi người trên thế giới. Hãy dùng cá lượng từ để diễn đạt các câu sau:

  • a) Mọi người đều yêu Jerry
  • b) Mọi người đều yêu một ai đó
  • c) Có một người mà tất cả mọi người đều yêu
  • d) Không có ai yêu tất cả mọi người
  • e) Có một người mà Lydia không yêu
  • f) Có một người mà không ai yêu
  • g) Có đúng một người mà tất cả mọi người đều yêu
  • h) Có đúng hai người mà Lynn yêu
  • i) Mọi người đều yêu chính mình
  • f) Có một người nào đó không yêu ai ngoài chính mình

(Gắng tự làm trước nha mọi người)

Bài giải:

a) x= Mọi người; y= Jerry. Có ∀x: L(x,y)

b) x= Mọi người; y- một ai đó. Có ∀x, ∃y: L(x,y)

c) x= Có một ai đó; y= tất cả mọi người. Có ∃x, ∀y: L(x,y)

d) x= Không có ai; y= yêu tất cả mọi người. Có ¬∃x,∀y: L(x,y)

e) y: Có một người; x= Lydia. Có ∃y: ¬L(x.y)

f) y= Có một người; x= không ai. Có ∀x,∃y: ¬L(x.y)

g) y: đúng một người; x= tất cả mọi người. Có ∀x,∃y: L(x.y)

h) y= đúng hai người; x=Lynn. Có ∃y={y1,y2}: L(x,y)

i) x= Mọi người; y= chính mình. Có ∀x: L(x,x)

f) x= Có một người nào đó; y= ngoài chính mình. Có ∃x,∀y: L(x,x) ∧ ¬L(x.y)

Carry by: TungTTr
Date: 04/07/2017