KIF75

Okładkę P«<*^k,ow*'

Marti A*™** komputer

Redaktor

Kozimi*: C*nw« Redaktor techniczny A^nrj Ro*kkl

Korektor Heitm Biaioń

Tytuł dotowany przez Ministerstwo Nauki. Szkotowa Wyiuego i Techniki

O Copyright by

lawowe Wydawnictwo Naukowe 1980

ISBN 83-01-0I2704

Wstęp

„Ćwiczenia z logiki” stanowią wybór zadań, których rozwiązanie wymaga zastosowania pojęć i metod elementarnej logiki formalnej. Są one przeznaczone dla słuchaczy tych kierunków studiów uniwersyteckich, których program obejmuje krótki, jedno- lub dwusemestralny kurs logiki jako dyscypliny nic specjalistycznej, lecz pomocniczej. Należą do nich w szczególności studenci wydziałów humanistycznych, którzy przechodzą kurs logiki obejmujący — poza logiką w ścisłym sensie— także elementy filozofii języka i metodologii nauk. Kurs taki, nic pretendując do systematycznej i pełnej ekspozycji dorobku logiki formalnej, zakłada osiągnięcie umiejętności praktycznego wykorzystywania narzędzi formalnologicznych w studiach nad wybraną dziedziną nauki i w ewentualnej przyszłej pracy badawczej lub pedagogicznej. Zdobyciu tej umiejętności sprzyja rozwiązywanie odpowiednich zadań ćwiczebnych ; sprawność na tym polu jest też podstawowym miernikiem rezultatów nauczania.

„Ćwiczenia z logiki” mają ułatwić realizację tego zadania dydaktycznego, umożliwiając słuchaczowi kursu logiki samodzielną i systematyczną kontrolę prawidłowości procesu uczenia się i jego efektów. Układ zadań, stopień ich trudności i materiał przykładowy zostały tak dobrane, aby z wyboru

5