The discussion revolves around the logical expression "Q unless negate P" and its equivalence to "if P then Q," as presented in a text by Rosen. Participants are exploring the implications of this expression and its formal understanding.
The discussion is active, with participants engaging in clarifying the logical expressions and their meanings. Some guidance has been offered regarding the construction of a truth table, and there is an acknowledgment of the need for further exploration of the concepts involved.
There is a mention of the informal nature of the original interpretations, and participants are questioning the clarity and formality of the definitions being discussed.
r0bHadz said: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..
I don't understand what "we have" means in this context.PeroK said: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.
PeroK said:"We have p" means p is true.
Yes!r0bHadz said:Ah I gotcha. So would you say what I wrote in my original post is correct then?