Implication

Relation between two propositions in logic.

conditional implication

In logic, implication is a relation between two propositions. It indicates that the truth of one proposition implies the truth of another.

/ɪmplɪˈkeɪʃ(ə)n/

From Latin *implicare*, meaning ‘to involve, entangle’.

condition inference

logical relation

material implication conditional statement

propositional logic

logical concept