As a mathematician, I can tell you that in formal logic, these two sentences imply nothing unless you already know whether one of the conditions is true.
(I hate to play the "expert" card and say trust me, but the short version is that until we know for sure about one of them, we know nothing about the other.)
https://en.wikipedia.org/wiki/First-order_logic (long explanation of logic)
https://en.wikipedia.org/wiki/Material_conditional#Truth_table (truth table)
So in the table
p q p → q
T T T
T F F
F T T
F F T
p = RR is dirty q = Mueller is dirty p → q says if RR is dirty then Mueller is dirty. so in the table it shows us that
Line 1. the statement is TRUE if both are dirty
Line 2. the statement is FALSE if RR is dirty but Mueller is not
Line 3. the statement is TRUE if RR is NOT dirty but Mueller is
Line 4. the statement is TRUE if both are dirty q → p is the same with RR and Mueller swapped.
So Q is telling us the truth if they are both dirty. He is also telling us the truth if they are both NOT dirty. ... or of course Q could be giving us disinformation and this all goes out the window.
Bottom line: Both clean OR both dirty.
Another discussion is whether the Q team is trained in formal logic. I believe that at least one member of the team is, and possibly is a mathematician or has at least studied logic. There is evidence of a strong cryptographic background on the team and that points to high level math skills.
OOOO, OOOOOO. More math fun!
Q says If RR is dirty Muley ^^MUST^^ be dirty.
MUST
Here Q introduces absolute value?
|A| = |B|
and
|B| = |A|
Wherein is |C|?
Dude, I’m not trying to convince you of one or the other. This is an exercise in thought where-in “iron sharpens iron”.
We’re both correct (or, we’re both wrong).
Pax
There is an autist on the team, there has got to be.
Interesting perspective:
Here’s another one for you.
Q used a negative connotation on Mulehead and RR
If one is dirty the other is dirty...
Q could have used a positive connotation in the statement,
If RR is clean then Mueller is clean.
If Mueller is clean the RR is clean.
So did Q leave a Qlue?