⊭
|
Translingual
editSymbol
edit⊭
- not a logical consequence of.
Usage notes
edit⊭A→B, or equivalently A⊭B, means that B is not provable from A, that is, there are cases where A is true and B is false.
|
⊭
⊭A→B, or equivalently A⊭B, means that B is not provable from A, that is, there are cases where A is true and B is false.