Converse nonimplication

Venn diagram of
(the red area is true)

In logic, converse nonimplication[1] is a logical connective which is the negation of converse implication (equivalently, the negation of the converse of implication).

  1. ^ Lehtonen, Eero, and Poikonen, J.H.

© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search