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.