strict implication

English

Noun

strict implication (plural strict implications)

  1. (logic) A material implication that is acted upon by the necessity operator from modal logic.
    Synonym: strict conditional
    Antonym: material conditional

Further reading