Contraposition I
June 8, 2011 No CommentsFlash-based interactive example of Venn diagram-enhanced categorical reasoning. This one is of I-type (Particular Affirmative) contraposition. Does ‘Some cats are felines’ imply ‘Some non-cats are non-felines’?
Related posts:
Categorical Logic, Contraposition, I-Type, Tools