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

Home
Basic concepts in set theory
述語

🌐日本語

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Polski Português Svenska Русский العربية فارسی 中文日本語

EntityQ1144319· pop 27· linked from 473 articles

述語

数理論理学の概念

Available in 27 languages

Español
Français
Deutsch
中文
Русский
Português
Italiano
العربية
Armenian
Belarusian
Central Kurdish

Connections

first-order logic

semantic theory of truth

Categories

Basic concepts in set theory Fuzzy logic Mathematical logic Predicate logic Propositional calculus

Sources

wikipedia.externallinksexternallink

Show 8 more

Kazakh
Kyrgyz
Macedonian
Polski
Serbian
Slovak
Ukrainian
فارسی

via Wikidata sitelinks · CC0

mathematical logic

Entity

propositional calculus

semantics of logic

ground expression

International Standard Book Number

Sign in to save

Similar entities

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

predicate logic

Entitydist 0.31

Entitydist 0.37

mathematical logic

Entitydist 0.38

Entitydist 0.38

logical operator

Entitydist 0.42

Entitydist 0.42

Situation calculus

Entitydist 0.43

Entitydist 0.43

Entitydist 0.43

Entitydist 0.44

logical constant

Entitydist 0.44

lambda calculus

Entitydist 0.44

What links here473 pages

first-order logic

ground expression

Principia Mathe

formal semantics

rule of inference

necessity and sufficiency

atomic sentence

semantic theory of truth

propositional variable

axiom schema of specification