tailieunhanh - Bài giảng Toán rời rạc - Phần 2: Vị từ và lượng từ (TS. Nguyễn Viết Đông)

Bài giảng Toán rời rạc - Phần 2: Vị từ và lượng từ (TS. Nguyễn Viết Đông) cung cấp cho học viên những kiến thức về vị từ và lượng từ, phủ định của vị từ, phép nối liền (tương ứng nối rời, kéo theo), mệnh đề lượng từ hóa, hoán vị hai lượng từ, . Mời các bạn cùng tham khảo chi tiết nội dung bài giảng! | Phần II 1 Vị từ và lượng từ Định nghĩa Cho A là một tập hợp khác rỗng. Giả sử ứng với mỗi x a A ta có một mệnh đề p a . Khi đó ta nói p p x là một vị từ theo một biến xác định trên A 2 Vị từ và lượng từ Định nghĩa Tổng quát cho A1 A2 A3 là n tập hợp khác trống. Giả sử rằng ứng với mỗi x1 x2 . xn a1 a2 . an A1 A2 . An ta có một mệnh đề p a1 a2 . an . Khi đó ta nói p p x1 x2 . xn là một vị từ theo n biến xác định trên A1 A2 . An 3 Predicates and Quantifiers Propositional functions or predicates are propositions which contain variables Example Let P denote the Predicate is greater than 0 and P x denote x gt 0 x is called a variable The predicate become a proposition once the variable x has been assigned a value. Example What is the truth value of p 5 p 0 and p 2 5 gt 0 is true 0 gt 0 is false and 2 gt 0 is false 4 Vị từ và lượng từ Ví dụ 1 Xét p n n gt 2 là một vị từ một biến xác định trên tập các số tự nhiên N. Ta thấy với n 3 4 ta được các mệnh đề đúng p 3 p 4 còn với n 0 1 ta được mệnh đề sai p 0 p 1 . 5 Vị từ và lượng từ Ví dụ 2 Xét p x y x2 y 1 là một vị từ theo hai biến xác định trên R2 ta thấy p 0 1 là một mệnh đề đúng trong khi p 1 1 là một mệnh đề sai. 6 Examples Example Let Q x y denote the statement y x 2 . What is the truth value of Q 2 4 and Q 4 1 4 2 2 is true and 1 4 2 is false Q 2 y Q 0 3 is a proposition Q 1 3 Q 0 1 is a proposition Q 2 y Q 0 3 is not a proposition y is not bounded Q 1 3 Q 0 1 is a proposition which is true 7 Vị từ và lượng từ Định nghĩa Cho trước các vị từ p x q x theo một biến x A. Khi ấy Phủ định của vị từ p x kí hiệu là p x là vị từ mà khi thay x bởi một phần tử cố định của A thì ta được mệnh đề p a Phép nối liền tương ứng nối rời kéo theo của p x và q x được ký hiệu bởi p x q x tương ứng là p x q x p x q x là vị từ theo biến x mà khi thay x bởi phần tử cố định a của A ta được mệnh đề p a q a tương ứng là p a q a p a q a 8 Vị từ và lượng từ Định nghĩa Cho p x là một vị từ theo một biến xác định trên A. Ta định nghĩa các mệnh đề .

• Toán học
• Bài giảng Toán rời rạc
• Toán rời rạc
• Vị từ
• Lượng từ
• Phủ định của vị từ
• Mệnh đề lượng từ hóa
• Hoán vị hai lượng từ
• Giáo trình toán rời rạc
• Tài liệu toán rời rạc
• Học toán rời rạc
• Lý thuyết về toán rời rạc
• Câu hỏi Toán rời rạc
• Bài tập Toán rời rạc
• Hệ thức truy hồi
• Quan hệ chia để trị Toán rời rạc
• Nguyên lý toán rời rạc
• Cấu hình tổ hợp
• Cấu hình toán rời rạc
• Bài giảng môn học Toán học rời rạc
• Toán học rời rạc
• Môn Toán học rời rạc
• Tập hợp và logic mệnh đề
• lý thuyết toán rời rạc
• đề cương Toán rời rạc