strict implication

Noun

 * 1)  A material implication that is acted upon by the necessity operator from modal logic.

Synonyms

 * strict conditional

Antonyms

 * material implication