BAO CAO CHNG i MNH d VA v t

BÁO CÁO CHƢƠNG I MỆNH ĐỀ VÀ VỊ TỪ A- MỆNH ĐỀ I- Định nghĩa mệnh đề Câu phát biểu dù hay sai mệnh đề Mệnh đề khơng thể vừa đúng, vừa sai II- Các phép tính mệnh đề Phép tính mệnh đề khơng quan tâm đến ý nghĩa câu phát biểu mà ý đến chân trị mệnh đề Các phép toán ghi dạng ký hiệu chữ là: P, Q, R… Phép phủ định: Nếu P có giá trị T có giá trị F Phép hội: Hội mệnh đề mệnh đề Còn lại sai Phép tuyển: Tuyển mệnh đề sai mệnh đề sai Còn lại Phép XOR: XOR mệnh đề sai mệnh đề chân trị Còn lại sai Phép kéo theo: Mệnh đề kéo theo sai giả thiết cà kết luận sai Còn lại Phép tương đương: Mệnh đề tương đương P Q chân trị III- Biểu thức mệnh đề Biểu thức mệnh đề hình thành nhờ lien kết mệnh đề phép toán IV- Mệnh đề hệ mệnh đề tƣơng đƣơng Một mệnh đề hay biểu thức mệnh đề ln có chân trị bất chấp lựa chọn chân trị biến mệnh đề Một sai mệnh đề hay biểu thức mệnh đề ln có chân trị sai bất chấp lựa chọn chân trị biến mệnh đề Một liên tiếp biểu thức mệnh đề sai Tƣơng đƣơng logic: ĐN1: Mệnh đề P Q tương đương logic (P↔Q) ĐN2: Mệnh đề P Q tương đương logic chúng có chân trị B- VỊ TỪ I- Các định nghĩa Vị từ khẳng định P(x,y,…) có chưa số biến x, y,… lấy giá trị tập A,B,… cho trước cho: - P(x,y,…) không mệnh đề - Thay x,y,… giá trị thuộc tập hợp A, B,… cho trước ta P(x,y,…) xác định II- Phép toán vị từ Phép toán vị từ sử dụng phép tốn logic mệnh đề mở rơng phép toán mệnh đề để thể rõ tri thức III- Các lƣợng từ Lƣợng từ tồn (∀): P vị từ có khơng gian E Nếu E = {e1, e2, en}, mệnh đề ∀xP(x) tất mệnh đề P(e1), P(e2),…P(en) Lƣợng từ tồn (∃): tương tự ∃xO(x) có mệnh đề P(e1), P(e2),…P(en) IV- Dịch câu thông thƣờng thành biểu thức logic Sử dụng phép ∧ ∨ → ↔ ⊕ để chuyển đôi câu biểu thức logic phù hợp -HếtBonne journée ! Họ tên: NGUYỄN HẢI ANH MSSV: B1609759