Editing Implication (section)

==Logic==
* [[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 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 that 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"