In logic, converse nonimplication is a logical connective which is the negation of the converse of implication.
Contents |
Definition
p⊄q which is the same as ~(p ← q)
Truth table
The truth table of p ⊄ q.
| p | q | ⊄ |
|---|---|---|
| T | T | F |
| T | F | F |
| F | T | T |
| F | F | F |
Venn diagram
The Venn Diagram of "It is not the case that B implies A" (the red area is true)
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
Natural language
Grammatical
Rhetorical
"not...but"
Colloquial
Boolean algebra
Computer science
See also
|
|||||||||||||||||||
)
)
)
)
)
)
)
)
)
)
)
)
) |
This logic-related article is a stub. You can help Wikipedia by expanding it. |
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
