Tytuł: | Logika popularna Przystępny zarys logiki zdań | | Autor: | Andrzej Grzegorczyk | | ISBN: | 978-83-01-16233-7 | | Ilość stron: | 104 | | Data wydania: | 2010 | | Format: | 14.0x20.5cm | | Wydawnictwo: | PWN | |
| Cena: | 19.90zł | |
Poznając i stosując prawa logiki, wyrabiamy w sobie intuicję logiczną, dzięki czemu nasze spontaniczne wnioskowanie jest coraz doskonalsze. Autor w przystępny sposób przedstawia logikę zdań, podstawową część logiki matematycznej, aby Czytelnik zrozumiał, na czym polegają schematy poprawnego wnioskowania oraz w jaki sposób należy posługiwać się symbolami logicznymi. Omawia kolejno poprawne wyrażanie myśli w zdaniach, znaczenie i cechy spójników logicznych, reguły logiczne, które pozwalają uznać zdanie za prawdziwe czy fałszywe, prawa logiki zdań, sprawdzanie formuł logiki zdań za pomocą tabelek oraz zastosowania logiki zdań.
Rozdziały:
§ 1. Czym zajmuje się logika 7 1.1. Wnioskowanie to jedna z czynności powiększa jących naszą wiedzę 7 1.2. Wnioskowanie to przejście od przesłanek do wniosków 9 1.3. Logika podaje schematy i sposoby przeprowa dzania poprawnych wnios-kowañ 1.4. Logika a filozofia 11 § 2. O poprawnym wyrażaniu myśli w zdaniach 13 2.1. Poprawne wyrażanie myśli za pomocą tworów językowych składa się ze zdañ 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 17 2.4. Nazwy logiczne niektórych zdañ złożonych 20 1.3. Ćwiczenia 23 § 3. Reguła odrywania 25 3.1. Reguły logiczne pozwalają uznawaĆ za praw dziwe nowe zdania 25 3.2. Sformułowania reguły odrywania 26 3.3. Dalsze przykłady zastosowañ reguły odrywania 28 1.3. Ćwiczenie 29 § 4. Prawa logiki zdañ 30 4.1. Prawo wyłączanego środka 30 4.2. Prawo niesprzeczności 32 4.3. Prawa podwójnego przeczenia 34 4.4. Prawo transpozycji 36 4.5. Prawa charakteryzujące koniunkcję 39 4.6. Prawa sylogizmów implikacyjnych 41 6 Logika popularna 4.7. Twierdzenia charakteryzujące alternatywę 47 4.8. Twierdzenia charakteryzujące równoważnośĆ 48 4.9. Prawa de Morgana 49 1.3. Ćwiczenie 50 § 5. Charakterystyka spójników logicznych 51 5.1. Tabelka negacji 52 5.2. Tabelka koniunkcji 53 5.3. Tabelka alternatywy 55 5.4. Tabelka implikacji 58 5.5. Tabelka równoważności 62 1.3. Ćwiczenia 64 § 6. Tabelkowe sprawdzanie formuł logiki zdañ 66 6.1. Symbolika logiki zdañ 66 6.2. Formuły poprawnie zbudowane 67 6.3. Sprawdzanie formuł z jedną zmienną 68 6.4. Sprawdzanie formuł logicznych z wieloma zmiennymi 73 6.5. Skrótowa metoda sprawdzania zero-jedynkowego 77 1.3. Ćwiczenia 81 § 7. Zastosowania logiki zdañ 82 7.1. Zastosowania logiki zdañ do nauk matematycznych 82 7.2. Zastosowanie logiki do techniki 87 7.3. Uwagi o zastosowaniach logiki zdañ do nauk humanistycznych 90 7.4. Wyszukiwanie błędów we wnioskowaniach 91 7.5. Analizowanie poprawnych wnioskowañ 97 1.3. Ćwiczenia 102
|