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.

disjunction introduction · Vinony

EntityQ5282267· pop 8· linked from 57 articles

disjunction introduction

Sign in to save

inference introducing a disjunction in logical proofs

Connections

English language

International Standard Book Number

commutative property

propositional calculus

distributive property

De Morgan's laws

logical disjunction

first-order logic

logical consequence

rule of inference

Categories

Paraconsistent logic Rules of inference Theorems in propositional logic

Sources

wikipedia.externallinksexternallink

What links here57 pages

conjunction elimination

rule of inference

Heyting arithmetic

modus ponendo tollens

Charles Sanders Peirce

distributive property

existential quantification

disjunction elimination

double negation

hypothetical syllogism

universal generalization

law of noncontradiction

principle of excluded middle

philosophical logic

Ludwig Wittgenstein

existential generalization

constructive dilemma

Similar entities

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

disjunction elimination

Entitydist 0.25

Conjunction introduction

Entitydist 0.30

Biconditional introduction

Entitydist 0.33

conditional proof

Entitydist 0.43

deduction theorem

Entitydist 0.44

Entitydist 0.46

conjunctive normal form

Entitydist 0.47

immediate inference

Entitydist 0.47

disjunctive normal form

Entitydist 0.49

Entitydist 0.51

past subjunctive

Entitydist 0.51

mathematical proof

Entitydist 0.54