Find the word definition

Wiktionary
strict implication

n. (context logic English) A material implication that is acted upon by the necessity operator from modal logic.