(April 2, 2016 at 1:32 am)MysticKnight Wrote: I don't want the gist, I want to understand what each phrase is saying exactly. It's ok, if you won't do it, I'm going to get out the old text book I have on model logic, and relearn how to translate this stuff to plain English. It seems it relies on proof by double implication? I just have to understand in plain English where you got the double implication from.
Be careful, mathing is even more evil than the dark forces. Don't taint your soul!