@leontiskos Re: ReasonLines.Com I appreciate that some have looked at and commented on the ReasonLines program; however, I realize I have not provided...
Being older?? I was born in 1938, retired in 2000, and am trying to bring some attention to ReasonLines before it only happens posthumously, if it hap...
Oh no!! So sorry! I think I had this written right and then miscopied (without re-reading) it. It makes two gross mistakes. Certainly, All B’s are A A...
In addition to the rules of distribution, negation, and 3-terms that Tim Wood lists, textbooks often give a rule prohibiting drawing a particular conc...
Thanks. As to the conclusion, it (as well as the premises) can be translated into statements by clicking the arrows. I hadn’t thought of showing the t...
Comments