Jump to content

⊬

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Tamzin (talk | contribs) at 06:03, 30 November 2022 (fix shortdesc). 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 ⊢. 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=1124732887"