Show simple item record

Metody logiki: Dedukcja

dc.contributor.authorIndrzejczak, Andrzej
dc.contributor.authorNowak, Marek
dc.date.accessioned2026-09-23T05:14:15Z
dc.date.available2026-09-23T05:14:15Z
dc.date.issued2016-12-30
dc.identifier.citationIndrzejczak A., Nowak M., Metody logiki: Dedukcja, Wydawnictwo Uniwersytetu Łódzkiego, Łódź 2016, https://doi.org/10.18778/8088-360-4pl
dc.identifier.isbn978-83-8088-359-8
dc.identifier.urihttp://hdl.handle.net/11089/59395
dc.description.abstractMetody logiki. Dedukcja to pierwsza publikacja z planowanego cyklu poświęconego najważniejszym metodom i technikom wypracowanym na gruncie nowoczesnej logiki formalnej. W dostępnych monografiach i podręcznikach z zakresu logiki zazwyczaj więcej uwagi poświęcano prezentacji materiału teoretycznego. a zamieszczano zbyt mało wskazówek pokazujących, w jaki sposób konstruować dowody. Niniejsza książka i cały planowany cykl mają wypełnić tę lukę w polskim piśmiennictwie logicznym.  Autorzy opracowania przedstawiają rozmaite sposoby konstrukcji dowodów metodą dedukcji naturalnej (założeniową) w logice klasycznej, arytmetyce liczb naturalnych i teorii mnogości. Dedukcja naturalna zaprezentowana jest najpierw w sposób formalny, na przykładach z logiki klasycznej, a następnie zastosowana w nieformalnej postaci do dowodzenia tez w teoriach matematycznych. Za pomocą bogatego materiału ilustracyjnego omówiono różne strategie i techniki dowodzenia, takie jak: wprost, nie wprost, dowody warunkowe i rozgałęzione oraz dowody z wykorzystaniem indukcji matematycznej. pl
dc.language.isopl
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectteorie zbiorówpl
dc.subjectkwalifikatorypl
dc.subjectdedukcja naturalnapl
dc.subjectlogika klasycznapl
dc.titleMetody logiki: Dedukcjapl
dc.typeBook
dc.rights.holder© Copyright by Authors, Łódź 2016; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2016pl
dc.page.number144
dc.contributor.authorAffiliationIndrzejczak, Andrzej - Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Naukpl
dc.contributor.authorAffiliationNowak, Marek - Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny, Katedra Logiki i Metodologii Naukpl
dc.identifier.eisbn978-83-8088-360-4
dc.referencesAczel P., Non-Well-Founded Sets, CSLI, Lecture Notes 14, Stanford 1988.pl
dc.referencesBeth E. W., The Foundations of Mathematics, North Holland, Amsterdam 1959pl
dc.referencesBorkowski L., J. Słupecki, ‘A Logical System based on rules and its applications in teaching Mathematical Logic‘, Studia Logica, 7: 71–113, 1958.pl
dc.referencesBorkowski L., Logika formalna, PWN, Warszawa 1970.pl
dc.referencesBorkowski L., Wprowadzenie do logiki i teorii mnogosci, Wyd. KUL, Lublin 1991.pl
dc.referencesCorcoran, J. ‘Aristotle’s Natural Deduction System‘, w: J. Corcoran (red.), Ancient Logic and its Modern Interpretations, Reidel, Dordrecht 1972.pl
dc.referencesFraenkel A. A., Abstract Set Theory, North Holland, Amsterdam 1976.pl
dc.referencesFraenkel A. A., J. Bar-Hillel, A. Levy, Foundations of set theory, North Holland, Amsterdam 1973.pl
dc.referencesGentzen, G., ‘Untersuchungen über das Logische Schliessen‘, Mathematische Zeitschrift 39:176–210 and 39:405–431, 1934.pl
dc.referencesGrzegorczyk A., Zarys arytmetyki teoretycznej, PWN, Warszawa 1971.pl
dc.referencesGuzicki W., P. Zbierski, Podstawy teorii mnogości, PWN Warszawa 1978.pl
dc.referencesIndrzejczak A., Elementy logiki, wyd. WSHE, Łódz 2004.pl
dc.referencesIndrzejczak A., Natural Deduction, Hybrid Systems and Modal Logics, Springer 2010.pl
dc.referencesJaśkowski, S., ‘On the Rules of Suppositions in Formal Logic‘ Studia Logica 1:5–32, 1934.pl
dc.referencesJech T. J., Lectures in set theory, Lectures Notes in Mathematics 217, Springer-Verlag 1971pl
dc.referencesKuratowski K., A. Mostowski, Teoria mnogosci, PWN, Warszawa 1978pl
dc.referencesMalinowski, G., Logika ogólna, PWN, Warszawa 2010.pl
dc.referencesMorse A. P., A Theory Of Sets, Academic Press, Orlando 1986.pl
dc.referencesNowak M., Elementy teorii mnogości w Mizarze, Łódź 1990.pl
dc.referencesPorębska M., W. Suchon, Elementarne wprowadzenie w logikę formalną, PWN, Warszawa 1991.pl
dc.referencesSchoenfield J. R., ‘Axioms of set theory‘, w: J. Barwise (red.) Handbook of Mathematical Logic, North Holland, Amsterdam 1977pl
dc.referencesSłupecki J., L. Borkowski, Elementy logiki matematycznej i teorii mnogosci, PWN, Warszawa 1984.pl
dc.referencesTakeuti G., W. M. Zaring, Introduction to Axiomatic Set Theory, Springer-Verlag, New York 1971.pl
dc.referencesTraczyk T., Wstep do teorii algebr Boole’a, PWN, Warszawa 1970.pl
dc.identifier.doi10.18778/8088-360-4


Files in this item

Thumbnail
Name:
Indrzejczak_Nowak_Metody_logik ...
Size:
1.588Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

http://creativecommons.org/licenses/by-nc-nd/4.0/
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4.0/