material nonimplication

名词noun

1. 1(logic) The negation of material implication, such that for any two propositions P and Q, the material nonimplication from P to Q is true if and only if the negation of the material implication from P to Q is true.