Obversion is a transition in categorical (Aristotlean) logic. It involves two steps:
In the sentence ‘No 4-chan users are trolls’, the predicate term is ‘troll’ and the quality is negative. So to transform it via obversion, we
This produces: ‘All 4-change users are non-trolls’.
Related posts:
Categorical Logic, Definitional Matters, Obversion
A 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
[...] of Venn diagram-enhanced categorical reasoning. This one is of I-type (Particular Affirmative) obversion. Does ‘Some cats are felines’ imply ‘Some cats are not [...]
[...] of Venn diagram-enhanced categorical reasoning. This one is of A-type (Universal Affirmative) Obversion. Does ‘All cats are felines’ imply ‘No cats are [...]