Imply
Jump to navigation
Jump to search
See: Implication, Logical Consequence, Modus Ponens.
References
2021
- (Wikipedia, 2021) ⇒ https://en.wikipedia.org/wiki/implication#Logic Retrieved:2021-5-19.
- Logical consequence (also entailment or logical implication), the relationship between statements that holds true when one logically "follows from" one or more others
- Material conditional (also material consequence, or implication), a logical connective and binary truth function typically interpreted as "If p, then q"
- material implication (rule of inference), a logical rule of replacement
- Implicational propositional calculus, a version of classical propositional calculus which uses only the material conditional connective
- Strict conditional or strict implication, a connective of modal logic that expresses necessity
- modus ponens, or Implication elimination, a simple argument form and rule of inference summarized as "p implies q; p is asserted to be true, so therefore q must be true"