From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Lewibs (talk | contribs) at 04:36, 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 (2008). "Elements of Argumentation" (1): 40. {{cite journal}}: |access-date= requires |url= (help); Cite journal requires |journal= (help)