Flash-based interactive example of Venn diagram-enhanced categorical reasoning. This one is of A-type (Universal Affirmative) Obversion. Does ‘All cats are felines’ imply ‘No cats are Non-felines’?
Obversion: negate the quality (‘All’ becomes ‘No’) and take the term complement of the predicate (‘P’ becomes ‘Non-P’).
Related posts:
A-Type, Categorical Logic, Exercises, Obversion, ToolsA simple interactive truth table for the exclusive or: either or and not both, or 'X-Or'. The symbol, as...
A simple interactive truth table for the Peirce stroke, or 'Not-Or'.
A simple interactive truth table for the Sheffer stroke, or 'Not-And'.
A simple interactive truth table for proving the validity of the Dilemma.
A simple interactive truth table for proving the invalidity of the two different fallacious forms of argumentation that look...
A simple interactive truth table for proving the validity of the two different forms of Disjunctive Syllogism:
A simple interactive truth table for proving the validity of Hypothetical Syllogism
A simple interactive truth table for conjunction. Click ‘start’, then click...
A simple interactive truth table for conjunction. Click ‘start’, then click...
A simple interactive truth table for conjunction. Click ‘start’, then click...
A simple interactive truth table for conjunction. Click ‘start’, then click...
A simple interactive truth table for negation.
A simple interactive truth table for proving the validity of Affirming the Consequent
A simple interactive truth table for proving the validity of Denying The Antecedent
