Logical Equivalences Involving Conditionals
So, we’re continuing on page 25 with the two charts at the top.
This one still fucks with my head, so I’m gonna linger on it a bit. Intuitively, you want to say “how can a conditional by the same as a disjunction you piece of shit?!”
Well, once again, you’ve got to consider the possibilities.
On the left, the statement is true (i.e. non-false) under the following circumstances: 1) p is true and q is true, 2) p is false and q is false, 3) p is false and q is true. It is only false if p is true but q is false.
On the right, the statement is only false when (¬p) is false AND q is false. That is, when p is true and q is false.
Okay, so it’s still weird on the brain. I’m convinced most of the confusion results form the difficulty in understanding “True” to simply mean “not known to be false.”
Let’s look at in example.
p: You just met Zach Weiner.
q: You are mad with lust.
p→q: If you just met Zach Weiner, then you are mad with lust.
Now, we don’t know if that conditional is true. So, we make some observations on you.
If p is true and q is true, the conditional true. That is, if whenever you meet Zach Weiner you go mad with lust, we can say p→q is true.
If p is true and q is false, the conditional is false. Whenever you meet Zach Weiner, inexplicably, you don’t go mad with lust. So, p→q is false.
If p is false, then we can’t say anything about the conditional, since the result of p being false is unknown. That is, we don’t know what you’ll do if you haven’t just met Zach Weiner. You may go mad with lust (q = true) or you may not (q = false). Either way, we don’t know if the statement is true, since we only know what we’re asking if p is true.
So, the two possibilities where p is false are, based on the information in the conditional, non-false. Thus, they are true because the definition of trueness here includes being non-false.
Now let’s go back to the right side of our above equivalence, p→q≡¬p∨q
The right side is basically saying this: If p is false, the whole statement is true, since this is an inclusive OR proposition. This is the same as what we said for the conditional. The other circumstance in which the right side is true is when p is true and q is true. Since it’s an OR proposition, there’s only one way for it to be false: when both connected statements are false: ¬p is false and q is false. That is, the propositional overall is false when p is true but q is false. This is the same as what we just said about the left hand side.
Got it? These are different seeming frameworks, but they produce the same set of possibilities. They feel different because the left side in a human sense produces 3 possibilities: true, false, and I don’t know, whereas the right side only produces true and false. But, in this framework, “I don’t know” is the same as non-false, which is the same as true.
Wow, that was a lot of work for a single equivalence.
This we know from earlier as the contrapositive, so I won’t linger on it.
This is very similar to the first thing we discussed. Using what we learned there, think of this equivalence thus: p∨q is only false when both p and q are false. So, the right hand side is telling you that, for it to be true, IF not-p turns out to be the case, q must be true.
See how that makes sense? p OR q leaves 3 possible ways to be true: p is true, q is true, or both are true. If p is declared false, then the only way to keep the statement true is to have q be true.
Similar logic here again. If the left side is true, then p AND q are both true. So, the right side is saying “It’s not the case that if p is true q is false.”
The left side here is saying “It is NOT the case that if p is true then q is true.” Remember, out of the 4 possible true and false combinations, p→q is only false if p is true and q is false. And that’s what the right hand side is saying. You might read this line is “If the conditional is false, then it must be the case that the conclusion is false when the premise is true.” Or, to go back to our example, you might say “I say a lady who saw Zach Weiner AND didn’t go mad with lust.” That’d be equivalent to saying “It’s not the case that ladies always go mad with lust when they see Zach Weiner.”
This is pretty simple. If p implies q and p implies r, then if you know p to be true, you know the other two are true.
p: I’m at home alone.
q: I’m in my underwear.
r: I’m eating pizza.
The left side says: “If I’m at home alone, I’m in my underwear. Also, if I’m at home alone, I’m eating pizza.” The right side is just more succinct: “If I’m at home, I’m in my underwear and eating pizza.”
This is essentially saying there are two ways to reach r. Let’s do an example.
p: You practice piano a lot.
q: You kill all the competition.
r: You perform at Carnegie Hall.
The left side says “If you practice piano a lot, you’ll perform at Carnegie Hall. Also, if you kill all the competition, you’ll perform at Carnegie Hall.” The right side says a more human version: “If you practice piano a lot, or you kill all the competition, or hey, if you do both, you’ll perform at Carnegie Hall.”
The left side is setting up two conditionals, at least one of which is true, and both of which depend on p.
So, for example:
p: You have ice cream.
q: You are happy.
r: Your hand is cold.
The right side says “If you have ice cream you’re happy. Or if you have ice cream, your hand is cold. OH, or if you have ice cream, you’re happy and your hand is cold.” The right side is something like “If you have ice cream, at least one of these is true: you’re happy, you have cold hands.”
This one might trip you up because we’re back to our old nemesis, not-false.
Let’s look at the right side. You may be tempted to say it means “In order for this side to be true, both p and q must be true.” This is incorrect. Remember, if the antecedent is false, then we don’t know if the conditional is true or false. So, we must call it non-false. In fact, the right side is only false if p AND q are true and r is false.
Now, look at the left side. Because it’s an OR proposition, for it to be false, both conditionals must be false. And, conditionals are only false when their antecedents are true but their conclusions are false. So, the left side is only false when r is false and BOTH of p and q are true.
To make it more clear, consider the contrapositive of the right side: ¬r→¬(p∧q). That is, if r is false, then p and q can’t both be true. Or, you might say, if r is false, at least one of p and q is also false. This is what the left side says as well.
OOF! Once again, this ended up longer than I intended it to. But, it’s important to go over these things and not just memorize them. It’s the only way to break down your intuitive logic and build up your… well… logic.
I’ll have to leave the conclusion of this section for the next blog.
Next up: Biconditionals and making up your own rules!