⊭

See also: ⊨ and ㅑ
⊭ U+22AD, ⊭
NOT TRUE
Composition:⊨ [U+22A8] + ◌̸ [U+0338]
← ⊬
[U+22AC] 		Mathematical Operators ⊮ →
[U+22AE]

Translingual

Symbol

⊭

  1. not a logical consequence of.

Usage notes

⊭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.

This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.