Jump to content

⊬

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Lewibs (talk | contribs) at 04:41, 30 November 2022 (fixed reference link). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

⊬ - means "does not prove," [1] which can primarily be seen in logical mathematics. It is the negated form of ⊢, the sign for "does not prove." It can be seen in papers such as Besnard and Anthony Hunter's paper on the Elements of Argumentation. [2]

  1. ^ "Named character references". HTML 5.1 Nightly. W3C. Retrieved 29 November 2022.
  2. ^ Besnard. Elements of Argumentation. MIT Press Scholarship Online. p. 40. ISBN 9780262026437.
Retrieved from "https://en.wikipedia.org/w/index.php?title=⊬&oldid=1124721183"