Q unless negate p = if p then q

[r0bHadz]

Homework Statement

I want to make sure I am understanding this correctly
Rosen says Q unless negate p = if p then q

Homework Equations

The Attempt at a Solution

Q unless negate P is saying, if P, then Q, but if not P, then possibly/possibly not Q

does this make sense? Honestly this doesn't seem to formal to me but I can see how it would make sense..

 

[PeroK]

Homework Statement

I want to make sure I am understanding this correctly
Rosen says Q unless negate p = if p then q

Homework Equations

The Attempt at a Solution

Q unless negate P is saying, if P, then Q, but if not P, then possibly/possibly not Q

does this make sense? Honestly this doesn't seem to formal to me but I can see how it would make sense..

They are both saying the same thing. q unless negate p means that we have q unless we have don't have p. In other words, if p then q.

Neither statement says what we have if we have negate p. We may have q or we may not.

Try writing out a truth table with all four options.

 

[r0bHadz]

They are both saying the same thing. q unless negate p means that we have q unless we have don't have p. In other words, if p then q.

Neither statement says what we have if we have negate p. We may have q or we may not.

Try writing out a truth table with all four options.

I don't understand what "we have" means in this context.

 

[PeroK]

"We have p" means p is true.

 

[r0bHadz]

"We have p" means p is true.

Ah I gotcha. So would you say what I wrote in my original post is correct then?

 

[PeroK]

Ah I gotcha. So would you say what I wrote in my original post is correct then?

Yes!