I’m taking a Discrete Math course and we’re starting with propositional logic. I think of off-the-wall scenarios too much. Now, the teacher doesn’t use tricky “unfair” questions, so I’m not in any danger of doing poorly on a test because of this since it wouldn’t actually show up on a test, but thought it’d be interesting to see the responses. The poll is about the statement “s”.
p: Billy can run quickly.
q: Billy can only run quickly. [Alternatively: Billy can not run slowly.]
r: Billy can not run fast.
s: Billy can not not run quickly.
–If you don’t want my reasoning to pollute you, take the poll now. Statement r is simply there for flow, it’s not in the poll.–
I personally think that despite the fact that it has two nots, they don’t fully cancel each other. Specifically, s is equivilent to q, not p. The first not modifies “not run fast,” he can not “not run quickly,” extrapolating that since the denial is specific he can still operate in the exclusion of that statement. In other words, he can only run quickly. My teacher disagrees (and on a test I’d probably err on this side as well due to the nature of the course), and says that the not not cancel each other, and it simply means “he can run quickly” with no other underlying statement.
Of course, even though I’d agree with him on a propositional logic test, simply because of all the double negation finagling we have to learn, this poll is mostly about what the natural conclusion you’d immediately come to would be. For me, that’s still the notion that s and q are more or less the same statement because of the specific denial. Obviously even though this quiz is about “natural English” and your conclusions it’s still a clumsy, theoretical statement, but I do what I can.
Remember that it takes a couple minutes to make the poll and the hamsters will show the thread before that so hold your horses.