bài thực hành một của tui

Bài 1: a) Tất sinh viên học mơn Trí tuệ nhân tạo thi đậu b) c) d) e) f) g) X Sinh_viên(X) ∧ Trí_tuệ_nhân_tạo (X) => Thi_đậu (X) Khơng có sinh viên thích mơn nhàm chán ¬∃X like (X, boring_subject) Có sinh viên học mơn Triết thi rớt ∃X Sinh_viên ∧ Triết_học (X)=> Thi_rớt (X) Mọi sinh viên thích học mơn người có học vị tiến sĩ dạy X Sinh_viên(X) like(X, PhD-taught subjects) Nơi sinh người nơi mà người sinh ∃X Nơi_sinh ∧ Nơi_người_đó_sinh_ra (X) Một người mà bố mẹ công dân Việt Nam cơng dân Việt Nam ∃X (bố ∨ mẹ) ∧ Công_dân_Việt_Nam(X) => Công_dân_Việt_Nam Mọi công dân Việt Nam công dân nước khác X Cơng_dân_Viêt_Nam(X) => ¬Cơng_dân_nước_khác (X) Bài 2: a) ∀x∀y giúp_đỡ(x, y) => tốt(x) Mọi sinh viên giúp đỡ tất người sinh viên tốt b) ∀x∃y giúp_đỡ(x, y) => tốt(x) Mọi người giúp đở người tốt c) ∀x (∀y giúp_đỡ(x, y)) => tốt(x) Bài 3: a) ∀x sinh_viên(x) => ∃y mơn_hoc(y) ∧ ¬thích(x,y) Mọi sinh viên có mơn học mà khơng thích b) ∀x∀y sinh_viên(x) ∧ mơn_hoc(y) ∧ học(x,y) => hay(y) ∨ dễ(y) Mọi sinh viên học tất môn học cho môn học hay dễ