III Ngữ nghĩa của luận lý mệnh đề Chương 2 III Ngữ nghĩa của luận lý mệnh đề * @Nguyễn Thanh Sơn Soundness & Completeness[15] Soundness Một chứng minh có tương ứng với một ngữ nghĩa nào không ? Comple[.]
III Ngữ nghĩa luận lý mệnh đề Chương ntsơn Soundness & Completeness[15] • Soundness : Một chứng minh có tương ứng với ngữ nghĩa khơng ? • Completeness : Một ngữ nghĩa có tìm chứng minh không ? @Nguyễn Thanh Sơn ntsơn Proof theory [7] • Bảng thực trị xác định ngữ nghĩa • Các hệ thống chứng minh gọi lý thuyết chứng minh @Nguyễn Thanh Sơn ntsơn Soundness & Completeness • Tương quan khái niệm ├─ và╞═ H ├─ F H ╞═ Định lý (soundness) Nếu F├─ H F╞═ H Định lý (completeness) Nếu F╞═ H F├─ H @Nguyễn Thanh Sơn ntsơn Hết slide @Nguyễn Thanh Sơn ntsơn ...Soundness & Completeness[ 15] • Soundness : Một chứng minh có tương ứng với ngữ nghĩa khơng ? • Completeness : Một ngữ nghĩa