ĆWICZENIA Z LOGIKI

ISBN: 978-83-01-14428-9   179 stron oprawa: miękka Rok wydania: 2016

Czternaste już wydanie zbioru ćwiczeń przeznaczonego dla słuchaczy studiów, mających w programie jedno- lub dwusemestralny kurs logiki jako dyscypliny pomocniczej. Rozwiązywanie zebranych tu zadań wymaga zastosowania podstawowych pojęć i metod elementarnej logiki formalnej. Student osiągnie dzięki temu umiejętność praktycznego wykorzystywania narzędzi formalnologicznych, co będzie pomocne w studiach nad wybraną dziedziną nauki, w przyszłej pracy badawczej czy pedagogicznej. Zbiór ma zdecydowane walory dydaktyczne: przejrzyste ujęcie materiału, stopniowanie trudności, wyjaśnianie pojęć logicznych; zawiera wskazówki ułatwiające rozwiązywanie zadań bardziej skomplikowanych, wykaz symboli logicznych i ich synonimów, indeks pojęć logicznych z odesłaniami do ich wyjaśnień i zastosowań, zestaw zadań kontrolnych z rozwiązaniami. Będzie bardzo pomocny w studiowaniu logiki, bo umożliwi studentowi samodzielną i systematyczną kontrolę prawidłowości procesu uczenia się i jego wyników.

SPIS TREŚCI

Od autora
Rozdział l. Logiczne własności zdań
1.1. Wartość logiczna zdania. Zdanie analityczne. Związki analityczne między zdaniami
1.2. Prawda logiczna. Wynikanie logiczne. Logiczna forma zdania
1.3. Logika formalna a językoznawstwo. Wartość wyjaśniająca formalnologicznego opisu języka
Rozdział 2. Rachunek zdań
2.1. Spójniki prawdziwościowe. Prawdziwościowe schematy zdań
2.2. Tautologie rachunku zdań. Metoda zerojedynkowa
2.3. Aksjomatyczna postać rachunku zdań. Najprostsze prawa logiki zdań
Rozdział 3. Rachunek kwanty fikatorów
3.1. Symbolika rachunku kwantyfikatorów. Kwantyfikatorowe schematy zdań
3.2. Tautologie rachunku kwantyfikatorów
3.3. Aksjomatyczna postać rachunku kwantyfikatorów. Najprostsze prawa logiki kwantyfikatorów
Rozdział 4. Logiczne problemy języka naturalnego
4.1. Problem ekstensjonalności
4.2. Problem prawdy
4.3. Problem poprawności wnioskowania
Dodatek. Rachunek zbiorów i relacji
1. Rachunek zbiorów
1.1. Teoriomnogościowe pojęcie zbioru. Ważniejsze rodzaje zbiorów
1.2. Stosunki między zbiorami. Działania na zbiorach l .3. Prawa rachunku zbiorów
l .4. Algebra Boole‘a zbiorów
1.5. Podział zbioru
2. Rachunek relacji
2.1. Podstawowe pojęcia teorii relacji. Ważniejsze rodzaje relacji
2.2. Działania na relacjach i układach relacja - zbiór
3. Teoria mnogości a aparat pojęciowy nauki
Indeks terminologiczny