In this sense, ⊢ {\displaystyle \vdash } means the process of reasoning, or "therefore" in English.
在这个意义上， ⊢ {\displaystyle \vdash } 意味着推理过程，或者英语中的"所以"。