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 variable · Vinony

EntityQ3492863· pop 13· linked from 344 articles

propositional variable

Sign in to save

mathematical representation of truth or falsehood

Connections

propositional calculus

semantic theory of truth

mathematical logic

Boolean algebra

logical operator

first-order logic

semantics of logic

free and bound variables

ground expression

International Standard Book Number

Categories

Concepts in logic Logic symbols Propositional calculus

Sources

wikipedia.externallinksexternallink

What links here344 pages

axiomatic system

lambda calculus

three-valued logic

Mostowski collapse lemma

Cantor's paradox

computer-assisted proof

algebra of sets

continuum hypothesis

superseded scientific theory

logical contradiction

proof of impossibility

compactness theorem

Similar entities

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

propositional function

Entitydist 0.38

many-valued logic

Entitydist 0.42

Entitydist 0.43

Entitydist 0.54

value proposition

Entitydist 0.56

false accusation

Entitydist 0.56

performative contradiction

Entitydist 0.57

Entitydist 0.57

Entitydist 0.58

Entitydist 0.58

assertoric proposition

Entitydist 0.58

Entitydist 0.60