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.

Rate this symbol:(4.00 / 4 votes)
Provable

Means a statement is provable

x ⊢ y means that y is provable from x.

Example:

A → B ⊢ ! A → ! B

773 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 »

4
2
5
3
1
10

Have a discussion about Provable with the community:

Citation

Use the citation below to add this symbol to your bibliography:

Style:MLAChicagoAPA

"Provable." Symbols.com. STANDS4 LLC, 2019. Web. 17 Oct. 2019. <https://www.symbols.com/symbol/provable>.

We need you!

Are we missing an important symbol in this category?

Graphical index

Use our unique search feature to find a symbol based on its various graphical characteristics:


  • Symmetry:
  • Shape:
  • Colors:
  • Curveness:
  • Crossing:

Thanks for your vote! We truly appreciate your support.