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ń.

Osoby które kupowały "Logika popularna", wybierały także:

• Ryszard Kilvington. NieskoÅ„czoność i geometria 19,52 zÅ‚, (8,98 zÅ‚ -54%)
• Matematyka w deep learningu. Co musisz wiedzie 89,00 zÅ‚, (44,50 zÅ‚ -50%)
• Matematyka w programowaniu gier i grafice komputerowej. Tworzenie i renderowanie wirtualnych 89,00 zÅ‚, (44,50 zÅ‚ -50%)
• Podstawy matematyki w data science. Algebra liniowa, rachunek prawdopodobie 69,00 zÅ‚, (34,50 zÅ‚ -50%)
• Domowe lekcje matematyki. Klasy 4-6 39,90 zÅ‚, (19,95 zÅ‚ -50%)

Spis treści

Logika popularna eBook -- spis treści

• OkÅ‚adka
• Strona tytuÅ‚owa
• Strona redakcyjna
• 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 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
  • 2.4. Nazwy logiczne niektórych zdaÅ„ zÅ‚ożonych
• § 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
• § 4. Prawa logiki zdaÅ„
  • 4.1. Prawo wyÅ‚Ä…czonego Å›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
• § 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
• § 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
• § 7. Zastosowania logiki zdaÅ„
  • 7.1. Zastosowania logiki zdaÅ„ do nauk matematycznych
  • 7.2. Zastosowanie logiki zdaÅ„ 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Å„
• O Autorze
• Przypisy