strict implication noun1 •A material implication that is acted upon by the necessity operator from modal logic. formsstrict implications