# Metody logiki. Dedukcja Andrzej Indrzejczak

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

![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)

- Autorzy: [Andrzej Indrzejczak](https://www.kolczanksiazek.pl/andrzej-indrzejczak), [Marek Nowak](https://www.kolczanksiazek.pl/marek-nowak)
- Język: pl_PL

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

## Wydania

### Metody logiki. Dedukcja Andrzej Indrzejczak

- Wydawnictwo: Wydawnictwo Uniwersytetu Łódzkiego
- ISBN: 978-83-8088-360-4
- Liczba stron: 144
- Język: pl_PL