💡 Words with a Similar Meaning to "Double turnstile"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| turnstilenoun | A rotating mechanical device that controls and counts passage between public areas, especially one that only allows passage after a charge has been paid. |
| wedgenoun | One of the simple machines; a piece of material, such as metal or wood, thick at one edge and tapered to a thin edge at the other for insertion in a narrow crevice, used for splitting, tightening, securing, or levering. |
| semantic tableaunoun | (logic) A truth tree. |
| switching functionnoun | (logic) Synonym of Boolean function. |
| modelnoun | A person who serves as a human template for artwork or fashion. |
| antisetnoun | (mathematics) Any set that transforms via a converse function. |
| disjunctionnoun | (logic) The proposition resulting from the combination of two or more propositions using the or operator. |
| interpretationnoun | (countable) An act of interpreting or explaining something unclear; a translation; a version. |
| heyting algebranoun | (algebra, order theory) A bounded lattice, L, modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → (sometimes ⊃ or ⇒), defined such that (a→b)∧a ≤ b and, moreover, that x = a→b is the greatest element such that x∧a ≤ b (in the sense that if c∧a ≤ b then c ≤ a→b). |
| combinatory logicnoun | (computer science) Model of computation based on combinators. |
| switching algebranoun | two-element Boolean algebra |
| tseitin transformationnoun | Alternative form of Tseytin transformation. [A transformation that, given an arbitrary combinatorial logic circuit, produces an equisatisfiable Boolean formula in conjunctive normal form, the length of the formula being linear in the size of the circuit.] |
| set-builder notationnoun | (set theory) A mathematical notation for describing a set by specifying the properties that its members must satisfy. |
| valuationnoun | An estimation of something's worth. |
| tseytin transformationnoun | A transformation that, given an arbitrary combinatorial logic circuit, produces an equisatisfiable Boolean formula in conjunctive normal form, the length of the formula being linear in the size of the circuit. |
| boolean algebranoun | (algebra, logic, computing) Specifically, an algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT |
| tableaunoun | A striking and vivid representation or scene; a picture. |
| sentential logicnoun | (logic) propositional logic |
| existential instantiationnoun | (logic) In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)). |
| structuralitynoun | (philosophy, theology) The qualities or types of the structure or structures an object possesses. |
Translate “Double turnstile” into Another Language
Pick a language — the word will be pre-filled in the translator.