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.

soğurma · Vinony

Home
Rules of inference
soğurma

🌐Türkçe

English Deutsch Español Português Türkçe

EntityQ4669893· pop 6· linked from 50 articles

soğurma

inference rule where, given P→Q, one deduces P→(P∧Q)

Available in 6 languages

Español
Deutsch
Português
Serbian
Serbian (Latin)

via Wikidata sitelinks · CC0

Connections

propositional calculus

distributive property

Categories

Rules of inference Theorems in propositional logic

Sources

wikipedia.externallinksexternallink

Bertrand Russell

Entity

Alfred North Whitehead

commutative property

De Morgan's laws

logical conjunction

principle of excluded middle

first-order logic

Principia Mathe

logical consequence

rule of inference

Sign in to save

What links here50 pages

conjunction elimination

rule of inference

Charles Sanders Peirce

modus ponendo tollens

distributive property

existential quantification

disjunction introduction

disjunction elimination

universal generalization

double negation

hypothetical syllogism

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).

disjunction elimination

Entitydist 0.35

Entitydist 0.40

Conjunction introduction

Entitydist 0.42

Biconditional introduction

Entitydist 0.43

disjunction introduction

Entitydist 0.46

immediate inference

Entitydist 0.47

deduction theorem

Entitydist 0.54

conjunctive normal form

Entitydist 0.55

disjunctive normal form

Entitydist 0.56

past subjunctive

Entitydist 0.58

logical biconditional

Entitydist 0.59

material implication

Entitydist 0.60