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

EntityQ3606768· pop 9· linked from 31 articles

propositional function

Sign in to save

expression in propositional calculus

Connections

binary relation

Bertrand Russell

International Standard Book Number

propositional calculus

University of California Press

Clarence Irving Lewis

primitive notion

well-formed formula

Categories

Concepts in logic Functions and mappings Logical expressions Mathematical relations Predicate logic

Sources

wikipedia.externallinksexternallink

Similar entities

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

Entitydist 0.31

propositional variable

Entitydist 0.38

many-valued logic

Entitydist 0.51

Entitydist 0.58

Entitydist 0.60

value proposition

Entitydist 0.60

Entitydist 0.61

German subjunctive

Entitydist 0.63

assertoric proposition

Entitydist 0.63

normal modal logic

Entitydist 0.64

Entitydist 0.65

functional completeness

Entitydist 0.66

What links here31 pages

cognitive semantics

primitive notion

existential quantification

Zermelo set theory

Principia Mathe

algebraic logic

propositional formula

ugly duckling theorem

Cantor's theorem

argument of a function

philosophy of language

universal quantification

Von Neumann–Bernays–Gödel set theory

Russell's paradox