TAILIEUCHUNG - Toán rời rạc - Cơ Sở logic

Mệnh đề là một khẳng định có giá trị chân lý xác định, đúng hoặc hỏi, câu cảm thán, mệnh lệnh không là mệnh đề. Ví dụ: - mặt trời quay quanh trái đất - Buồn ngủ quá ! (ko là mệnh đề) - Học bài đi ! (ko là mệnh đề) Ký hiệu: người ta dùng các ký hiệu P, Q, R để chỉ mệnh đề. | Toán rời rạc Cơ Sở logic Nội Dung: Mệnh đề và dạng mệnh đề Các luật logic và quy tắc thay thế Quy tắc suy diễn Vị từ và lượng từ Nguyên lý quy nạp Phần I: Mệnh đề và dạng mệnh đề Mệnh đề Định nghĩa Mệnh đề là một khẳng định có giá trị chân lý xác định, đúng hoặc hỏi, câu cảm thán, mệnh lệnh không là mệnh đề. Ví dụ: - mặt trời quay quanh trái đất - Buồn ngủ quá ! (ko là mệnh đề) - Học bài đi ! (ko là mệnh đề) Ký hiệu: người ta dùng các ký hiệu P, Q, R để chỉ mệnh đề. Chân trị của mệnh đề: Một mệnh đề chỉ có thể đúng hoặc sai, không thể đồng thời vừa đúng vừa sai. Khi mệnh đề P đúng ta nói P có chân trị đúng, ngược lại ta nói P có chân trị sai. Chân trị đúng và chân trị sai sẽ được ký hiệu lần lượt là 1(hay Đ,T) và 0(hay S,F) Phần I: Mệnh đề và dạng mệnh đề Phân loại: gồm 2 loại Mệnh đề phức hợp: là mệnh đề được xây dựng từ các mệnh đề khác nhờ liên kết bằng các liên từ (và, hay, khi và chỉ khi, ) hoặc trạng từ “không”. Mệnh đề sơ cấp (nguyên thủy): Là mệnh đề không thể xây dựng từ các mệnh đề khác thông qua liên từ hoặc trạng từ “không”. Ví dụ: - 2 không là số nguyên tố - 2 là số nguyên tố (sơ cấp) - Hôm nay trời đẹp và 1 +1 =3 Phần I: Mệnh đề và dạng mệnh đề Các phép nối logic: có 5 phép nối Phép phủ định: phủ định của mệnh đề P được ký hiệu là ¬ P hay (đọc là “không” P hay “phủ định của” P) Bảng chân trị : Ví dụ : 2 là số nguyên tố Phủ định: 2 không là số nguyên tố 1 >2 Phủ định : 1≤ 2 Phần I: Mệnh đề và dạng mệnh đề Phần I: Mệnh đề và dạng mệnh đề Phần I: Mệnh đề và dạng mệnh đề Phần I: Mệnh đề và dạng mệnh đề Ví dụ: Nếu 1 = 2 thì .(Đ) Nếu trái đất quay quanh mặt trời thì 1 +3 =5 (S) .kéo theo 6>5 (Đ) Phần I: Mệnh đề và dạng mệnh đề Phần I: Mệnh đề và dạng mệnh đề Ví dụ: 2=4 khi và chỉ khi 2+1=0 (Đ) 6 chia hết cho 3 khi và chi khi 6 chia hết cho 2 (Đ) London là thành phố nước Anh nếu và chỉ nếu thành phố HCM là thủ đô của VN (S) Phần I: Mệnh đề và dạng mệnh đề Phần I: Mệnh đề và .

• Toán học
• Cơ Sở logic
• tài liệu học đại học
• toán rời rạc
• tài liệu toán rời rạc
• toán cao cấp
• bài tập toán rời rạc
• học toán rời rạc
• Bài giảng Điều khiển logic
• Điều khiển logic
• Cơ sở điều khiển logic
• Hệ điều khiển logic
• Thiết bị điều khiển logic
• Chương trình điều khiển logic
• Lập trình PLC
• Cơ sở cho điều khiển logic
• Đại số logic
• Biểu diễn hàm logic
• Bài giảng Cơ sở logic đặc tả của OWL
• Cơ sở logic đặc tả
• Cơ sở logic đặc tả của OWL
• Cơ sở tri thức
• Ngữ nghĩa ALC
• Suy luận với ALC
• Lý thuyết đồ thị
• Logic mệnh đề
• Biểu thức logic
• Logic vị từ
• Thiết kế khối logic khối điện tử
• Khối logic khối điện tử
• Cơ cấu phóng khí cụ bay sử dụng FPGA
• Khối logic nguyên mẫu
• Khí cụ bay
• Cơ cấu phóng
• logic toán học
• báo cáo hợp chất phức tạp
• chứng minh toán học
• phép biện chứng toán học
• Đề thi kết thúc học phần
• Đề thi kết thúc môn học
• Đề thi môn Ứng dụng cơ sở logic
• Ứng dụng cơ sở logic
• Dạy học Toán tiểu học
• Quy tắc nhân một số với một tổng
• Giáo dục tiểu học
• Bài giảng Cơ sở dữ liệu (Database)
• Cơ sở dữ liệu
• Thiết kế cơ sở dữ liệu logic
• Hệ quản trị cơ sở dữ liệu
• Mô hình dữ liệu quan hệ
• Mô hình ER
• lý thuyết điều khiển logic
• giáo trình điều khiển
• tài liệu về điều khiển logic
• chuyên ngành điện tử
• giáo trình kinh tế
• học thuyết kinh tế
• mệnh đề
• chân trị
• phép tính mệnh đề
• logic học
• đại số mệnh đề
• chân trị mệnh đề
• phép toán mệnh đề
• phép toán logic
• toán lập trình
• Bài giảng Toán rời rạc
• Dạng mệnh đề
• Quy tắc suy diễn
• Toán ứng dụng
• Bài giảng Toán ứng dụng
• Qui luật logic
• Suy luận toán học
• Qui tắc suy diễn
• Bài giảng Toán cao cấp
• Cơ sở toán học tài chính
• Tương đương logic
• Hệ quả logic
• Quan hệ giữa các tập hợp
• Đồ án tốt nghiệp
• Đồ án tốt nghiệp Công nghệ thông tin
• Công nghệ thông tin
• Cơ sở dữ liệu quan hệ mức logic
• Phương pháp “Blanpre”
• Thiết kế logic cơ sở dữ liệu quan hệ
• cổng logic cơ bản
• thiết kế mạch logic
• cơ sở lý thuyết
• giáo dục
• đào tạo
• Bài giảng Cơ sở dữ liệu
• Ngôn ngữ tân từ
• Logic toán
• Ứng dụng logic toán
• Đề cương điều khiển logic
• tự động Đo Lường
• Lý thuyết cơ sở
• logic trạng thái
• hàm cơ bản của đại số logic
• Tin học cơ sở
• Hàm đại số logic
• Biểu diễn các hàm đại số logic
• Thiết kế mạch
• Thiết kế bộ cộng
• Ứng dụng hàm đại số logic
• Cơ sở lý thuyết tập hợp và lôgic toán
• Cơ sở lý thuyết tập hợp
• Bài giảng Cơ sở lý thuyết tập hợp
• Cơ sở lôgic toán
• Quy tắc suy luận
• tối ưu hóa logic
• tài liệu tối ưu hóa logic
• lý thuyết tối ưu hóa logic
• lập trình robocon
• lý thuyết tạp robocon