luận lý toán học,nguyễn thanh sơn,dhbkhcm ntsơn IV Phân giải CuuDuongThanCong com https //fb com/tailieudientucntt http //cuuduongthancong com https //fb com/tailieudientucntt ntsơn Tính hằng sai • Mụ[.]
IV Phân giải CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Tính sai • Mục tiêu : Số diễn dịch công thức LLVT vô hạn Làm biết công thức đúng, sai, khả đúng, khả sai ? Dựa vào định nghĩa ? • Giải pháp ? CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Tính sai Thuật tốn kiểm tra sai yes Thuật toán kiểm tra yes no Cơng thức LLVT no Có cần thiết phải có thuật tốn ? CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Tính sai • Chỉ cần thuật tốn : Cơng thức F sai ? Công thức F ? CuuDuongThanCong.com F Thuật toán kiểm tra sai yes no F https://fb.com/tailieudientucntt ntsơn Tính sai • Chỉ cần thuật toán sai : F + yes F sai F + yes F F + no F + no F khả đúng, khả sai CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Tính sai • Mục tiêu : Biết cơng thức sai • Giải pháp : * Biến đổi cơng thức (vẫn cịn tính sai) * Co nhỏ không gian diễn dịch CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Tính sai • Lưu ý : Chỉ cơng thức đóng đánh giá sai diễn dịch Do đó, cơng thức đề cập từ trở công thức đóng CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Dạng chuẩn Skolem • Cơng thức F chuyển dạng : Chuẩn Prenex Chuẩn giao Lần lượt xóa lượng từ ”-” Với x, thay tất hữu x hàm fx Hàm fx có thơng số biến lương từ , với lượng từ đứng trước x Tập SF có phần tử thành phần giao CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Dạng chuẩn Skolem Thí dụ : F = x y z t s v (p(x, y, z, t) q(s, v)) Xóa lượng từ z, thay z hàm fz(x, y) x y t s v (p(x, y, fz(x, y), t) q(s, v)) Xóa lượng từ s, thay s hàm fs(x, y, t) x y t v (p(x, y, fz(x, y), t) q(fs(x, y, t), v)) Chuyển thành dạng tập hợp SF = {p(x, y, fz(x, y), t), q(fs(x, y, t), v)} dạng chuẩn Skolem CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Dạng chuẩn Skolem Thí dụ : F = x y z t p(a, x, y, z, f(t)) Xóa lượng từ x, thay x b y z t p(a, b, y, z, f(t)) Xóa lượng từ z, thay z hàm fz(y) y t p(a, b, y, fz(y), f(t)) Chuyển thành dạng tập hợp SF = {p(a, b, y, fz(y), f(t)} dạng chuẩn Skolem CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn ... pháp ? CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Tính sai Thuật toán kiểm tra sai yes Thuật toán kiểm tra yes no Cơng thức LLVT no Có cần thiết phải có thuật tốn ? CuuDuongThanCong.com... sai ? Công thức F ? CuuDuongThanCong.com F Thuật toán kiểm tra sai yes no F https://fb.com/tailieudientucntt ntsơn Tính sai • Chỉ cần thuật toán sai : F + yes F sai F + yes F F +... CuuDuongThanCong.com https://fb.com/tailieudientucntt ntsơn Tính sai Định lý : Công thức F sai dạng chuẩn Skolem SF sai Nhận xét : Từ định lý nói : cơng thức F dạng chuẩn Skolem SF tương đương theo nghĩa