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.

deduction theorem · Vinony

🌐English

English Deutsch Español Italiano Nederlands Polski Português Svenska Русский فارسی 한국어 中文日本語

EntityQ1182249· pop 14· linked from 34 articles

deduction theorem

theorem

Available in 14 languages

Español
Deutsch
中文
日本語
Русский
Português
Italiano
Polski
Serbian
Svenska
Ukrainian

Connections

propositional calculus

first-order logic

Categories

Deductive reasoning Metatheorems Proof theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

Springer Science+Business Media

Entity

combinatory logic

conditional proof

International Standard Book Number

John von Neumann

digital object identifier

mathematical logic

Library of Congress Control Number

University of Notre Dame

lambda calculus

Stephen Cole Kleene

Sign in to save

What links here34 pages

material implication

What the Tortoise Said to Achilles

sequent calculus

universal generalization

cut-elimination

Heyting algebra

combinatory logic

conditional proof

logical assertion

Entscheidungsproblem

paraconsistent logic

deductive reasoning

Curry–Howard correspondence

Similar entities

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

Entitydist 0.36

double negation

Entitydist 0.41

disjunction introduction

Entitydist 0.44

disjunction elimination

Entitydist 0.49

conditional proof

Entitydist 0.50

mathematical proof

Entitydist 0.51

Entitydist 0.51

Conjunction introduction

Entitydist 0.52

Entitydist 0.54

Biconditional introduction

Entitydist 0.57

Entitydist 0.58

immediate inference

Entitydist 0.59