ĐẠI HỌC ĐÀ NẰNGTRƯỜNG ĐẠI HỌC BÁCH KHOAKHOA CÔNG NGHỆ THÔNG TINIT FACULTYGIÁO TRÌNHHỆ CHUYÊN GIAPGS.TS. PHAN HUY KHÁNHĐÀ NẴNG 9-2004Mục lục3b.Giá trị GIÁO TRÌNH HỆ CHUYÊN GIA một công thức theo điền giãi.....................................37I2.Các ánh chất........................................... ................381.2.1.Tính hợp thức không hợp thức, tinh nhấtquậnkhông nhất quán..........381.2.2.Tinh không quyết định điroc và tính nửa quyẻt định được................. GIÁO TRÌNH HỆ CHUYÊN GIA.391.2.3.Còng thức tương đương....................................................391.2.4.Hãn qua logic...............................................
GIÁO TRÌNH HỆ CHUYÊN GIA
.............40I.3.ộuan hệ giừa dịnh lý và hậtt quà logic...................................401.3.1.Nhóm các luật suy diễn «đúng đắn» (sound).........ĐẠI HỌC ĐÀ NẰNGTRƯỜNG ĐẠI HỌC BÁCH KHOAKHOA CÔNG NGHỆ THÔNG TINIT FACULTYGIÁO TRÌNHHỆ CHUYÊN GIAPGS.TS. PHAN HUY KHÁNHĐÀ NẴNG 9-2004Mục lục3b.Giá trị GIÁO TRÌNH HỆ CHUYÊN GIA...................................41IIPHẺPHợPGiãi......................................................................41//. ỉ.Biến dồi cắc mênh dề.....................................................41111.1.Dang chuẩn trước cùa một còng tlìức chinh................................41a.Loai bò các ph GIÁO TRÌNH HỆ CHUYÊN GIAép nối -> và <->...........................................41b.Ghép các phép nối -I với các nguyên tữ liên quan.........................41c.Phán biệt
GIÁO TRÌNH HỆ CHUYÊN GIA
các biển..........?............................................41d.Dịch chuyển các dầu lượng nr.............................................42II.1.2.CĐẠI HỌC ĐÀ NẰNGTRƯỜNG ĐẠI HỌC BÁCH KHOAKHOA CÔNG NGHỆ THÔNG TINIT FACULTYGIÁO TRÌNHHỆ CHUYÊN GIAPGS.TS. PHAN HUY KHÁNHĐÀ NẴNG 9-2004Mục lục3b.Giá trị GIÁO TRÌNH HỆ CHUYÊN GIA2b.Loai bo tắt cả các dấu hrợng tữ..........................................43c.Chuyền qua «dạng chuẳn họi»..............................................43d.Loai bò tat cà các dáu phép toán logic...................................44e.Phân biêt các biến của các mệnh đề................................ GIÁO TRÌNH HỆ CHUYÊN GIA.......44II.1.3.Quan hê giừa CTC vã các dang mệnh đề của chủng...........................44II1.4.Phép hợp giai đối VỚI các mệnh đè cu thề..........?..
GIÁO TRÌNH HỆ CHUYÊN GIA
....................46II.2.Phép hợp nhất (unification)............................................ 4611.2.1.Khái mèm.................................ĐẠI HỌC ĐÀ NẰNGTRƯỜNG ĐẠI HỌC BÁCH KHOAKHOA CÔNG NGHỆ THÔNG TINIT FACULTYGIÁO TRÌNHHỆ CHUYÊN GIAPGS.TS. PHAN HUY KHÁNHĐÀ NẴNG 9-2004Mục lục3b.Giá trị ĐẠI HỌC ĐÀ NẰNGTRƯỜNG ĐẠI HỌC BÁCH KHOAKHOA CÔNG NGHỆ THÔNG TINIT FACULTYGIÁO TRÌNHHỆ CHUYÊN GIAPGS.TS. PHAN HUY KHÁNHĐÀ NẴNG 9-2004Mục lục3b.Giá trị