luận lý toán học,nguyễn thanh sơn,dhbkhcm Anh nói đúng trong trường hợp ngyên từ là biến, nhưng nếu là hằng hoặc biểu thức hàm thì “không thể” , do đó phát biểu tổng quát là không đúng “không biết log[.]
Anh nói trường hợp ngyên từ biến, biểu thức hàm “khơng thể” , phát biểu tổng qt khơng “khơng biết logic ngơn ngữ lập trình” hiểu “không biết logic ngôn ngữ lập trình” nên A B, cịn bình diện hình thức A B khơng phải A B Công thức (evn(x) grt(x, 4)) diễn tả câu văn « x chẵng x lớn » ( k) ((eq(x, 2k) diễn tả ý « x với k nhân (chẵn) lớn » grt(x, 4)) Công thức đóng nên khơng có hữu tự nên làm có chuyện tự biến hay không tự Trong dạng chuẩn Skolem chọn unifier chọn « tối thiểu » để đồng khơng từ chối việc chọn unifier « rộng » nghĩa nhiều phần tử « phân số » CuuDuongThanCong.com https://fb.com/tailieudientucntt