Contraposition I

June 8, 2011 No Comments

Flash-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’?

This movie requires Flash Player 9

 

VN:F [1.9.9_1125]
Rating: 0.0/10 (0 votes cast)

Related posts:

  1. Contraposition A
  2. Obversion I
  3. Conversion I
  4. Conversion O
  5. Obversion O
Tags: , , , , , , , , , Categorical Logic, Contraposition, I-Type, Tools

Leave a Reply

You must be logged in to post a comment.

Simple Truth Table – XOR

A simple interactive truth table for the exclusive or: either or and not both, or 'X-Or'. The symbol, as...

Simple Truth Table – Peirce Stroke

A simple interactive truth table for the Peirce stroke, or 'Not-Or'.

Simple Truth Table – Sheffer Stroke

A simple interactive truth table for the Sheffer stroke, or 'Not-And'.

Truth Table for Dilemma

A simple interactive truth table for proving the validity of the Dilemma.

Truth Tables for Fallacious Disjunctive Syllogism

A simple interactive truth table for proving the invalidity of the two different fallacious forms of argumentation that look...

Truth Tables for Disjunctive Syllogism

A simple interactive truth table for proving the validity of the two different forms of Disjunctive Syllogism:

Truth Table for Hypothetical Syllogism

A simple interactive truth table for proving the validity of Hypothetical Syllogism

Simple Truth Table – Biconditional

A simple interactive truth table for conjunction. Click ‘start’, then click...

Simple Truth Table – Conditional

A simple interactive truth table for conjunction. Click ‘start’, then click...

Simple Truth Table – Disjunction

A simple interactive truth table for conjunction. Click ‘start’, then click...

Simple Truth Table – Conjunction

A simple interactive truth table for conjunction. Click ‘start’, then click...

Simple Truth Table – Negation

A simple interactive truth table for negation.

Truth Table for Affirming the Consequent

A simple interactive truth table for proving the validity of Affirming the Consequent

Truth Table for Denying the Antecedent

A simple interactive truth table for proving the validity of Denying The Antecedent