Technopedia Center

PMB University Brochure

Faculty of Engineering and Computer Science
S1 Informatics S1 Information Systems S1 Information Technology S1 Computer Engineering S1 Electrical Engineering S1 Civil Engineering

faculty of Economics and Business
S1 Management S1 Accountancy

Faculty of Letters and Educational Sciences
S1 English literature S1 English language education S1 Mathematics education S1 Sports Education

⊭

⊭

From Wiktionary, the free dictionary

Jump to navigation Jump to search

See also: ⊨ and ㅑ

⊭	U+22AD, ⊭ NOT TRUE

Composition:

⊨ [U+22A8] + ◌̸ [U+0338]

← ⊬
[U+22AC]

Mathematical Operators

⊮ →
[U+22AE]

Translingual

Symbol

⊭

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.

Hidden categories: