FinnHun finn-magyar-angol internetes szótár és szókincstár

Szótár

turnstile []

Szavak

finn (1)

magyar (1)

További találatok

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)