tailieunhanh - LUẬN LÝ TOÁN HỌC - CHƯƠNG 3 (phần 4)

IV. Phân giải Tính hằng sai • Mục tiêu : Làm sao đánh giá được CT là hằng sai ?. • Định nghĩa hằng sai là working trong LLMĐ nhưng là non-working trong LLVT. • Giải pháp : Biến đổi CT nhưng vẫn còn giữ được tính hằng sai. Vậy phải biến đổi CT sao để dễ dàng khảo sát tính hằng sai. ntsơn | IV. Phân giải Tính hăng sai Mục tiêu Làm sao đánh giá được CT là hăng sai . Định nghĩa hăng sai là working trong LLMĐ nhưng là non-working trong LLVT. Giải pháp Biến đổi CT nhưng vẫn còn giữ được tính hăng sai. Vậy phải biến đổi CT sao để dễ dàng khảo sát tính hăng sai. Dạng chuẩn Skolem Chuyển về dạng chuẩn Skolem 1. Chuyển về dạng chuẩn Prenex. 2. Chuyển về dạng chuẩn giao. 3. Xóa lượng từ 3 bằng cách thay biến bằng hằng nếu không có V đứng trước nó. hàm có số thông số bằng số V đứng trước. 4. Chuyển mỗi thành phần giao thành các phần tử của tập .

TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.