Talk:Logic for Computer Science/Reasoning

I don't know whether perhaps the information that I have added here was appropriate. (I'm not done adding.) There might be a better location for this stuff. However, the original couple of postings were badly edited and nearly non-sensical. I would actually like to know whether it would be worth it to continue.