Slide4

III. Ngữ nghĩa của luận lý mệnh đề

Gán thực trị ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Diễn dịch ,[object Object],[object Object]

Diễn dịch ,[object Object],[object Object],A đúng, B đúng A đúng, B sai A sai, B đúng A sai, B sai (A  B)   A A sai, B sai

Diễn dịch ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thực trị của một công thức ,[object Object],[object Object]

Bảng thực trị ,[object Object],[object Object],P Q  P P  Q P  Q P  Q 1 1 0 1 1 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 1

Bảng thực trị ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Bảng thực trị ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thực trị của một công thức ,[object Object],[object Object],1 0 1 0 1 0 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 Z X Y  Y  Z X  (  Y  Z) CT 0 0 0 0 1 1 1 1

Thủ tục số học ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thực trị của một công thức ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thủ tục số học ,[object Object]

Cây phân tích ,[object Object],[object Object],[object Object],   X   Y Z X đ đ s s đ đ đ s đ

Phân loại công thức ,[object Object],[object Object],[object Object],[object Object],[object Object]

Phân loại công thức ,[object Object],[object Object]

Công thức tương đương ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Mô hình ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Các công thức tương đương ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Hằng đúng ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Hằng đúng ,[object Object],[object Object],[object Object],[object Object],[object Object]

Hằng đúng ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Lưỡng nguyên ,[object Object],[object Object],[object Object],[object Object]

Diễn dịch ,[object Object],[object Object],[object Object],[object Object],[object Object]

Diễn dịch ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng chuẩn giao - CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng chuẩn giao - CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng chuẩn giao - CNF ,[object Object],[object Object],[object Object],[object Object],A B F 1 1 1 1 0 0 0 1 0 0 0 1 (  A  B) (A   B)

Dạng chuẩn giao - CNF ,[object Object],[object Object],[object Object],[object Object],A B C 1 1 1 1 1 0 1 0 1 1 0 0 (  A   B  C) 0 1 1 0 1 0 0 0 1 0 0 0 F 1 0 1 0 1 0 1 1 (  A  B  C) (A   B  C)

Dạng chuẩn giao - CNF ,[object Object],[object Object],[object Object]

Dạng chuẩn giao - CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

M ệnh đề ,[object Object],[object Object],[object Object],[object Object],[object Object]

M ệnh đề ,[object Object],[object Object],[object Object],[object Object]

M ệnh đề ,[object Object],[object Object],[object Object]

Clausal form [15] ,[object Object],[object Object],[object Object]

Dạng chuẩn hội - DNF ,[object Object],[object Object],[object Object],[object Object],[object Object]

Bài toán SAT ,[object Object],[object Object],[object Object]

Bài toán SAT ,[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng chuẩn giao - CNF ,[object Object],[object Object],[object Object],[object Object]

Dạng NNF [*] ,[object Object],[object Object],[object Object],[*] Logic and Proof - Computer Science Tripos Part IB Michaelmas Term Lawrence C Paulson - Computer Laboratory University of Cambridge lcp@cl.cam.ac.uk

Dạng NNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[*] Logic and Proof - Computer Science Tripos Part IB Michaelmas Term Lawrence C Paulson - Computer Laboratory University of Cambridge lcp@cl.cam.ac.uk

Từ NNF đến CNF [*] ,[object Object],[object Object],[object Object],[object Object],[object Object],[*] Logic and Proof - Computer Science Tripos Part IB Michaelmas Term Lawrence C Paulson - Computer Laboratory University of Cambridge lcp@cl.cam.ac.uk

Thuật toán CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[*] Logic and Proof - Computer Science Tripos Part IB Michaelmas Term Lawrence C Paulson - Computer Laboratory University of Cambridge lcp@cl.cam.ac.uk

Thuật toán CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thuật toán NNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Thuật toán NO_ARROW ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Horn clause ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Horn clause ,[object Object],[object Object],[object Object],[object Object],[object Object]

Horn clause ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Horn clause & SAT ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Horn clause & SAT ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Hệ quả luận lý ,[object Object],[object Object],[object Object],[object Object],[object Object]

Hệ quả luận lý ,[object Object],[object Object],[object Object],[object Object],F H Tập các Diễn dịch Tập các Diễn dịch Tập con thỏa thỏa Hệ quả luận lý ╞═

Hệ quả luận lý ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Hệ quả luận lý ,[object Object],Không là mô hình của KB 1 0 0 1 1 1 1 1 1 ╞═ Y X X  Y Y X 0 1 1 0 0 1 0 0 Không là mô hình của KB Không là mô hình của KB

Ký hiệu hằng đúng ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Công thức hằng đúng ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ký hiệu ╞═ ,[object Object]

Bài tập Chương 2 : Luận lý mệnh đề

Lập bảng thực trị ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Tương quan giữa các toán tử ,[object Object],[object Object],[object Object],[object Object]

Tương quan giữa các toán tử ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dùng thủ tục số học ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Sự tương đương ,[object Object],[object Object],[object Object],[object Object],[object Object]

Hằng đúng - Hằng sai ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Mô hình ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Mô hình ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Dạng chuẩn CNF ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

H ằ ng đúng - Hằng sai ,[object Object],[object Object],[object Object],[object Object]

Mô hình ,[object Object],[object Object],[object Object],[object Object]

Hệ qủa luận lý ,[object Object],[object Object],[object Object],[object Object]

Hệ qủa luận lý ,[object Object],[object Object],[object Object],[object Object],[object Object]

Slide4

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (16)

Ähnlich wie Slide4

Ähnlich wie Slide4 (20)

Mehr von Ngọc Hòa Tống

Mehr von Ngọc Hòa Tống (9)

Slide4

Hinweis der Redaktion