LOGIKA POPULARNA PRZYSTĘPNY ZARYS LOGIKI ZDAŃ wyd.4

ISBN: 978-83-01-16233-7

103 stron
format: A5
oprawa: miękka
Rok wydania: 2021

Chcesz poprawnie i sprawnie rozumować?
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ń.

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 wniosków
1.3. Logika podaje schematy i sposoby przeprowadzania poprawnych wnioskowań
1.4. Logika a filozofia

2. O poprawnym wyrażaniu myśli w zdaniach
2.1. Poprawne wyrażanie myśli za pomocą tworów językowych sktada 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
2.4. Nazwy logiczne niektórych zdań złożonych
Ćwiczenia

3. Reguła odrywania
3.1. Reguły logiczne pozwalają uznawać za prawdziwe nowe zdania
3.2. Sformułowania reguły odrywania
3.3. Dalsze przykłady zastosowań reguły odrywania
Ćwiczenie

4. Prawa logiki zdań
4.1. Prawo wyłączanego środka
4.2. Prawo niesprzeczności
4.3. Prawa podwójnego przeczenia
4.4. Prawo transpozycji
4.5. Prawa charakteryzujące koniunkcję
4.6. Prawa sylogizmów implikacyjnych
4.7. Twierdzenia charakteryzujące alternatywę
4.8. Twierdzenia charakteryzujące równoważność
4.9. Prawa de Morgana
Ćwiczenie

5. Charakterystyka spójników logicznych
5.1. Tabelka negacji
5.2. Tabelka koniunkcji
5.3. Tabelka alternatywy
5.4. Tabelka implikacji
5.5. Tabelka równoważności
Ćwiczenia

6. Tabelkowe sprawdzanie formuł logiki zdań
6.1. Symbolika logiki zdań
6.2. Formuły poprawnie zbudowane
6.3. Sprawdzanie formuł z jedną zmienną
6.4. Sprawdzanie formuł logicznych z wieloma zmiennymi
6.5. Skrótowa metoda sprawdzania zero-jedynkowego
Ćwiczenia

7. Zastosowania logiki zdań
7.1. Zastosowania logiki zdań do nauk matematycznych
7.2. Zastosowanie logiki do techniki
7.3. Uwagi o zastosowaniach logiki zdań do nauk humanistycznych
7.4. Wyszukiwanie błędów we wnioskowaniach
7.5. Analizowanie poprawnych wnioskowań
Ćwiczenia