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.

existential instantiation · Vinony

🌐English

English Español Nederlands Português 日本語

EntityQ2013340· pop 5· linked from 52 articles

existential instantiation

Also known as EI

Rule of inference in predicate logic

Available in 5 languages

Español
日本語
Português
Nederlands

via Wikidata sitelinks · CC0

Connections

first-order logic

Categories

Predicate logic Rules of inference

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

commutative property

propositional calculus

distributive property

De Morgan's laws

rule of inference

hypothetical syllogism

disjunctive syllogism

double negation

modus ponendo tollens

existential fallacy

conjunction elimination

Universal instantiation

Sign in to save

What links here52 pages

existential quantification

conjunction elimination

rule of inference

modus ponendo tollens

Charles Sanders Peirce

distributive property

disjunction introduction

disjunction elimination

universal generalization

hypothetical syllogism

double negation

existential fallacy

law of noncontradiction

principle of excluded middle

Ludwig Wittgenstein

existential generalization

constructive dilemma

Similar entities

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

Universal instantiation

Entitydist 0.16

existential quantification

Entitydist 0.32

Entitydist 0.33

Entitydist 0.41

predicate transformer semantics

Entitydist 0.46

conjunction elimination

Entitydist 0.48

zeroth-order logic

Entitydist 0.48

Entitydist 0.49

second-order logic

Entitydist 0.49

universal quantification

Entitydist 0.49

Entitydist 0.50

hypostatic abstraction

Entitydist 0.50