Materiały pomocnicze do ćwiczeń z logiki
Materiały pomocnicze do ćwiczeń z logiki powstały w odpowiedzi na zapotrzebowanie
studentów kierunków filozofia oraz kognitywistyka i są przede wszystkim do nich
adresowane. Mogą być użyteczne także dla studentów pierwszych lat różnych
kierunków humanistycznych, dla których logika stanowi ważny element kształcenia
ogólnego przygotowującego do recepcji różnorodnych treści z danej dyscypliny.
Sprawdzony w praktyce podręcznik nadaje się idealnie do samodzielnej pracy —
zawiera wiele ćwiczeń i przy kładów z rozwiązaniami, których analiza ułatwi
opanowanie materiału z wykładów i będzie pomocna w osiągnięciu szeroko rozumianej
kultury logicznej. Każdy rozdział zawiera niezbędne definicje ważniejszych pojęć, a
następnie przykłady i rozwiązane ćwiczenia.
Zamieszczono także różne ćwiczenia utrwalające, których samodzielne rozwiązanie
umożliwi nabycie biegłości w operowaniu tymi pojęciami.
Przygotowane opracowanie jest wydatną i cenną pomocą dydaktyczną, prowadzącą do
wyrobienia logicznego rozumowania, koniecznego nie tylko w naukach ścisłych, lecz także
humanistycznych i społecznych.
Przedmowa
Wstęp
Część pierwsza. Logiki klasyczne
I. Klasyczny Rachunek Zdań
I.1. Język Klasycznego Rachunku Zdań
I.2. Tautologiczność formuł
I.3. Wzajemna definiowalność funktorów
I.4. Postaci normalne
I.5. Reguły normalne
I.6. Dowodzenie założeniowe
I.7. Zestawienie niektórych ważniejszych tautologii KRZ
I.8. System aksjomatyczny Klasycznego Rachunku Zdań
I.9. Elementy rachunku Gentzena dla KRZ
I.10. System drzew diadycznych Smullyana dla KRZ
I.11. Zestawienie schematów ważniejszych tez KRZ
II. Klasyczny Rachunek Predykatów
II.1. Język Klasycznego Rachunku Predykatów
II.2. Tautologiczność formuł
II.3. Preneksowa postać normalna
II.4. Reguły normalne
II.5. Zestawienie niektórych ważniejszych tautologii KRP
II.6. System aksjomatyczny Klasycznego Rachunku Predykatów
II.7. Zestawienie schematów ważniejszych tez KRP
100 stron, Format: 15.5x23.5cm, oprawa miękka