(mathematics,logic) The symbol used to represent logical entailment (deducibility relation), especially of the syntactic type; i.e., syntactic consequence. (Such symbol can be read as "prove(s)" or "give(s)". )
派生語
turnstile attendance
関連する語
(mathematics, logic):double turnstile
参照
^ “Archived copy”, in (Please provide the book title or journal name), 2012 November 21 (last accessed), archived from the originalon9 November 2011