⊬: Difference between revisions
Content deleted Content added
m grammatical correction Tag: Reverted |
fix shortdesc Tag: Reverted |
||
| Line 1: | Line 1: | ||
{{short description| |
{{short description|Logical symbol}} |
||
'''⊬''' - means "does not prove," <ref>{{cite web|title=Named character references|url=http://www.w3.org/html/wg/drafts/html/master/syntax.html#named-character-references|website=HTML 5.1 Nightly|publisher=W3C|access-date=29 November 2022}}</ref> 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. <ref>{{cite book |last1=Besnard |title=Elements of Argumentation |publisher=MIT Press Scholarship Online |isbn=9780262026437 |pages=40 |url=https://mitpress.mit.edu/9780262026437/elements-of-argumentation/}}</ref> |
'''⊬''' - means "does not prove," <ref>{{cite web|title=Named character references|url=http://www.w3.org/html/wg/drafts/html/master/syntax.html#named-character-references|website=HTML 5.1 Nightly|publisher=W3C|access-date=29 November 2022}}</ref> 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. <ref>{{cite book |last1=Besnard |title=Elements of Argumentation |publisher=MIT Press Scholarship Online |isbn=9780262026437 |pages=40 |url=https://mitpress.mit.edu/9780262026437/elements-of-argumentation/}}</ref> |
||
Revision as of 06:03, 30 November 2022
⊬ - 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]
- ^ "Named character references". HTML 5.1 Nightly. W3C. Retrieved 29 November 2022.
- ^ Besnard. Elements of Argumentation. MIT Press Scholarship Online. p. 40. ISBN 9780262026437.