In the Vinony graph
Within Vinony's link graph, Deduction theorem is referenced by 34 other articles, and connects out to propositional calculus, first-order logic and Springer Science+Business Media.
Vinony files it under Deductive reasoning, Metatheorems and Proof theory.
Its subject is documented across 14 Wikipedia language editions.
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Connections
propositional calculus
Entity
first-order logic
Entity
Springer Science+Business Media
Entity
combinatory logic
Entity
metatheorem
Entity
Hilbert system
Entity
conditional proof
Entity
New York City
City
International Standard Book Number
Entity
John von Neumann
Entity
digital object identifier
Entity
mathematical logic
Entity
empty set
Entity
Library of Congress Control Number
Entity
Hilbert space
Entity
University of Notre Dame
Entity
lambda calculus
Entity
tautology
Entity
Semantic Scholar
Entity
Stephen Cole Kleene
Entity