Obversion is a transition in categorical (Aristotlean) logic. It involves two steps: Change the quality. take the complement of the predicate term. In the sentence ‘No 4-chan users are trolls’, the predicate…
Categorical Logic, Definitional Matters, ObversionConversion is a transition in categorical (Aristotlean) logic. It involves only one step: Switch the subject and predicate terms. If, for example, one asserts the I-Type sentence ‘Some 4-chan users are trolls’,…
Categorical Logic, Conversion, Definitional MattersContraposition is a transformation in categorical (Aristotlean) logic. It involves two steps: Switch the subject and predicate terms. take the complement of both terms. For example, assume the A-Type sentence ‘All 4-chan…
Categorical Logic, Contraposition, Definitional Matters
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