In the Vinony graph
Vinony's link graph records 34 inbound references to 연역 정리, and connects out to propositional calculus, first-order logic and Springer Science+Business Media.
It is catalogued under topics including Deductive reasoning, Metatheorems and Proof theory.
Vinony links it to 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