Implication vs Contraposition - What's the difference?
implication | contraposition | Related terms |
(uncountable) The act of implicating.
(uncountable) The state of being implicated.
(countable) An implying, or that which is implied, but not expressed; an inference, or something which may fairly be understood, though not expressed in words.
* 2011 , Lance J. Rips, Lines of Thought: Central Concepts in Cognitive Psychology (page 168)
(countable, logic) The connective in propositional calculus that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true".
(logic) The statement of the form "if not Q then not P", given the statement "if P then Q".
Implication is a related term of contraposition.
As nouns the difference between implication and contraposition
is that implication is (uncountable) the act of implicating while contraposition is (logic) the statement of the form "if not q then not p", given the statement "if p then q".implication
English
Noun
- But we can also take a more analytical attitude to these displays, interpreting the movements as no more than approachings, touchings, and departings with no implication that one shape caused the other to move.