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.

free variable · Vinony

EntityQ2532538· pop 9

free variable

Sign in to save

variable in a logic formula which is not inside the scope of a quantifier

Connections

free and bound variables

Similar entities

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

propositional variable

Entitydist 0.54

propositional function

Entitydist 0.60

Entitydist 0.60

denying the antecedent

Entitydist 0.64

Entitydist 0.66

many-valued logic

Entitydist 0.66

Entitydist 0.66

affirming the consequent

Entitydist 0.67

New Foundations

Entitydist 0.68

Entitydist 0.68

partial function

Entitydist 0.69

Entitydist 0.69