![book](Okladki/ISBN/8301/m8301127333.jpg)
![book](Okladki/ISBN/8301/m8301127333.jpg)
Wprowadzenie do logiki formalnej : podręcznik dla humanistów
Książka omawia logiczne własności zdań, rachunek zdań, rachunek kwantyfikatorów, granice logiki - język a komunikacja, a także rachunek zbiorów i relacji.
Odpowiedzialność: | Barbara Stanosz. |
Hasła: | Logika Podręczniki akademickie |
Adres wydawniczy: | Warszawa : Wydaw. Naukowe PWN, 2002. |
Wydanie: | Wyd. 6. |
Opis fizyczny: | 110, [2] s. : il. ; 23 cm. |
Uwagi: | Indeks. |
Skocz do: | Inne pozycje tego autora w zbiorach biblioteki |
Dodaj recenzje, komentarz |
- Od autora
- Rozdział 1. 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 formalnologiczngo 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 kwantyfikatoró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
- 1.3 Prawa rachunku zbiorów
- 1.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 *
Zobacz spis treści
Sprawdź dostępność, zarezerwuj (zamów):
(kliknij w nazwę placówki - więcej informacji)