I have been trying to teach myself philosophical logic, but my mind is completely stuck. I cannot seem to understand the abstractions, which is unusual for me given that I have taken very advanced mathematics.
Taken from the book "A Short Introduction to Logic":
"Suppose we think of the relevant domain of objects as causes and effects, and write "x is caused by y" as xCy:
1). ∀x ∃y xCy 2).∃y ∀x xCy
Can someone rewrite this in plain English? I'm not sure what's happening here. Where do I plug in words like "and," "or," "true," "if," etc.? What does this sentence mean step by step?
I know that it is very simple, but I'm lost without the other logical symbols.