# Causation doesn't imply correlation and correlation does not imply causation Let P := |corr(X,Y) > .5| let Q := exits a relation F:XRightarrowY Then the often stated line of correlation does not imply causation is simply !(PRightarrowQ). It is also true that causation does not imply correlation. So !(QRightarrowP) But (PRightarrowQ)∨(QRightarrowP) is a tautology. I know I am not seeing clearly, but I don't see it. Sorry if this is answered, I didn't see and also sorry if this is too simplistic. I just don't get where my thinking is off.

Causation doesn't imply correlation and correlation does not imply
causation
Let P := |corr(X,Y) > .5| let Q := exits a relation F: $X\phantom{\rule{thickmathspace}{0ex}}⟹\phantom{\rule{thickmathspace}{0ex}}Y$
Then the often stated line of correlation does not imply causation is simply! $Q\phantom{\rule{thickmathspace}{0ex}}⟹\phantom{\rule{thickmathspace}{0ex}}P$.
It is also true that causation does not imply correlation. So! $Q\phantom{\rule{thickmathspace}{0ex}}⟹\phantom{\rule{thickmathspace}{0ex}}P$
But $\left(P\phantom{\rule{thickmathspace}{0ex}}⟹\phantom{\rule{thickmathspace}{0ex}}Q\right)\vee \left(Q\phantom{\rule{thickmathspace}{0ex}}⟹\phantom{\rule{thickmathspace}{0ex}}P\right)$ is a tautology.
You can still ask an expert for help

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

tiltat9h
Your P and Q are not propositions; they are predicates. That is, the truth value of P varies depending on X and Y.
The correct translation of "Correlation does not imply causation" is not ! $!\left(P\to Q\right)$. Instead it is
$!\left(\left(\mathrm{\forall }X,Y\right)\left(P\left(X,Y\right)\to Q\left(X,Y\right)\right)$
Note, incidentally, that the key issue here has nothing to do with correlation and causation. You could take statement "P" to be "Chris is a women" and "Q" to be "Chris is a parent". If we allow for the fact that there are many people named Chris in the world, these statements are predicates with truth values that depend on which Chris you're talking about.
Now it is not true that "All women are parents" and it is not true that "All parents are women", so if your logic were correct, you could apply it here equally well and get the same paradox without ever mentioning causation or correlation. The resolution remains the same.