Chương 1: Đại số mệnh đề phần 2 pptx

12 533 0
Chương 1: Đại số mệnh đề phần 2 pptx

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Chương 1: Đại số mệnh đề Hay : x + y = 89 x-y =1 Giải hệ phuơng trình ta x = 45 y = 44 Vậy a = 1974 Trên vài ví dụ đơn giản Hy vọng ví dụ cho thấy quan trọng logic không tốn học, khoa học máy tính mà cịn sống hàng ngày 1.6 Các thuật ngữ chuyên ngành (SOME TERMINOLOGY) 1.6.1 Định nghĩa Hằng (Tautologie): Một mệnh đề ln có chân trị Một 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 đề Ví dụ : xét chân trị biểu thức mệnh đề ¬P ∨ P P ¬P ¬P∨P T F T F T T Vậy ¬P∨P 1.6.2 Định nghĩa Hằng sai (Contradiction): Một sai mệnh đề ln có chân trị sai Một sai 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 đề Ví dụ : xét chân trị biểu thức mệnh đề ¬P ∧ P P ¬P ¬P∧P T F F F T F Trang 17 Chương 1: Đại số mệnh đề Vậy ¬P∧P sai 1.6.3 Định nghĩa tiếp liên (Contingency): Một tiếp liên biểu thức mệnh đề khơng phải sai Ví dụ : Tìm chân trị biểu thức mệnh đề (P ∧ Q ) ∨ ¬Q p T T F F q T F T F ¬q p ∧q (p∧q)∨¬ q F T T T F T F F F T F T Vậy (P ∧ Q ) ∨ ¬Q tiếp liên khơng phải sai 1.7 Mệnh đề hệ Định nghĩa : Cho F G biểu thức mệnh đề Người ta nói G mệnh đề hệ F hay G suy từ F F → G Kí hiệu F |→ G Ví dụ : Cho F = ( P → Q ) ∧ ( Q → R ) G=P→R Xét xem G có mệnh đề hệ F không ? P Q R P→Q Q→R F G F→G T T T T T T T T T T F T F F F T T F T F T F T T T F F F T F F T F T T T T T T T Trang 18 Chương 1: Đại số mệnh đề F T F T F F T T F F T T T T T T F F F T T T T T Vậy G mệnh đề hệ F Nhận xét : Nếu G hệ F F bắt bắt buộc G phải Ngược lại, G chưa có kết luận vể chân trị F 1.8 Tương đương Logic (LOGICALLY EQUIVALENT) • Định nghĩa : Mệnh đề P mệnh đề Q gọi tương đương logic phép tương đương P Q (P↔Q) • Định nghĩa : Hai mệnh đề P Q gọi tương đương logic chúng có chân trị • Mệnh đề P Q tương đương logic kí hiệu P ⇔ Q (hay P = Q) Ví dụ : Cho F = P∨(Q∧R) G = (P∨Q) ∧ (P∨R) Xét xem hai mệnh đề có tương đương logic không ? Trang 19 Chương 1: Đại số mệnh đề Vậy F G tương đương logic hay F=G F=P→Q Ví dụ 2: Cho G = ¬ (P∨Q) Xét xem hai mệnh đề có tương đương logic khơng ? p T T F F q p→q ¬p ¬p∨q T T F T F F F F T T T T F T T T Vậy F ⇔ G hay P → Q = ¬ (P∨Q) p q r q∧r F T T T T F F F F T T T T T F F F T T F F T T F F T F T F T F T F T F F F T F F F p∨q p∨r T T T T T T F F T T T T T F T F Trang 20 G F↔G T T T T T F F F T T T T T T T T Chương 1: Đại số mệnh đề Bảng tương đương logic thường dùng Đặt T= đúng, F = sai Equivalence Name p∨T ⇔ T Domination laws p∧F ⇔ F p∧T ⇔ p Identity laws p∨F ⇔ p p∨p ⇔ p Idempotent laws p∧p ⇔p ¬(¬p) ⇔p Double negation law p∨¬p ⇔ T Cancellation laws p∧¬p ⇔ F p∨q ⇔ q∨p (Not an offical name) Commutative laws p∧q ⇔ q∧p (p∨q)∨r ⇔ p∨(q∨r) Associative laws (p∧q)∧r ⇔ p∧(q∧r) p∨(q∧r) ⇔ (p∨q)∧(p∨r) Distributive laws p∧(q∨r) ⇔ (p∧q)∨(p∧r) ¬(p∧q) ⇔ ¬p∨¬q De Morgan’s laws ¬(p∨q) ⇔ ¬p∧¬q (p→q) ⇔ (¬p∨q) Implication law Lưu ý : Domination laws : luật nuốt Identity laws : luật đồng Idempotent laws : luật lũy đẳng Trang 21 Chương 1: Đại số mệnh đề Double negation law : luật phủ định kép Cancellation laws : luật xóa bỏ Commutative laws : luật giao hốn Associative laws : luật kết hợp Distributive laws : luật phân bố De Morgan’s laws : luật De Morgan Ngoài tương đương thường dùng bảng trên, có tương đương logic khác mà hay gặp chứng minh Đó : P∨(P∧Q)=P P∧(P∨Q)=P ( sinh viên tự chứng minh xem tập ) • Ví dụ : Khơng lập bảng chân trị, sử dụng tương đương logic để chứng minh (P ∧ Q) → Q (( p ∧ q) → q) ⇔ ¬( p ∧ q) ∨ q ←Implication law ⇔ (¬p ∨ ¬q) ∨ q ←De Morgan’s Law ⇔ ¬p ∨ (¬q ∨ q) ←Associative law ơp T Domination Law T ã Ví dụ : ←Cancellation Law Chứng minh Trang 22 ¬ (q → p ) ∨ (p ∧ q ) = q Chương 1: Đại số mệnh đề (¬(q → p))∨ ( p ∧ q) ⇔ (¬(¬q ∨ p))∨ ( p ∧ q) ↓ Implication law ←Commutative law ⇔ (q ∧ ¬p) ∨ ( p ∧ q) ⇔ (q ∧ ¬p) ∨ (q ∧ p) ⇔ q ∧ (¬p ∨ p) ⇔ q∧T ⇔ • ←Distributive law ←Cancellation law ←Identity law q Ví dụ : Áp dụng lập trình Giả sử chương trình có câu lệnh sau : while(NOT(A[i]!=0 AND NOT(A[i]>= 10))) Ta viết lại câu lệnh cách đơn giản cách sử dụng công thức De Morgan while( A[i]==0 OR A[i]>= 10) • Ví dụ 4: Giả sử chương trình có câu lệnh sau : while( (i10) OR (i

Ngày đăng: 24/03/2014, 13:20

Từ khóa liên quan

Mục lục

  • CHUONG 1.pdf

    • CHƯƠNG 1 : ĐẠI SỐ MỆNH ĐỀ

      • Tổng quan

      • Định nghĩa mệnh đề

      • Các phép tính mệnh đề

        • Phép phủ định (NEGATION)

        • Phép hội (CONJUNCTION)

        • Phép tuyển (DISJUNCTION)

        • Phép XOR

        • Phép toán trên bit

        • Phép kéo theo (IMPLICATION)

        • Phép tương đương (BICONDITIONAL)

      • Biểu thức mệnh đề (LOGICAL CONNECTIVES)

      • Các ứng dụng của Logic (EVERDAY LOGICAL)

      • Các thuật ngữ chuyên ngành (SOME TERMINOLOGY)

        • Định nghĩa Hằng đúng (Tautologie):

        • Định nghĩa Hằng sai (Contradiction):

        • Định nghĩa tiếp liên (Contingency):

      • Mệnh đề hệ quả

      • Tương đương Logic (LOGICALLY EQUIVALENT)

      • Tổng kết chương 1

      • Bài tập chương 1

  • CHUONG 2.pdf

    • CHƯƠNG 2 : SUY LUẬN TOÁN HỌC &

    • CÁC PHƯƠNG PHÁP CHỨNG MINH

      • Tổng quan

      • Suy luận toán học

        • Khái niệm

        • Các qui tắc suy luận

      • Các phương pháp chứng minh

        • Chứng minh rỗng ( P là sai)

        • Chứng minh tầm thường (Q là đúng)

        • Chứng minh trực tiếp

        • Chứng minh gián tiếp

        • Chứng minh phản chứng

        • Chứng minh qui nạp

      • Tổng kết chương 2

      • Bài tập chương 2

  • CHUONG 3.pdf

    • CHƯƠNG 3 : VỊ TỪ VÀ LƯỢNG TỪ

      • Tổng quan

      • Các định nghĩa

        • Định nghĩa vị từ (Prédicat)

        • Không gian của vị từ (Prédi cat)

        • Trọng lượng của vị từ (Prédi cat)

        • Phép toán vị từ

      • Các lượng từ

        • Lu?ng t? t?n t?i ( ( )

        • Lu?ng t? v?i m?i ( ( )

      • Dịch các câu thông thường thành biểu thức logic

      • Tổng kết chương 3

      • Bài tập chương 3

  • CHUONG 4.pdf

    • CHƯƠNG 4 : LÝ THUYẾT TẬP MỜ & LOGIC MỜ

      • Tổng quan

      • Giới thiệu

      • Khái niệm tập mờ (fuzzy set)

      • Các phép toán về tập mờ

        • Phép bù

        • Phép giao

        • Phép hợp

        • Một số qui tắc

        • Phép kéo theo

      • Logic mờ

        • Định nghĩa mệnh đề mờ

        • Các phép toán trên logic mờ

      • Suy diễn mờ (Fuzzy inference)

      • Tổng kết chương 4

      • Bài tập chương 4

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan