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.

conjunction elimination · Vinony

EntityQ9289849· pop 9· linked from 57 articles

conjunction elimination

Sign in to save

inference in propositional logic

Connections

English language

commutative property

propositional calculus

distributive property

formal language

De Morgan's laws

logical conjunction

first-order logic

logical consequence

rule of inference

Categories

Rules of inference Theorems in propositional logic

Similar entities

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

Entitydist 0.34

double negative elimination

Entitydist 0.37

Entitydist 0.41

Quantifier elimination

Entitydist 0.42

abductive reasoning

Entitydist 0.44

logical consequence

Entitydist 0.44

De Morgan's laws

Entitydist 0.47

existential instantiation

Entitydist 0.48

logical equivalence

Entitydist 0.48

Universal instantiation

Entitydist 0.49

ground expression

Entitydist 0.52

logical harmony

Entitydist 0.53

What links here57 pages

rule of inference

Fitch's paradox of knowability

Charles Sanders Peirce

modus ponendo tollens

distributive property

existential quantification

consequentia mirabilis

disjunction introduction

disjunction elimination

double negation

hypothetical syllogism

universal generalization

law of noncontradiction

principle of excluded middle

Ludwig Wittgenstein

Quantifier elimination

existential generalization

constructive dilemma