I have a question about reading material implications. I know this read as "if p then q".
like: if the moon is made of green cheese then the earth is round. but I can't read it in this sentence:
F(x) ≡ |x| → M. that is: F(x) is true if and only if the logical sentence that corresponds to the number x implies M.
the sentence L says: this logical sentence implies M.
This is about Löb’s Paradox and I can't read it as "if p then q", especially the second part of the first sentence, that is: “F(x) is true if and only if the logical sentence that corresponds to the number x implies M.” and the whole part of the second sentence. how should I read these sentences when there is the word implies? I hope I explained it clearly.