Em đang học Toán rời rạc đến phần proof by contradiction, phần sử dụng contrapositive để chứng minh p -> q đúng thì em hiểu nhưng cái này em hơi lấn cấn.
Chẳng phải p ^ !p luôn luôn sai nhưng sao ở đây lại ĐÚNG ạ?
Em cảm ơn
Proof by Contradiction
Câu p \land \lnot p làm phức tạp vấn đề thì đúng hơn (với câu p \land \lnot q ở đầu). Chỉ cần thay nó bằng \lnot p là đúng mẫu contrapositive.
2 Likes
p and !q are True là sai rồi :V nếu !q hay n is even thì 3n+2 là even, nghĩa là p is False, vậy False and True = False :V
à ở dưới suy ra p and !p True là contradict đấy vì p and !p luôn luôn False, nên câu “p and !q are True” là sai
2 Likes
83% thành viên diễn đàn không hỏi bài tập, còn bạn thì sao?