Current location - Training Enrollment Network - Mathematics courses - How to understand [Q, unless ┑p] in discrete mathematics? I feel that the explanation in the book is very awkward.
How to understand [Q, unless ┑p] in discrete mathematics? I feel that the explanation in the book is very awkward.
[q, unless ┑p] means ┑ q → ┑ q → ┑ p.
In fact, if, if you remember,
Q: I will. P: I'm free.
Then [if I don't come, I won't be free] < = = > I will come unless I am free.