Twierdzenie o dedukcji
Sign in to savetwierdzenie logiki matematycznej
In the Vinony graph
Vinony's link graph records 34 inbound references to Twierdzenie o dedukcji, and connects out to propositional calculus, first-order logic and Springer Science+Business Media.
Vinony files it under 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
Article · Polski
Twierdzenie o dedukcji – jeżeli jest zdaniem oraz to formuła zdaniowa należy do zbioru gdzie to zbiór wszystkich konsekwencji logicznych zbioru formuł zdaniowych
Abstract from DBpedia / Wikipedia · CC BY-SA
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