Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

atomic formula · Vinony

EntityQ2328174· pop 18· linked from 364 articles

atomic formula

Sign in to save

mathematical logic concept

Connections

semantic theory of truth

mathematical logic

propositional calculus

formal language

first-order logic

well-formed formula

semantics of logic

ground expression

International Standard Book Number

Categories

Logical expressions Predicate logic

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