# Metody logiki. Dedukcja Andrzej Indrzejczak

Canonical: https://www.kolczanksiazek.pl/andrzej-indrzejczak/metody-logiki-dedukcja-andrzej-indrzejczak/9788380883604

![Metody logiki. Dedukcja Andrzej Indrzejczak](https://quivercdn.com/covers/wydawnictwo-uniwersytetu-lodzkiego/andrzej-indrzejczak/metody-logiki-dedukcja-andrzej-indrzejczak_978-83-8088-360-4-4150d2e7.jpg?v=2026-09-23%2002%3A32%3A32)

- Książka: [Metody logiki. Dedukcja Andrzej Indrzejczak](https://www.kolczanksiazek.pl/andrzej-indrzejczak/metody-logiki-dedukcja-andrzej-indrzejczak) ([Metody logiki. Dedukcja Andrzej Indrzejczak.md](https://www.kolczanksiazek.pl/andrzej-indrzejczak/metody-logiki-dedukcja-andrzej-indrzejczak.md))
- Autorzy: [Andrzej Indrzejczak](https://www.kolczanksiazek.pl/andrzej-indrzejczak), [Marek Nowak](https://www.kolczanksiazek.pl/marek-nowak)
- Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
- ISBN: 978-83-8088-360-4
- Liczba stron: 144
- Język: pl_PL
- Oprawa: Softcover

## Opis

Metody 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.