⊢

See also: ⊬ and ㅏ

Translingual

Etymology

⊢ developed from ⊦, used to signify assertions in Principia Mathematica; in turn derived from idiosyncratic two-dimensional notation for logic employed in Begriffsschrift.

Symbol

⊢

1. (logic) proves; it is provable

   ${\mathsf {PA}}\vdash \forall a\ \forall b:a+b=b+a$

Antonyms

• ⊬

See also

• ⊨