GrzegorczykA. Logika popularna Zarys log. zd.pdf

(3000 KB) Pobierz
LOGIKA
POPULARNA
W Y D A W N I C T W O
N A U K O W E
P WN
PRZYSTĘPNY ZARYS LOGIKI ZDAŃ
Andrzej Grzegorczyk
Wydanie czwarte
WYDAWNICTWO NAUKOWE PWN
WARSZAWA 2010
Wydanie trzecie książki ukazało się nakładem Państwowego Wydawnictwa Naukowego
w 1961 r. w serii
Biblioteka problemów
Projekt okładki i stron tytułowych
Joanna Gwis
Copyright © by Państwowe Wydawnictwo Naukowe
Warszawa 1961
Copyright © by Wydawnictwo Naukowe PWN SA
Warszawa 2010
ISBN 978-83-01-16233-7
Wydawnictwo Naukowe PWN SA
02-676 Warszawa, ul. Postępu 18
tek 022 69 54 321; faks 022 69 54 031
e-mail: pwn@pwn.com.pl; www.pwn.pl
Spis treści
§ 1. Czym zajmuje się logika.......................................................................................
1.1. Wnioskowanie to jedna z czynności powiększających naszą wiedzę . . .
1.2. Wnioskowanie to przejście od przesłanek do w n io sk ó w ........................
1.3. Logika podaje schematy i sposoby przeprowadzania poprawnych wnios­
kowań .............................................................................................................
1.4. Logika a filozofia...........................................................................................
§ 2. O poprawnym wyrażaniu myśli w zdaniach
.............................................
7
9
10
11
13
13
16
17
20
23
25
25
26
28
29
30
30
32
34
36
39
41
2.1. Poprawne wyrażanie myśli za pomocą tworów językowych składa się
ze z d a ń ..........................................................................................................
2.2. Zdania złożone z reguły składają się ze zdań prostych i spójników mię-
dzyzdaniowych..............................................................................................
2.3. Logiczne spójniki międzyzdaniowe.............................................................
2.4. Nazwy logiczne niektórych zdań z ło żo n y c h .............................................
Ćwiczenia.......................................................................................................
§ 3. Reguła odryw ania................................................................................................
3.1. Reguły logiczne pozwalają uznawać zaprawdziwe nowe z d a n ia .............
3.2. Sformułowania reguły odrywania................................................................
3.3. Dalsze przykłady zastosowań reguły odryw ania.......................................
Ćwiczenie.......................................................................................................
§ 4. Prawa logiki z d a ń ................................................................................................
4.1.
4.2.
4.3.
4.4.
4.5.
4.6.
Prawo wyłączanego ś r o d k a .........................................................................
Prawo niesprzeczności..................................................................................
Prawa podwójnego p rz e c z e n ia ...................................................................
Prawo transpozycji........................................................................................
Prawa charakteryzujące k o n iu n k c ję ..........................................................
Prawa sylogizmów im plikacyjnych.............................................................
[~ 6
Logika popularna
4.7. Twierdzenia charakteryzujące alternatywę................................................
4.8. Twierdzenia charakteryzujące równoważność..........................................
4.9. Prawa de M organa........................................................................................
Ćwiczenie.......................................................................................................
§ 5. Charakterystyka spójników logicznych...............................................................
5.1.
5.2.
5.3.
5.4.
5.5.
Tabelka negacji..............................................................................................
Tabelka koniunkcji........................................................................................
Tabelka alternatyw y.....................................................................................
Tabelka im plikacji........................................................................................
Tabelka równoważności...............................................................................
Ćwiczenia.......................................................................................................
47
48
49
50
51
52
53
55
58
62
64
66
66
67
68
73
77
81
82
82
87
90
91
97
102
§ 6. Tabelkowe sprawdzanie formuł logiki z d a ń ......................................................
6.1.
6.2.
6.3.
6.4.
6.5.
Symbolika logiki z d a ń ..................................................................................
Formuły poprawnie zbudowane...................................................................
Sprawdzanie formuł z jedną z m ie n n ą ......................................................
Sprawdzanie formuł logicznych z wieloma zm iennym i...........................
Skrótowa metoda sprawdzania zero-jedynkow ego.................................
Ćwiczenia.......................................................................................................
§ 7. Zastosowania logiki z d a ń .....................................................................................
7.1.
7.2.
7.3.
7.4.
7.5.
Zastosowania logiki zdań do nauk m atem atycznych..............................
Zastosowanie logiki do techniki...................................................................
Uwagi o zastosowaniach logiki zdań do nauk humanistycznych............
Wyszukiwanie błędów we w nioskow aniach.............................................
Analizowanie poprawnych w nioskow ań....................................................
Ćwiczenia.......................................................................................................

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin