0

What does this symbol mean in logic?

enter image description here

P.S.: up tick would mean contradiction (always-false logic constant), but this is not up-tick (falsum).

Is this synonym for implication (material condition -> ) ?

user10777718
  • 253

1 Answers1

1

"$x ⊢ y$ means $y$ is provable from $x$ (in some specified formal system)" - https://en.wikipedia.org/wiki/List_of_logic_symbols

Also it is called a 'turnstile' and its Wiki page is here.

Peter Foreman
  • 19,947