Relation To modus Ponens
Every use of modus tollens can be converted to a use of modus ponens and one use of transposition to the premise which is a material implication. For example:
- If P, then Q. (premise -- material implication)
- If Q is false, then P is false. (derived by transposition)
- Q is false. (premise)
- Therefore, P is false. (derived by modus ponens)
Likewise, every use of modus ponens can be converted to a use of modus tollens and transposition.
Read more about this topic: Modus Tollens
Famous quotes containing the words relation to and/or relation:
“It would be disingenuous, however, not to point out that some things are considered as morally certain, that is, as having sufficient certainty for application to ordinary life, even though they may be uncertain in relation to the absolute power of God.”
—René Descartes (1596–1650)
“When needs and means become abstract in quality, abstraction is also a character of the reciprocal relation of individuals to one another. This abstract character, universality, is the character of being recognized and is the moment which makes concrete, i.e. social, the isolated and abstract needs and their ways and means of satisfaction.”
—Georg Wilhelm Friedrich Hegel (1770–1831)