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.

atomic formula · Vinony

🌐English

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

EntityQ2328174· pop 18· linked from 364 articles

atomic formula

Also known as atom, atomic statement

mathematical logic concept

Available in 18 languages

Español
Français
中文
日本語
Русский
Português
Italiano
Catalan
Croatian
Estonian
Finnish

Connections

semantic theory of truth

mathematical logic

Categories

Logical expressions Predicate logic

via Wikidata sitelinks · CC0

propositional calculus

Entity

formal language

first-order logic

well-formed formula

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

propositional formula

Entitydist 0.40

Entitydist 0.42

Entitydist 0.48

logical formula

Entitydist 0.49

logical constant

Entitydist 0.49

Entitydist 0.49

Situation calculus

Entitydist 0.52

sequential logic

Entitydist 0.54

Entitydist 0.54

Davis–Putnam algorithm

Entitydist 0.54

substructural logic

Entitydist 0.54

lambda calculus

Entitydist 0.55

What links here364 pages

elementary equivalence

lambda calculus

three-valued logic

Cantor's paradox

Mostowski collapse lemma

computer-assisted proof

continuum hypothesis

superseded scientific theory

algebra of sets

compactness theorem

proof of impossibility

logical contradiction

material implication