Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Spistreści
§1.Czymzajmujesięlogika
1.1.Wnioskowanietojednazczynnościpowiększającychnasząwiedzę
1.2.Wnioskowanietoprzejścieodprzesłanekdowniosków
1.3.Logikapodajeschematyisposobyprzeprowadzaniapoprawnychwnioskowań
1.4.Logikaafilozofia
§2.Opoprawnymwyrażaniumyśliwzdaniach
2.1.Poprawnewyrażaniemyślizapomocątworówjęzykowychskładasięzezdań
2.2.Zdaniazłożonezregułyskładająsięzezdańprostychispójnikówmiędzyzdaniowych
2.3.Logicznespójnikimiędzyzdaniowe
2.4.Nazwylogiczneniektórychzdańzłożonych
§3.Regułaodrywania
3.1.Regułylogicznepozwalająuznawaćzaprawdziwenowezdania
3.2.Sformułowaniaregułyodrywania
3.3.Dalszeprzykładyzastosowańregułyodrywania
§4.Prawalogikizdań
4.1.Prawowyłączonegośrodka
4.2.Prawoniesprzeczności
4.3.Prawapodwójnegoprzeczenia
4.4.Prawotranspozycji
4.5.Prawacharakteryzującekoniunkcję
4.6.Prawasylogizmówimplikacyjnych
4.7.Twierdzeniacharakteryzującealternatywę
4.8.Twierdzeniacharakteryzującerównoważność
4.9.PrawadeMorgana
§5.Charakterystykaspójnikówlogicznych
5.1.Tabelkanegacji
5.2.Tabelkakoniunkcji
5.3.Tabelkaalternatywy
5.4.Tabelkaimplikacji
5.5.Tabelkarównoważności
§6.Tabelkowesprawdzanieformułlogikizdań
6.1.Symbolikalogikizdań
6.2.Formułypoprawniezbudowane
6.3.Sprawdzanieformułzjednązmienną
6.4.Sprawdzanieformułlogicznychzwielomazmiennymi
6.5.Skrótowametodasprawdzaniazero-jedynkowego
§7.Zastosowanialogikizdań
7.1.Zastosowanialogikizdańdonaukmatematycznych
7.2.Zastosowanielogikizdańdotechniki
7.3.Uwagiozastosowaniachlogikizdańdonaukhumanistycznych
7.4.Wyszukiwaniebłędówwewnioskowaniach
7.5.Analizowaniepoprawnychwnioskowań
