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.

Universal instantiation · Vinony

EntityQ784645· pop 8· linked from 62 articles

Universal instantiation

Sign in to save

Rule of inference in predicate logic

Connections

first-order logic

International Standard Book Number

commutative property

Willard Van Orman Quine

propositional calculus

distributive property

De Morgan's laws

universal quantification

logical consequence

existential quantification

rule of inference

Gerhard Gentzen

Categories

Predicate logic Rules of inference

Sources

wikipedia.externallinksexternallink

Similar entities

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

existential instantiation

Entitydist 0.16

Entitydist 0.35

universal quantification

Entitydist 0.37

predicate transformer semantics

Entitydist 0.43

Entitydist 0.44

Entitydist 0.45

hypostatic abstraction

Entitydist 0.48

second-order logic

Entitydist 0.49

Skolem normal form

Entitydist 0.49

conjunction elimination

Entitydist 0.49

zeroth-order logic

Entitydist 0.49

De Morgan's laws

Entitydist 0.51

What links here62 pages

conjunction elimination

rule of inference

Charles Sanders Peirce

modus ponendo tollens

distributive property

existential quantification

disjunction introduction

disjunction elimination

double negation

hypothetical syllogism

universal generalization

law of noncontradiction

principle of excluded middle

negation as failure

Ludwig Wittgenstein

existential generalization

Cantor's theorem

Everybody Loves My Baby

constructive dilemma