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.

propositional formula · Vinony

EntityQ1372900· pop 12· linked from 357 articles

propositional formula

Sign in to save

type of logical formula in propositional logic

Connections

first-order logic

well-formed formula

semantic theory of truth

mathematical logic

propositional calculus

formal language

logical operator

computability theory

law of noncontradiction

Stephen Cole Kleene

semantics of logic

domain of discourse

Categories

Boolean algebra Logical expressions Propositional calculus Propositions Statements Syntax (logic)

Sources

wikipedia.externallinksexternallink

Similar entities

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

logical formula

Entitydist 0.33

Entitydist 0.37

Entitydist 0.40

logical operator

Entitydist 0.40

substructural logic

Entitydist 0.42

Situation calculus

Entitydist 0.42

boolean satisfiability problem

Entitydist 0.43

Entitydist 0.43

Entitydist 0.43

classical logic

Entitydist 0.45

sequential logic

Entitydist 0.46

combinational logic

Entitydist 0.46

What links here357 pages

elementary equivalence

lambda calculus

Cantor's paradox

Mostowski collapse lemma

three-valued logic

algebra of sets

superseded scientific theory

computer-assisted proof

continuum hypothesis

proof of impossibility

logical contradiction

compactness theorem

material implication

Courcelle's theorem