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.0 / 4 votes

Means a statement is provable

x ⊢ y means that y is provable from x.

Example:

A → B ⊢ ! A → ! B

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

Have a discussion about Provable with the community:

0 Comments

    Citation

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

    Style:MLAChicagoAPA

    "Provable." Symbols.com. STANDS4 LLC, 2024. Web. 29 Mar. 2024. <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:

    Quiz

    Are you a world flags master?

    »
    A Burundi
    B Mexico
    C Niger
    D Macao

    Browse Symbols.com