Jump to content

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Lewibs (talk | contribs) at 04:32, 30 November 2022 (I created this page. referenced what the symbol means, what it negates, and where it can commonly be found). 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 (2008). "Elements of Argumentation": 40. {{cite journal}}: |access-date= requires |url= (help); Check date values in: |access-date= (help); Cite journal requires |journal= (help)