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.

命題変数 · Vinony

🌐日本語

English Deutsch Español Français Italiano Polski Português Русский العربية 中文日本語

EntityQ3492863· pop 13· linked from 344 articles

命題変数

Also known as sentential variable, sentential letter

mathematical representation of truth or falsehood

Available in 13 languages

Español
Français
Deutsch
中文
Русский
Português
Italiano
العربية
Czech
Ido

Connections

propositional calculus

semantic theory of truth

Categories

Concepts in logic Logic symbols Propositional calculus

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

mathematical logic

Entity

Boolean algebra

logical operator

first-order logic

semantics of logic

free and bound variables

ground expression

International Standard Book Number

Sign in to save

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