 | ||
In logic, converse nonimplication is a logical connective which is the negation of the converse of implication.
Contents
Definition
Truth table
The truth table of
Venn diagram
The Venn Diagram of "It is not the case that B implies A" (the red area is true).
Also related to the relative complement (set theory), where the relative complement of A in B is denoted B ∖ A.
Properties
falsehood-preserving: The interpretation under which all variables are assigned a truth value of 'false' produces a truth value of 'false' as a result of converse nonimplication
Symbol
Alternatives for
Rhetorical
"not A but B"
Computer science
An example for converse nonimplication in computer science can be found when performing a right outer join on a set of tables from a database, if records not matching the join-condition from the "left" table are being excluded.