Miejska Biblioteka

Spis treści:

1. WSTĘP
2. 1. KLASYCZNY RACHUNEK ZDAŃ
3. wstęp
4. 1.1. Schematy zdań
5. 1.1.1. Łyk teorii
6. 1.1.2. Praktyka: budowanie schematów zdań języka naturalnego
7. 1.1.3. Utrudnienia i pułapki
8. 1.1.4. Często zadawane pytania
9. 1.2. Tabelki zero-jedynkowe i ich zastosowanie
10. 1.2.1. Łyk teorii
11. 1.2.2. Praktyka: zastosowanie tabelek
12. 1.3. Tautologie i kontrtautologie
13. 1.3.1. Łyk teorii
14. 1.3.2. Praktyka: wprowadzanie statusu formuł
15. 1.4. Skrócona metoda zero-jedynkowa
16. 1.4.1. Łyk teorii
17. 1.4.2. Praktyka: wykorzystanie metody skróconej
18. 1.4.3. Utrudnienia i pułapki
19. 1.4.4. Kontrtautologie
20. 1.4.5. Często zadawane pytania
21. 1.5. Prawda logiczna i zadania wewnętrznie sprzeczne
22. 1.5.1. Łyk teorii
23. 1.5.2. Praktyka: sprawdzanie, czy zdanie jest prawdą logiczną lub fałszem logicznym
24. 1.6. Wynikanie logiczne
25. 1.6.1. Łyk teorii
26. 1.6.2. Praktyka: sprawdzanie, czy z jednego zdania wynika drugie
27. 1.6.3. Wykorzystanie pojęcia tautologii
28. 1.7. Wnioskowania
29. 1.7.1. Łyk teorii
30. 1.7.2. Praktyka: sprawdzanie poprawności wnioskowań / 1.7.3. Wykorzystanie pojęcia tautologii
31. 1.7.4. Często zadawane pytania
32. 2. SYLOGISTYKA
33. Wstęp
34. 2.1. Schematy zdań
35. 2.1.1. Łyk teorii
36. 2.1.2. Praktyka: zapisywanie schematów zdań
37. 2.1.3. Utrudnienia i pułapki
38. 2.1.4. Często zadawane pytania
39. 2.2. Sprawdzanie poprawności sylogizmów metodą diagramów Venna
40. 2.2.1. Łyk teorii
41. 2.2.2. Praktyka: zastosowanie diagramów Venna
42. 2.2.3. Utrudnienia i pułapki
43. 2.2.4. Często zadawane pytania
44. 2.3. Sprawdzenie poprawności sylogizmów przy pomocy metody 5 reguł
45. 2.3.1. Łyk teorii
46. 2.3.2. Praktyka: zastosowanie metody 5 reguł
47. 2.4. Kwadrat logiczny
48. 2.4.1. Łyk teorii
49. 2.4.2. Praktyka: wykorzystanie kwadratu logicznego
50. 2.5. Inne prawa wnioskowania bezpośredniego
51. 2.5.1. Łyk teorii
52. 2.5.2. Praktyka: zastosowanie praw wnioskowania bezpośredniego
53. 3. KLASYCZNY RACHUNEK PREDYKATÓW
54. Wstęp
55. 3.1. Schematy zdań
56. 3.1.1. Łyk teorii
57. 3.1.2. Praktyka: budowanie schematów zdań na gruncie KRP
58. 3.1.3. Utrudnienia i pułapki
59. 3.1.4. Często zadawane pytania
60. 3.2. Dodatek: stałe indywiduowe i znak „=”
61. 3.2.1. Łyk teorii
62. 3.2.2. Praktyka budowanie schematów zdań z wykorzystaniem stałych indywiduowych i symbolu identyczności
63. 3.3. Tautologie i kontrtautologie
64. 3.3.1. Łyk teorii
65. 3.3.2. Praktyka: wykazywanie, że formuła nie jest tautologią lub kontrtautologią
66. 3.3.3. Utrudnienia i pułapki
67. 3.3.4. Często zadawane pytania
68. 3.4. Reguły w rachunku predykatów
69. 3.4.1. Łyk teorii
70. 3.4.2. Praktyka: Wskazywanie zawodności reguł
71. 4. NAZWY I DEFINICJE
72. Wstęp
73. 4.1. Nazwy i ich rodzaje
74. 4.1.1. Łyk teorii
75. 4.1.2. Praktyka: klasyfikowanie nazw
76. 4.1.3. Utrudnienia i pułapki
77. 4.2. Stosunki między nazwami
78. 4.2.1. Łyk teorii
79. 4.2.2. Praktyka: sprawdzanie zależności między nazwami
80. 4.2.3. Praktyka: zastosowanie diagramów Venna
81. 4.2.4. Praktyka: dobieranie innych nazw do nazwy podanej
82. 4.3. Definicje
83. 4.3.1. Łyk teorii
84. 4.3.2. Praktyka: badanie poprawności definicji sprawozdawczych
85. 4.3.3. Utrudnienia i pułapki
86. 5. ZBIORY
87. Wstęp
88. 5.1. Podstawowe wiadomości o zbiorach
89. 5.1.1. Łyk teorii
90. 5.2. Stosunki między zbiorami
91. 5.2.1. Łyk teorii
92. 5.2.2. Praktyka: określanie zależności między zbiorami
93. 5.2.3. Utrudnienia i pułapki
94. 5.3. Działania na zbiorach
95. 5.3.1. Łyk teorii
96. 5.3.2. Praktyka: wykonywanie działań na zbiorach
97. 5.4. Prawa rachunku zbiorów typu bezzałożeniowego
98. 5.4.1. Łyk teorii
99. 5.4.2. Praktyka: wykrywanie praw rachunku zbiorów przy pomocy rachunku zdań
100. 5.5. Założeniowe prawa rachunku zbiorów
101. 5.5.1. Łyk teorii
102. 5.5.2. Praktyka: sprawdzanie praw teorii zbiorów przy pomocy diagramów Venna
103. 5.5.3. Utrudnienia i pułapki
104. 6. RELACJE
105. Wstęp
106. 6.1. Co to jest relacja?
107. 6.1.1. Łyk teorii
108. 6.2. Dziedziny i pole relacji
109. 6.2.1. Łyk teorii
110. 6.2.2. Praktyka: określanie dziedzin i pola relacji
111. 6.3. Własności formalne relacji
112. 6.3.1. Łyk teorii
113. 6.3.2. Praktyka: określanie własności formalnych relacji
114. 6.4. Działania na relacjach
115. 6.4.1. Łyk teorii
116. 6.4.2. Praktyka: Wykonywanie działań na relacjach
117. 6.5. Zależności między relacjami
118. 6.5.1. Łyk teorii
119. 6.5.2. Praktyka: Określanie zależności między relacjami
120. 6.5.3. Praktyka: dobieranie relacji będących w różnych stosunkach do podanej
121. ZADANIA
122. ROZWIĄZANIA ZADAŃ
123. SŁOWNICZEK

Zobacz spis treści

---