STANOSZ - WPROWADZENIE do LOGIKI FORMALNEJ

18-12-2014, 20:11
Aukcja w czasie sprawdzania była zakończona.

Cena kup teraz: 8 zł

Użytkownik net-mart

numer aukcji: 4879953411

Miejscowość Opole

Koniec: 18-12-2014, 19:22

Dodatkowe informacje:
Stan: Używany
Okładka: miękka
Rok wydania (xxxx): 1985

"WPROWADZENIE do LOGIKI FORMALNEJ. PODRĘCZNIK dla HUMANISTÓW", B.STANOSZ; PWN 1985 ; stan : minus bdb : małych rozmiarów pieczątka prywatnego księgozbioru na wewnętrznej części przedniej okładki (stan okładki : plus db) ; przesyłka polecona : 8,50 zł.

SPIS TREŚCI :

Od Autora    .....................................         5

Rozdział 1. Logiczne własności zdań..........................         7
1.1. Wartość logiczna zdania. Zdanie analityczne. Związki analityczne między zdaniami         7
1.2. Prawda logiczna. Wynikanie logiczne. Logiczna forma zdania..........       11
1.3. Logika formalna a językoznawstwo. Wartość wyjaśniająca   formalnologicznego opisu języka....    15

Rozdział 2. Rachunek zdań..............................       19
2.1. Spójniki prawdziwościowe. Prawdziwościowe schematy zdań..........       19
2.2. Tautologie rachunku zdań. Metoda zerojedynkowa..............       29
2.3. Aksjomatyczna postać rachunku zdań. Najprostsze prawa logiki zdań......       36

Rozdział 3. Rachunek kwantyfikatorów.........................       44
3.1. Symbolika rachunku kwantyfikatorów. Kwantyfikatorowe schematy zdań.....       44
3.2. Tautologie rachunku kwantyfikatorów.....................       55
3.3. Aksjomatyczna   postać   rachunku   kwantyfikatorów. Najprostsze prawa logiki kwantyfikatorów..    63

Rozdział 4. Logiczne problemy języka naturalnego..... . .       70
4.1. Problem ekstensjonalności..................       70
4.2. Problem prawdy.............................       77
4.3. Problem poprawności wnioskowania....................       82

Dodatek. Rachunek zbiorów i relacji..........................       88