(August 9, 2012 at 7:22 pm)CliveStaples Wrote: "p => q" isn't meaningless. It means "p implies q".
So have you once in five pages of mad rambling nonsense defined what 'p' or 'q' stand for?
So tell me what is the use of a formula that has no definitions?
Now are you again going to assert I do not understand basic logic?