STANOSZ - WPROWADZENIE do LOGIKI FORMALNEJ

07-02-2014, 6:38
Aukcja w czasie sprawdzania nie była zakończona.

Cena kup teraz: 9.99 zł

Użytkownik net-mart

numer aukcji: 3925294704

Miejscowość Opole

Koniec: 07-02-2014 06:44:39

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,00 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