Mr. Nance,

One of my students came up with a counter-example for OAO-1 (#6 Quiz 9) in class yesterday:

Some fish are not cats.
All catfish are fish.
∴ Some catfish are not cats.

Because of subimplication “NO catfish are cats” is true, would this counterexample be incorrect since “some catfish are not cats” is implied to be true as well? We had several class examples so by the end of the class, we were all a bit bogged down.

Thanks for your help! Continue reading Fixing a counterexample →