> as lemmas
non-implication
non-implication n.
Brit. 
/ˌnɒnɪmplᵻˈkeɪʃn/
, /ˌnɒnɪmplᵻˈkeɪʃn/U.S. /ˌnɑnˌɪmpləˈkeɪʃən/
/ˌnɑnˌɪmpləˈkeɪʃən/ΚΠ
1878 Proc. London Math. Soc. 9 180 In a non-implication, as in an implication, the rule is Transpose and change signs.
1932 C. I. Lewis & C. H. Langford Symbolic Logic ix. 281 Facts like these about non-implication and independence.
1972 M. A. Boden Purposive Explan. in Psychol. viii. 318 The logical characteristics of indeterminacy,..and non-implication of embedded clauses.
<
as lemmas