What's the meaning of the Provable »
Provable
This page is about the meaning, origin and characteristic of the symbol, emblem, seal, sign, logo or flag: Provable.
Means a statement is provable
x ⊢ y means that y is provable from x.
Example:
A → B ⊢ ! A → ! B
- 1,011 Views
Graphical characteristics:
Asymmetric, Open shape, Monochrome, Contains straight lines, Has no crossing lines.
Category: Mathematical Symbols.
Provable is part of the Logic Symbols group.
More symbols in Logic Symbols:
In logic, a set of symbols is commonly used to express logical representation. As logicians are familiar with these symbols, they are not explained each time they are used. So, for students of logic,… read more »
More symbols in Mathematical Symbols:
This is a list of symbols found within all branches of mathematics. read more »
Citation
Use the citation below to add this symbol to your bibliography:
Style:MLAChicagoAPA
"Provable." Symbols.com. STANDS4 LLC, 2024. Web. 22 Dec. 2024. <https://www.symbols.com/symbol/provable>.
Powered by CITE.ME
Have a discussion about Provable with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In