strict implication

noun

Definition of strict implication