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.

transposition · Vinony

EntityQ7835331· pop 5

transposition

Sign in to save

rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated

Connections

Similar entities

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

Entitydist 0.31

double negative elimination

Entitydist 0.39

conjunction elimination

Entitydist 0.41

De Morgan's laws

Entitydist 0.47

Entitydist 0.50

Entitydist 0.51

logical consequence

Entitydist 0.51

Entitydist 0.51

Entitydist 0.53

Entitydist 0.53

logical equivalence

Entitydist 0.55

Entitydist 0.56