material nonimplication

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.

Noun

  1. 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.

    Synonyms: abjunction