Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

量化子 · Vinony

🌐日本語

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Polski Português Svenska Tiếng Việt Türkçe Русский العربية فارسی ไทย 한국어 中文日本語

EntityQ592911· pop 44· linked from 759 articles

量化子

Also known as quantor, logical quantification, logical quantifier, quantification

論理演算子

Gallery (2)

Available in 43 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
العربية
Armenian
Bahasa Indonesia

Connections

logical disjunction

first-order logic

Categories

Logic Philosophical logic Predicate logic Quantifier (logic)Semantics

Sources

wikipedia.externallinksexternallink

What links here759 pages

higher-order logic

Deflationary theory of truth

free and bound variables

well-formed formula

mathematical logic

sequent calculus

foundations of mathematics

universal quantification

propositional variable

uniform continuity

existential quantification

propositional formula

philosophy of mathematics

de dicto and de re

prenex normal form

Problem of multiple generality

first-order logic

semantics of logic

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.27

existential quantification

Entitydist 0.34

universal quantification

Entitydist 0.36

free and bound variables

Entitydist 0.39

Entitydist 0.40

Quantifier elimination

Entitydist 0.43

domain of discourse

Entitydist 0.43

zeroth-order logic

Entitydist 0.44

second-order logic

Entitydist 0.45

Entitydist 0.46

existential instantiation

Entitydist 0.50

Entitydist 0.50

Show 24 more

Esperanto
Estonian
Galician
Hebrew
Hungarian
Ido
Interlingua
Kazakh
Kyrgyz
Malay
Nederlands
Norwegian Nynorsk
Polski
Serbian
simple
Slovak
Svenska
Tiếng Việt
Türkçe
Ukrainian
zh_yue
فارسی
ไทย
한국어

via Wikidata sitelinks · CC0

existential quantification

Entity

semantics of logic

free and bound variables

semantic theory of truth

mathematical logic

Gödel's incompleteness theorems

irrelevant conclusion

universal quantification

Zermelo–Fraenkel set theory

anecdotal evidence

logical equivalence

Sign in to save