
- •Jak korzystać z książki?
- •Rozdział I klasyczny rachunek zdań.
- •1.1. Schematy zdań.
- •1.1.1. Łyk teorii.
- •1.1.2. Praktyka: budowaNie schematÓw zdań języka naturalnego.
- •1.1.3. Utrudnienia I pułapki.
- •W arto zapamiętać!
- •1.1.4. Często zadawane pytania.
- •1.2. Tabelki zero-jedynkowe I ich zastosowanie.
- •1.2.1. Łyk teorii.
- •Koniunkcja
- •Alternatywa
- •Implikacja
- •Równoważność
- •1.2.2. Praktyka: zastosowanie tabelek.
- •1.3. Tautologie I kontrtautologie.
- •1 .3.1. Łyk teorii.
- •1.3.2. Praktyka: sprawdzanie statusu formuł.
- •1.4. Skrócona metoda zerojedynkowa.
- •1 .4.1. Łyk teorii.
- •Ogólna idea metody skróconej.
- •1.4.2. Praktyka: wykorzystanie metody skróconej.
- •1.4.3. Utrudnienia I pułapki.
- •Dwie możliwości od samego początku.
- •1.4.4. Kontrtautologie.
- •1 .4.5. Często zadawane pytania.
- •1.5. Prawda logiczna I zdania wewnętrznie sprzeczne.
- •1 .5.1. Łyk teorii.
- •1.5.2. Praktyka: sprawdzanie, czy zdanie jest prawdą logiczną lub fałszem logicznym.
- •1.6. Wynikanie logiczne.
- •1 .6.1. Łyk teorii.
- •1.6.2. Praktyka: sprawdzanie, czy z jednego zdania wynika drugie.
- •1.6.3. Wykorzystanie pojęcia tautologii.
- •1.7. Wnioskowania.
- •1 .7.1. Łyk teorii.
- •1.7.2. Praktyka: sprawdzanie poprawności wnioskowań.
- •1.7.3. Wykorzystanie pojęcia tautologii.
- •1 .7.4. Często zadawane pytania. Czym wnioskowanie różni się od wynikania?
- •Rozdział II sylogistyka.
- •2.1. Schematy zdań.
- •2.1.1. Łyk teorii.
- •2.1.2. Praktyka: zapisywanie schematów zdań.
- •2.1.3. Utrudnienia I pułapki.
- •2.1.4. Często zadawanie pytania.
- •2.2. Sprawdzanie poprawności sylogizmów metodą diagramów venna.
- •2.2.1. Łyk teorii.
- •2.2.2. Praktyka: zastosowanie diagramów venna.
- •2.2.3. Utrudnienia I pułapki.
- •2 .2.4. Często zadawane pytania.
- •2.3. Sprawdzanie poprawności sylogizmów przy pomocy metody 5 reguł.
- •2.3.1. Łyk teorii.
- •2.3.2. Praktyka: zastosowani metody 5 reguł.
- •2.4. Kwadrat logiczny.
- •2 .4.1. Łyk teorii.
- •2.4.2. Praktyka: wykorzystanie kwadratu logicznego.
- •2.5. Inne prawa wnioskowania bezpośredniego.
- •2.5.1. Łyk teorii.
- •2.5.2. Praktyka: zastosowanie praw wnioskowania bezpośredniego.
- •Klasyczny rachunek predykatów.
- •3.1. Schematy zdań.
- •I znowu „tylko”...
- •3.3. Tautologie I kontrtautologie.
- •3.4. Reguły w rachunku predykatów.
- •3.4.2. Praktyka: wykazywanie zawodności reguł.
- •Słowniczek
- •Rozdział IV nazwy I definicje.
- •4.1. Nazwy I ich rodzaje.
- •4.1.1. Łyk teorii.
- •1. Podział ze względu na ilość desygnatów.
- •2. Podział ze względu na sposób istnienia desygnatów.
- •3. Podział ze względu na sposób wskazywania desygnatów.
- •4. Podział ze względu na jednoznaczność (ostrość) zakresu.
- •4.1.2. Praktyka: Klasyfikowanie nazw.
- •4 .1.3. Utrudnienia I pułapki.
- •4.2. Stosunki między nazwami.
- •4.2.1. Łyk teorii.
- •4.2.2. Praktyka: Sprawdzanie zależności między nazwami.
- •4.2.3. Praktyka: zastosowanie diagramów venna.
- •4.2.4. Praktyka: Dobieranie innych nazw do nazwy podanej.
- •4.3. Definicje.
- •4.3.1. Łyk teorii.
- •4.3.2. Praktyka: Badanie poprawności definicji sprawozdawczych.
- •4.3.3. Utrudnienia I pułapki.
- •Rozdział V zbiory.
- •5.1. Podstawowe wiadomości o zbiorach.
- •5.1.1. Łyk teorii.
- •5.2. Stosunki między zbiorami.
- •5.2.1. Łyk teorii.
- •Identyczność.
- •Inkluzja (zawieranie się zbiorów).
- •5.2.2. Praktyka: określanie zależności między zbiorami.
- •5.2.3. Utrudnienia I pułapki.
- •5.3. Działania na zbiorach.
- •5.3.1. Łyk teorii.
- •Iloczyn.
- •5.3.2. Praktyka: wykonywanie działań na zbiorach.
- •5.4. Prawa rachunku zbiorów typu bezzałożeniowego.
- •5.4.1. Łyk teorii.
- •5.4.2. Praktyka: wykrywanie praw rachunku zbiorów przy pomocy rachunku zdań.
- •5.5 Założeniowe prawa rachunku zbiorów.
- •5 .5.1. Łyk teorii.
- •5.5.2. Praktyka: sprawdzanie praw teorii zbiorów przy pomocy diagramów venna.
- •5 .5.3. Utrudnienia I pułapki.
- •Rozdział VI relacje.
- •6.1. Co to jest relacja.
- •Iloczyn kartezjański.
- •6.2. Dziedziny I pole relacji.
- •6.2.1. Łyk teorii.
- •6.2.2. Praktyka: określanie dziedzin I pola relacji.
- •6.3. Własności formalne relacji.
- •6.3.1. Łyk teorii.
- •6.4. Działania na relacjach.
- •6.5. Zależności między relacjami.
- •6.5.3. Praktyka: dobieranie relacji będących w różnych stosunkach do podanej.
Rozdział V zbiory.
WSTĘP.
Obecny rozdział wraz z kolejnym – poświęconym relacjom, pełnią rolę w pewnym sensie pomocniczą. Omawiane w nich problemy nie dotyczą bezpośrednio logiki w jej tradycyjnym rozumieniu, jako dziedziny zajmującej się badaniem poprawności wnioskowań. Ponieważ jednak w XX wieku logika została silnie związana z matematyką, takie dziedziny jak teoria zbiorów i relacji uważane są współcześnie za jej pełnoprawne działy.
Ze zbiorami i relacjami spotkaliśmy się już we wcześniejszych rozdziałach. Obecnie pojęcia te zostaną omówione w sposób bardziej ścisły i systematyczny. Będzie się to wiązało, niestety, z większą ilością koniecznej to opanowania teorii. Jednakże, jak zwykle, największy nacisk położony zostanie na rozwiązywanie typowych zadań, spotykanych w podręcznikach do logiki w częściach poświęconych zbiorom i relacjom.
5.1. Podstawowe wiadomości o zbiorach.
5.1.1. Łyk teorii.
Z biór to pewna kolekcja obiektów. Mówimy, na przykład, o zbiorze znaczków pocztowych, zbiorze liczb nieparzystych, zbiorze nudnych książek, zbiorze studentów itp., itd. Zbiory oznaczamy najczęściej dużymi literami, na przykład X, Y, Z lub A, B, C, D itd. Jeśli wypisujemy elementy jakiegoś zbioru, to zwykle umieszczamy je w nawiasach klamrowych, oddzielając od siebie przecinkami, na przykład: {a, b, c ,d}. W zbiorze nie jest istotna kolejność, w jakiej elementy zostały przedstawione. Na przykład poniższe zbiory A i B są sobie równe (identyczne): A = {a, b, c}, B = {c, a, b}. Również fakt, że jakiś element zostaje, z jakichś powodów, wymieniony kilkakrotnie, nie zmienia w niczym zbioru. Przykładowo zbiór C = {a, a, c, b, a, b, c, a} jest identyczny z wymienionymi wcześniej A i B; każdy z tych zbiorów (również C!) zawiera trzy elementy – a, b, oraz c.
Szczególnym zbiorem jest tak zwany zbiór pusty, który nie zawiera żadnego elementu. Zbiór pusty oznaczamy zwykle symbolem – bez żadnych nawiasów klamrowych.
Fakt, że jakiś obiekt jest elementem pewnego zbioru oznaczamy symbolem: . Symbol ten odczytujemy jako „należy” lub „jest elementem”. W odniesieniu do powyższego przykładu możemy więc napisać: a A, b A oraz c A. To, że obiekt nie jest elementem zbioru, zapisujemy przy pomocy znaku: . Powiemy, na przykład: d A.
Wypisanie elementów w klamrowych nawiasach nie jest jedyną metodą przedstawienia zbioru. Można to uczynić również podając swego rodzaju „przepis” według którego ktoś, gdyby chciał, mógł elementy zbioru wypisać. „Przepis” taki może być mniej lub bardziej formalny. Zbiór D = {1, 2, 3, 4} możemy przedstawić na przykład: D – zbiór liczb naturalnych mniejszych od 5; lub bardziej formalnie: D = {x: x N x 5} (gdzie N oznacza zbiór liczby naturalnych). Zapis typu {x: ...} odczytujemy: „zbiór takich iksów (elementów), że...”, a więc, w naszym wypadku, powiedzielibyśmy: zbiór takich x, które są liczbami naturalnymi i są jednocześnie mniejsze od 5.
Elementami jakiegoś zbioru mogą być nie tylko „zwykłe” obiekty, ale również inne zbiory. Na przykład X = { {a, b}, {c}, {d, e, f, g} }. Zbiór X ma trzy elementy, które z kolei same też są zbiorami. To, że te „pomniejsze” zbiory też mają swoje elementy, nie ma żadnego wpływu na ilość elementów X. X ma trzy elementy, ponieważ w jego „głównych” nawiasach klamrowych znajdują się trzy obiekty oddzielone przecinkami.
Oczywiście zbiory mogą mieć elementy różnego typu: zarówno „zwykłe” przedmioty, jak i inne zbiory. Na przykład: Y = { {a, b}, c, d, {e, f, g, h} }; zbiór Y ma cztery elementy: c, d, {a,b} i {e, f, g, h}.
Określając elementy zbiorów trzeba bardzo uważnie przyglądać się nawiasom klamrowym. Przykładowo zupełnie różne są zbiory: A = {a, b, c} oraz E = { {a, b, c} }. Zbiór A ma trzy elementy, natomiast E jeden, sam będący zbiorem.
Trzeba również koniecznie zdać sobie sprawę, że różne od siebie są następujące zbiory: F = {a} oraz G = { {a} }. Wprawdzie obydwa mają po jednym elemencie, jednak elementem F jest po prostu „zwykły” obiekt a, natomiast elementem zbioru G jest zbiór, którego elementem jest a.