Logical implication

Home > Philosophy > Logic > Propositional Logic > Logical implication

A relationship between two propositions where the truth of one implies the truth of the other.