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.

┑q→┑p <= =>[ ask, unless ┑p].