Noun
strict implication (plural strict implications) (logic) A material implication that is acted upon by the necessity operator from modal logic.