- the truth-functional connective that forms a compound sentence from two given sentences and assigns the value false to it only when its antecedent is true and its consequent false, without consideration of relevance; loosely corresponds to the English if … then
- a compound sentence formed with this connective