Chào mội người
Em vẫn chưa hiểu lắm về consistent trong các mệnh đề logic, chẳng hạn như ở dưới
Em chọn
p: The diagnostic message is stored in the buffer
q: It’s retransmitted
Và khi ta lấy giá trị p: F, q: T thì tại sao dòng em gạch đỏ không thỏa mãn, em dùng phủ định của q: tức là phủ định của T là đúng mà vẫn không ảnh hưởng các mệnh đề kia?
Em cảm ơn
Hỏi về mệnh đề logic (Logic Propositions Consistent) - Toán rời rạc
Yes, with
“The diagnostic message is not retransmitted” --> (NOT q)
It does not matter what value p is in this specification, if q is T then (NOT q) is F.
4 Likes
If q is T then NOT q is F won’t be satisfied?
I just have the same idea but in the textbook, they’ve explained that we need to have q: F, and negation of q will be True?
Chắc viết dài quá nên chủ thớt bị nhầm chỗ này à?
1 Like
Tức là ý em như này.
Cho p là T, q là F như ban đầu đề nói.
Và câu phủ định của q tức là !(T value) = False. Nhưng chẳng phải False thì sẽ dịch ra là “The diagnostic message is not retransmitted”?
Em đang hiểu theo kiểu nó nhận T thì phủ định câu đó chả phải là thỏa mãn câu diễn giải kia.
Hay bản chất người ta muốn q phải là F luôn. Và phủ định của q thành T thì mới tương đương câu "“The diagnostic message is not retransmitted”
Không phải vậy. Ví dụ này chỉ cho thấy 1 trường hợp không thỏa mãn.
1 Like
Đề nói là q là F lúc nào vậy bạn?
q = "The diagnostic message is re-transmitted" = True
=> "The diagnostic message is NOT re-transmitted" = !q = !(True) = False => câu này không thỏa
1 Like
q = “The diagnostic message is re-transmitted” = True
=> “The diagnostic message is NOT re-transmitted” = !q = !(True) = False => câu này không thỏa
Tức là điểm em đang hiểu sai là ở đây, tức là tự bản thân câu q phải là F để negation thành T mới thỏa mãn câu nói. Chứ không phải !q thành F thì dịch thành phủ định của câu q nó hợp lý rồi?
Haha, mình là dân học văn nên đọc toán không hiểu gì, nhưng học tiếng Anh thì khi làm bài trắc nghiệm hay có cái “no information”, tức là không thấy đề cập thì xem như nó không thoả, chứ đừng có suy luận theo kiểu:
A: Người hút thuốc là thì có sức khoẻ kém
B: Anh ấy không hút thuốc
Kết luận: anh ấy có sức khoẻ tốt <= tào lao 
3 Likes
83% thành viên diễn đàn không hỏi bài tập, còn bạn thì sao?