Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

disjunction elimination · Vinony

Home
Rules of inference
disjunction elimination

🌐English

English Español Français Português 한국어 中文日本語

EntityQ5282265· pop 6· linked from 54 articles

disjunction elimination

Rule of inference of propositional logic

Available in 6 languages

Español
Français
日本語
Português
한국어

via Wikidata sitelinks · CC0

Connections

propositional calculus

logical disjunction

Categories

Rules of inference Theorems in propositional logic

Sources

wikipedia.externallinksexternallink

English language

Concept

commutative property

distributive property

De Morgan's laws

first-order logic

logical consequence

rule of inference

disjunctive normal form

hypothetical syllogism

Sign in to save

What links here54 pages

conjunction elimination

rule of inference

Charles Sanders Peirce

modus ponendo tollens

distributive property

existential quantification

disjunction introduction

hypothetical syllogism

double negation

universal generalization

law of noncontradiction

principle of excluded middle

Ludwig Wittgenstein

existential generalization

constructive dilemma

propositional calculus

conditional proof

Similar entities

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

Conjunction introduction

Entitydist 0.22

disjunction introduction

Entitydist 0.25

conjunctive normal form

Entitydist 0.34

Biconditional introduction

Entitydist 0.35

Entitydist 0.35

disjunctive normal form

Entitydist 0.37

past subjunctive

Entitydist 0.39

immediate inference

Entitydist 0.43

deduction theorem

Entitydist 0.49

double negation

Entitydist 0.60

Entitydist 0.61