⊢
(Redirected from ⊦)
|
|
Translingual
editEtymology
edit⊢ developed from ⊦, used to signify assertions in Principia Mathematica; in turn derived from idiosyncratic two-dimensional notation for logic employed in Begriffsschrift.
Symbol
edit⊢
|
|
⊢ developed from ⊦, used to signify assertions in Principia Mathematica; in turn derived from idiosyncratic two-dimensional notation for logic employed in Begriffsschrift.
⊢