TAILIEUCHUNG - 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 .

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.