by RonPurewal Thu Feb 06, 2014 6:29 am
Those are all just funky names for things that, given the right context, you've known since you were seven or eight years old.
For instance... If it's raining, then the ground is wet. Okay. I can only speak for myself, but I don't need Latin terminology to figure out that, if the ground is dry, then it's not raining. Hmm.
If you're programming a computer"”which can't think like a human (even a small child)"”then these concepts are useful for programming crude "logic circuits".
If you're not, then you should find that they are nothing more than non-intuitive ways of expressing highly intuitive ideas.
At least they look cool written down, though!
In other words, I doubt that the author of the blog post"”or anyone else"”actually uses these names and notations, consciously, while looking at a CR problem. (There's no way I could even think about doing that, unless I had an hour for each problem.) Most likely, it's just an explanation, in retrospect, for something the author would personally consider with normal intuition.
That's my hypothesis. I could be wrong, but I'd bet a fair amount of money on it. (See the example with rain, above.)
I can't imagine than anyone, even a professional digital logician, could actually manipulate these rules in real time, especially insofar as they apply to a critical reasoning problem.