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.

sentence · Vinony

🌐English

English Deutsch Español Français Italiano Polski Português Türkçe Русский فارسی 中文日本語

EntityQ2509500· pop 12· linked from 355 articles

sentence

Also known as closed formula, Boolean formula

in mathematical logic, a well-formed formula with no free variables

Available in 12 languages

Español
Français
中文
Русский
Português
Italiano
Hebrew
Ido
Polski
Ukrainian

Connections

semantic theory of truth

Categories

Mathematical logic Predicate logic Propositions

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

mathematical logic

Entity

first-order logic

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).

Entitydist 0.40

mathematical expression

Entitydist 0.48

nominal sentence

Entitydist 0.48

Entitydist 0.50

declarative sentence

Entitydist 0.52

Mathematical formulae in LaTeX

Entitydist 0.52

simple sentence

Entitydist 0.52

Entitydist 0.54

Category:Mathematical formulas

Entitydist 0.54

Entitydist 0.54

nominative case

Entitydist 0.55

Template:Mathematical logic

Entitydist 0.56

What links here355 pages

automated theorem proving

well-formed formula

axiomatic system

Herbrand structure

lambda calculus

three-valued logic

Mostowski collapse lemma

Cantor's paradox

superseded scientific theory

Church encoding

continuum hypothesis

computer-assisted proof

logical contradiction

compactness theorem