π-Base
Explore Spaces Properties Theorems
Advanced Contribute

( ∧ ) ⇒ ¬

  • Converse
  • References
The converse ( ¬ ⇒ ( ∧ )) does not hold, as witnessed by
Id Name
18
39
40
41
56
113
114
116
119
120
Data © 2025 Steven Clontz and James Dabbs (CC-BY) | Software © 2025 James Dabbs (MIT License) | GitHub