The discussion clarifies the logical equivalence between the expressions "Q unless not P" and "if P then Q" as presented in Rosen's work. Participants confirm that both statements imply that Q holds true when P is true, while the status of Q remains uncertain when P is false. The conversation emphasizes the importance of constructing a truth table to visualize the relationships between these logical statements. Ultimately, the participants agree that the initial interpretation of the expressions is correct.
PREREQUISITESThis discussion is beneficial for students of logic, educators teaching propositional logic, and anyone interested in understanding logical expressions and their equivalences.
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?