Đây là bài viết mình sưu tầm được, các bạn có thể coi và tham khảo để làm bài thi tốt hơn!
Một trong những vấn đề khá quan trọng của logic mệnh đề là chứng minh tính đúng đắn của phép suy diễn (a ® b). Đây cũng chính là bài toán chứng minh thường gặp trong toán học.

Rõ ràng rằng với hai phép suy luận cơ bản của logic mệnh đề (Modus Ponens, Modus Tollens) cộng với các phép biến đổi hình thức, ta cũng có thể chứng minh được phép suy diễn. Tuy nhiên, thao tác biến đối hình thức là rất khó cài đặt được trên máy tính. Thậm chí điều này còn khó khăn với cả con người!

Với công cụ máy tính, bạn có thể cho rằng ta sẽ dễ dàng chứng minh được mọi bài toán bằng một phương pháp "thô bạo" là lập bảng chân trị . Tuy về lý thuyết, phương pháp lập bảng chân trị luôn cho được kết quả cuối cùng nhưng độ phức tạp của phương pháp này là quá lớn, O(2n) với n là số biến mệnh đề. Sau đây chúng ta sẽ nghiên cứu hai phương pháp chứng minh mệnh đề với độ phức tạp chỉ có O(n).

Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

anh hoàng này tốt thật

� cái dấu này đọc sao vậy hoàng

đọc được rồi thanks nhe =)) spm hơi nhiều sorry baby

Edward_Thien đã viết:

Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

Câu nói này sai nè nha! Bên trang gốc cũng vậy mà thôi. Do người soạn không chuẩn, chứ đâu phải lỗi do forum!

Già Làng đã viết:

Edward_Thien đã viết:

Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

Câu nói này sai nè nha! Bên trang gốc cũng vậy mà thôi. Do người soạn không chuẩn, chứ đâu phải lỗi do forum!

À ko! Bên đó khi tui thấy thì cũng lỗi vài lỗi hình thoi gì đó, còn khi mang qua đây, các lỗi đó vẫn còn, và các ký hiệu tuyển và hội... thì biến thành ký tự khác! Nói chung là các bạn cứ qua đó coi đi.
Admin làm gì mà nóng thế?

kaka nóng như ka tra mà sao lại đổ thừa rum mình thế (có lổi thì cũng nói nhỏ nhỏ thui chứ =)) )

Edward_Thien đã viết:

Đây là bài viết mình sưu tầm được, các bạn có thể coi và tham khảo để làm bài thi tốt hơn!
Một trong những vấn đề khá quan trọng của logic mệnh đề là chứng minh tính đúng đắn của phép suy diễn (a ® b). Đây cũng chính là bài toán chứng minh thường gặp trong toán học.

Rõ ràng rằng với hai phép suy luận cơ bản của logic mệnh đề (Modus Ponens, Modus Tollens) cộng với các phép biến đổi hình thức, ta cũng có thể chứng minh được phép suy diễn. Tuy nhiên, thao tác biến đối hình thức là rất khó cài đặt được trên máy tính. Thậm chí điều này còn khó khăn với cả con người!

Với công cụ máy tính, bạn có thể cho rằng ta sẽ dễ dàng chứng minh được mọi bài toán bằng một phương pháp "thô bạo" là lập bảng chân trị . Tuy về lý thuyết, phương pháp lập bảng chân trị luôn cho được kết quả cuối cùng nhưng độ phức tạp của phương pháp này là quá lớn, O(2n) với n là số biến mệnh đề. Sau đây chúng ta sẽ nghiên cứu hai phương pháp chứng minh mệnh đề với độ phức tạp chỉ có O(n).

Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

Cảm ơn bạn.