tailieunhanh - Bài giảng Toán rời rạc: Logic vị từ - Nguyễn Thành Nhựt
Chương này trang bị cho người người học những kiến thức về logic vị từ. Các nội dung chính trong chương gồm có: Định nghĩa vị từ, các phép toán trên vị từ, phủ định của mệnh đề lượng từ, đặc biệt hóa phổ dụng, quy nạp,. . | LOGIC VỊ TỪ Định nghĩa Tập hợp là một bộ sưu tập gồm các vật. Mỗi vật được gọi là một phần tử của tập hợp. Kí hiệu A B X . Nếu x là phần tử của tập hợp A ta kí hiệu x e A Ví dụ - N 0 1 2 . là tập hợp các số tự nhiên. - Z 0 1 -1 2 -2 . tập hợp các số nguyên. - Q m n m n e Z n 0 tập hợp các số hữu tỉ. - R tập hợp các số thực. - C Tập hợp các số phức. 1. Định nghĩa Vị từ là một khẳng định p x y . trong đó x các biến thuộc 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 . thành giá trị cụ thể thì p x y . là mệnh đề. Ví dụ. Các phát biểu sau là vị từ chưa là mệnh đề - p n n 1 là số nguyên tố . - q x y x2 y 1 . - r x y z x2 y2 z . Khi thay các giá trị cụ thể của n x y z thì chúng là các .
đang nạp các trang xem trước