Max Urchs, Marek Nasieniewski, Skarbimir Kwiatkowski - Klasyczny rachunek zdań. Wykład i zadania. Skrypt dla studentów pierwszego roku.pdf

(3118 KB) Pobierz
Uniwersytet Mikołaja Kopernika
KLASYCZNY RACHUNEK ZDAŃ
Wykład i zadania
Skrypt dla studentów pierwszego roku
Max Urchs, Marek Nasieniewski, Skarbimir Kwiatkowski
Uniwersytet Mikołaja Kopernika
KLASYCZNY RACHUNEK ZDAŃ
Wykład i zadania
Skrypt dla studentów pierwszego roku
Max Urchs, Marek Nasieniewski, Skarbimir Kwiatkowski
Toruń 1997
Recenzenci
Jacek Malinowski
Mieczysław
Omyła
© Copyright by
Max Urchs, Marek Nasieniewski, Skarbimir Kwiatkowski
and
Wydawnictwo Uniwersytetu Mikołaja Kopernika
Toruń 1997
Printed in Poland
ISBN 83-231-0858-7
Wydawnictwo Uniwersytetu Mikołaja Kopernika
Toruń, ul. Gagarina 11, tel. (056) 62-14-295, fax (056) 6542948
Wydanie I. Nakład 270 egz.
Ark. wyd. 6,0
Skład w systemie TjgX
Max Urchs, Marek Nasieniewski
Druk: Zakład Poligrafii UMK
i
Spis treści
Wstęp
I.
Collegium Logicum
LI.
I . 2.
Czym jest logika?
Logika a
1.2.1.
1.2.2.
1.2.3.
Paidagogos
Organon .
Meros
.
filozofia
.
• • •
7
®
9
13
14
15
I
6
II. Formalizacja
I I . 1. Zasady formalizacji
11.2. Język formalny
11.3. Modele
III. A k s j o m a t y zacja
I I I . 1. Aksjomaty
111.2. Reguła dowodzenia
111.3. Pojęcie dowodu .
111.4. Operacja konsekwencji
IV. Metatwierdzenia
I V . 1. Twierdzenie o dedukcji
IV.2. Poprawność aksjomatyzacji
IV.3. Niesprzeczność i zupełność zbiorów formuł
IV.4. Podstawowe własności KRZ
- •
22
22
24
28
33
33
35
35
37
40
40
42
44
50
Spis
treści
Dodatki:
1. P r z y k ł a d y d o w o d ó w
1.1. Dalsze twierdzenia
1.2. Alternatywne aksjomatyzacje
2. Postacie normalne. W z a j e m n a d e f i n i o w a m o ś ć f u n k t o r ó w
3. System dedukcji naturalnej
4. Podstawowe p o j ę c i a teorii m n o g o ś c i
5. Zadania do klasycznego rachunku z d a ń
6. K o l o k w i a
6.1. Kolokwium I
6.2. Kolokwium I I
Bibliografia
,'.
.
52
52
56
65
69
74
78
88
88
89
91

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin