strict implication

noun

strict implication

noun
1

Human sciences, Logic, Mathematics, Philosophy, Sciences A material implication that is acted upon by the necessity operator from modal logic.

Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.