FinnHun Finnish-Hungarian-English on-line dictionary and thesaurus

Dictionary

turnstile []

Words

English (1)

Hungarian (1)

More results

turnstile

Wiktionary (2)

n (mathematics|logic|(w|proof theory)) The \vdash symbol used to represent (w|logical entailment) (deducibility relation), esp. of the syntactic type, i.e., syntactic consequence. (Such symbol can be read as "proves".http://www.uky.edu/~look/Phi520-Lecture4.pdf)