Linked from

The 13 pages that link to Logical implication, each with the reason it gives.

• Mathematical inductionRelated: The inductive step is an implication from one indexed proposition to the next.

• Intuitionistic logicRelated: A proof of implication is a construction that transforms evidence for its premise into evidence for its conclusion.

• Partial orderRelated: Implication orders propositions up to logical equivalence.

• Transitive relationRelated: The definition has the form: two relation claims together imply a third.

• Reflexive relationRelated: Every proposition implies itself, making implication reflexive.

• Hoare logicRelated: Implication determines when assertions can be strengthened or weakened in a proof.

• Modus tollensRelated: The conditional premise states that P implies Q.

• PreorderRelated: Implication between propositions is reflexive and transitive, hence a preorder.

• Symmetric relationRelated: The defining condition has the form xRy implies yRx.

• Löb's theoremRelated: The theorem’s premise is that the theory proves an implication from provability to the sentence.