tailieunhanh - Logic vị từ - Nguyễn Quang Châu

Một vị từ là một khẳng định P(x,y,.) trong đó có chứa một số biến x,y,. Lấy giá trị trong những tập họp A,B,. cho trước, sao cho : Bản thân P(x,y,.) không phải là mệnh đề. Nếu thay x, y ,. bằng những giá trị cụ thể thuộc tập họp A, B,. cho trước ta sẽ được một mệnh đề P(x, y, .), | Logic vị từ Nguyễn Quang Châu -Khoa CNTT ĐHCN Vị từ là gì Một vị từ là một khẳng định P x y . trong đó có chứa một số biến x y . Lấy giá trị trong những tập họp A B . cho trước sao cho Bản thân P x y . không phải là mệnh đề. Nếu thay x y . bằng những giá trị cụ thể thuộc tập họp A B . cho trước ta sẽ được một mệnh đề P x y . nghĩa là khi đó chân trị của P x y . hoàn toàn xác định. Các biến x y . được gọi là các biến tự do của vị từ. Nguyễn Quang Châu - Khoa CNTT ĐHBK . Vị từ là gì Ví dụ 1 Các câu có liên quan đến các biến như x 3 x y 5 rất thường gặp trong toán học và trong các chương trình của máy tính. Các câu này không đúng cũng không sai vì các biến chưa được cho những giá trị xác định. Nói cách khác vị từ có thể xem là một hàm mệnh đề có nhiều biến hoặc không có biến nào nó có thể đúng hoặc sai tùy thuộc vào giá trị của biến và lập luận của vị từ. Nguyễn Quang Châu - Khoa CNTT ĐHBK .