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 introduction · Vinony

Home
Paraconsistent logic
disjunction introduction

🌐English

English Español Français Português Svenska فارسی 한국어 中文日本語

EntityQ5282267· pop 8· linked from 57 articles

disjunction introduction

inference introducing a disjunction in logical proofs

Available in 8 languages

Español
Français
日本語
Português
Svenska
فارسی
한국어

via Wikidata sitelinks · CC0

Connections

English language

Categories

Paraconsistent logic Rules of inference Theorems in propositional logic

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

commutative property

propositional calculus

distributive property

De Morgan's laws

logical disjunction

first-order logic

logical consequence

rule of inference

Sign in to save

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