01/10/2018, 00:24
Chứng minh mệnh đề tương đương trong TRR
Các bác ai biết cách chứng minh MĐTĐ bằng các luật tương đương ( không dùng bảng chân lý ) giúp mình với, có mấy cái luật tương đương mà không biết nên dùng lúc nào @@
Bài liên quan
Bạn bắt đầu từ khái niện a <=> b := a <= b ^ a => b. Bạn thạy => bằng luật -a v b. (-a phủ định a)
vậy bạn có (-a v b) ^ (-b v a). rút gọn lại (-a ^ -b) v (a ^ b).
Ban viết rõ hơn được không? Vậy mình không cần nhớ các luật vẫn có thể chứng minh tương đương đc hả bạn ?