.C om 50802566@stu.hcmut.edu.vn Thưa Thầy ! Em có thắc mắc đáp án đề số 1011 : Câu 26 : đáp án Thầy đưa a Tuy nhiên em thấy phát biểu chưa (tuy rắng bao quát) ("Dạng chuẩn giao giao mệnh đề" Không thể mệnh đề, mà mệnh đề phải (như silde định nghĩa) Ví dụ : ta khơng thể gọi (A -> B) ^ (C -> D) dạng chuẩn giao dù giao hai mệnh đề ("A suy B" "C suy D", phải biến đổi thêm dạng chuẩn giao ?? Kính mong Thầy giải đáp giúp em Trả lời : câu 26 đề 1011, 37-0101, 26-1101, 3-1010 định nghĩa mệnh đề hội lưỡng nguyên nên không đề cập đến dạng A -> B Từ mệnh đề tài liệu dùng khác, phải thống với để làm việc khóa học nên sử dụng nghĩa mà trình bày slide Si nh Vi en Zo ne 50900164@stu.hcmut.edu.vn Thầy ơi! Em có số thắc mắc đề muốn hỏi thầy mong thầy giải đáp giúp em Em làm đề 1011 có số câu như: +câu 4: chọn câu sai em thấy câu a có dấu mũi tên dạng prenex được, theo slide thứ 20 chương Ngữ nghĩa luận lý vị từ dạng prenex phải thay mủi tên phủ định hội mà thầy Tương tự với câu 25 câu b có mũi tên đáp án chọn chuẩn prenex + câu 6: câu a: p( x ) v p(f (y)) thừa số p(x) v r(y) v p(f(y)) v - r(y) sai chổ vậy,em không tìm thấy lỗi sai câu câu 20 liên quan tới thừa số em không hiểu hai câu a b thừa số đề + câu 19 câu c: t=f(y,z) đâu có tự z F khơng thầy, câu lại đáp án + câu 24 trước z có lượng từ phổ dụng với y phải thay r(z) hàm có x câu b r(f(y)) câu a thay r(a), mà đáp án a b Mong Thầy giải đáp giúp em Mong Thầy thơng cảm em có làm phiền thầy.Chào Thầy Trả lời : câu đề 1011, 27-0101, 4-1101, 12-1010 Dạng Prenex đòi hỏi đưa lượng từ đầu, khơng bắt buộc cơng thức lại phải khơng có mũi tên Nhưng thủ tục biến đổi làm mũi tên, nên dễ ngộ nhận mũi tên, lớp tơi nhắc nhở nhiều lần Trả lời : câu đề 1011, 29-0101, 6-1101, 14-1010 Tìm thừa số đồng phần tử giống bỏ pt đổi dấu (hành vi phân giải) Trả lời : câu 19 đề 1011, 10-0101, 19-1101, 40-1010 Biểu thức t vào y, có y (p(x, y)) tự y thứ (q(x, y)) ràng buộc y chịu ảnh hưởng lượng từ với x Nên t có chứa x khơng vào Như câu a, b không thay vào Trả lời : câu 24 đề 1011, 9-0101, 25-1101, 39-1010 F = x ( p(x) y q(x, y)) z r(z) Xóa dấu F= : x ( p(x) Bỏ dấu SinhVienZone.com y q(x, y)) z r(z) : https://fb.com/sinhvienzonevn F = x (p(x) y q(x, y)) Cách : F = x z (p(x) z r(z) y q(x, y) r(z)) = x z y (p(x) Cách : F = x y (p(x) q(x, y)) z r(z) = x y (p(x) = x y z (p(x) q(x, y) r(z)) q(x, y) q(x, y) r(z)) z r(z)) Còn cách thứ kết giống cách 50900584@stu.hcmut.edu.vn ne C om Thầy cho em hỏi câu 22 mã đề 0101 Đáp án trang thầy câu a Nhưng đề thi in là: a Phạm vi .vm x 0-(p(x) -> q(z)) p(x) thích: vm em kí hiệu cho lượng từ với (phổ dụng) Câu đề thi in không rõ ràng (chỗ 0- em khơng hiểu kí hiệu gì) nên em khơng biết đáp án a nên chọn sai Mong thầy xem xét giúp em bạn Em xin cảm ơn thầy nhiều en Zo Trả lời : câu đề 1011, 22-0101, 25-1101, 39-1010 kiểm tra thấy b, c đúng, câu sai phải a d Vấn đề câu a không rõ ràng (ký tự tầm bậy !) khơng phải cơng thức phạm vi ý nghĩa phải cho sai Giả sử qn ký tự “tầm bậy” (0-) phạm vi x khơng thể p(x) a khơng thể Và anh cho a sai nên lý để khơng chọn a Si nh Vi 50903083@stu.hcmut.edu.vn thua thay em la HUYNH MINH TUAN hoc mon TOAN ROI RAC bai thi cuoi ky mon toan roi rac de so 1101 CO DAP AN BI SAI cau 19 :dap an dung la A vi T=G(X,Z) moi khong phu thuoc vao Y cau 25: dap an dung la B chu khong phai la D thay xem lai giup em! cam on thay Trả lời : xem giải đáp cray_xt6@yahoo.com Chào thầy, em có làm mã đề 0101 Ở câu a câu 22 ghi mập mờ, thơng thường có thầy đến hỏi xem có thắc mắc khơng cho sinh viên hỏi, em không thấy đến! Câu 22 mục a đọc khó hiểu, có số khơng làm tụi em khó khăn việc chọn đáp án Mong thầy coi lại! Trả lời : xem giải đáp Tơi có qui ước với lớp tơi khơng giải đáp thắc mắc phòng thi Còn việc tơi khơng đến phòng anh thi vào lúc anh có thắc mắc Nhưng việc tơi khơng có đến phòng anh khơng SinhVienZone.com https://fb.com/sinhvienzonevn vuha.1028@gmail.com thưa thầy! em có vài thắc mắc kết đề 1101, mong thầy xem lại! ( x y r(x, y) x r(x, x) ) = Zo ne C om câu 18 câu b) theo em hiểu, công thức diễn dịch trường hợp này, lấy miền D=(1,2) lấy tập mô hình {r(1,2),-r(1,1) } cơng thức cho SAI (voi x=1, y=2 r(1,2)->r(1,1) SAI) theo em công thúc không cau 26 câu b) theo em hiểu (voimoi) p(x) hệ luận lý (tontai) p(x) moi tập mơ hình (tontai) p(x) mơ hình (voimoi) p(x) rõ ràng tập mơ hình (voimoi) p(x) bao hàm tập mơ hình (tontai) p(x) câu b) đáp án mong thầy xem lại! em cảm ơn! Trả lời : câu 18 đề 1011, 7-0101, 18-1101, 37-1010 Để đánh giá cơng thức x y r(x, y) x r(x, x) (có dạng tổng quát P Q) phải đánh giá công thức P = x y r(x, y) Q = x r(x, x) diễn dịch anh chọn Anh thấy P Q sai nên P Q phải Để kiểm tra CT có hay khơng dùng phân giải Để chứng minh CT ta chứng minh phủ định sai x y r(x, y) x r(x, x) en Dạng Skolem { r(x, y), r(a, a)} cơng thức ban đầu Nó thí khơng thể chọn diễn dịch để sai nh Vi Trả lời : câu 26 đề 1011, 37-0101, 26-1101, 3-1010 Nếu x p(x) ╞═ x p(x) x p(x) x p(x) hay ( x p(x) x p(x)) sai Dạng chuẩn Skolem x p(x) x p(x) ; x y (p(x) p(y)) ; {p(a), p(b)} Si Với dạng Skolem {p(a), p(b)} khơng thể kết luận sai Vậy x p(x) ╞═ x p(x) sai testsucoi@gmail.com Thưa thầy ! Trong đáp án đề 1011 em thấy có số chỗ thắc mắc sau Câu 29 : Theo em thấy câu a khơng thể > d khơng thể Vì em chọn đáp án dễ thấy câu C Câu 26 : Câu a em thấy dạng chuẩn giao dạng trung gian qua trình xây dựng dạng chuẩn Skolem > chưa lượng từ kèm biểu thức Còn mệnh đề hồn tồn khơng chưa lượng từ Nên câu a sai > Đáp án D Câu 38 : Vì hốn vị phần tử S nên việc lấy mgu có nhiều cách Cả a,b,c em thất thỏa mãn > đáp án D Câu 36 : b.Số pi (3.1416) luận lý vị từ pi kí hiệu 3.1416 giá trị Em thấy câu > Đáp án D Trả lời : câu 29 đề 1011, 12-0101, 29-1101, 19-1010 SinhVienZone.com https://fb.com/sinhvienzonevn Dùng phân giải để chứng minh câu a đúng, b, c Trả lời : câu 26 đề 1011, 37-0101, 26-1101, 3-1010 “dạng chuẩn giao … chưa lượng từ kèm biểu thức” Phát biểu chưa đọc slide giảng Trả lời : câu 36 đề 1011, 17-0101, 36-1101, 33-1010 Nếu pi logic phải khai báo, giới thật Trả lời : câu 38 đề 1011, 19-0101, 38-1101, 26-1010 Dù có hốn vị phần tử S câu b, c khơng mgu S Thử tính S với b,c kết 50902919@stu.hcmut.edu.vn ne C om Kính chào thầy Tương tự câu đề 1011, thầy hốn đổi đc lượng từ nên em thấy câu đề 1011, câu a c nên em chọn câu d, không cần quan tâm câu b hay sai Mong thầy trả lời em thời gian sớm có cách giải tốt Trả lời : câu đề 1011, 32-0101, 9-1101, 17-1010 Thứ câu b sai nên việc chọn câu d khơng thể sai Câu a sai z khơng thể vượt qua x y nh Vi en Zo 50902919@stu.hcmut.edu.vn Kính chào thầy! Thầy cho em hỏi câu 10 đề 1011, phần chuyển clausal form Theo slide trang 32 chuyển tồn y lên trước với x Nên ta chuyển y thành hàm phụ thuộc vào x đươc Mong thầy trả lời em thời gian sớm mong thầy có cách giải tốt Trả lời : câu 10 đề 1011, 1-0101, 10-1101, 29-1010 Phạm vi x bao trùm lên y nên y vượt qua mặt x Anh không hiểu rõ slide trang 32 thanhtrung_1309@yahoo.com.vn Si Đáp án câu 26 mã đề 0101Thưa thầy theo em nghĩ câu đáp án A Mong thầy xem lại giúp Trả lời : câu đề 1011, 26-0101, 3-1101, 11-1010 Anh lập bảng thực trị cho công thức thấy kết F G F G F G G system 1 1 0 1 0 1 0 0 1 1 (chỉ có dòng mơ hình hệ thống) 50900110@stu.hcmut.edu.vn Em chào thầy Em thắc mắc câu mã đề 1011 câu 19 24 Trong đáp án thầy câu c d Theo em làm d b Mong thầy giải đáp Em xin cảm ơn Trả lời : xem trả lời SinhVienZone.com https://fb.com/sinhvienzonevn ... 36 : b.Số pi (3.1416) luận lý vị từ pi kí hiệu 3.1416 giá trị Em thấy câu > Đáp án D Trả lời : câu 29 đề 1011, 12-0101, 29-1101, 19-1010 SinhVienZone. com https://fb .com/ sinhvienzonevn Dùng phân... lúc anh có thắc mắc Nhưng việc tơi khơng có đến phòng anh khơng SinhVienZone. com https://fb .com/ sinhvienzonevn vuha.1028@gmail .com thưa thầy! em có vài thắc mắc kết đề 1101, mong thầy xem lại!... câu c d Theo em làm d b Mong thầy giải đáp Em xin cảm ơn Trả lời : xem trả lời SinhVienZone. com https://fb .com/ sinhvienzonevn