EGAVE

strict implication

About 0.03 uses per million words.

Meaning

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

Similar words

implicand implicant existential instantiation quantification intensionality heyting algebra if-thenism implicitization literal law of excluded middle

Save “strict implication” to learn later