Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
6
Spistreści
4.Zdaniaprosteizłożone...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...38
4.1.Zdaniaproste...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...38
4.2.Zdaniazłożone...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...40
VIElementyteoriidefinicji...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.49
1.Zagadnieniedefinicji.Definicjenominalneirealne...
...
...
...
...
...
.49
2.Definicjenominalne...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..49
3.Budowadefinicji...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.50
4.Podstawowetypydefinicji...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.51
4.1.Definicjewyraźneikontekstowe...
...
...
...
...
...
...
...
...
...
...
...
...
..51
4.2.Definicjesprawozdawczeiprojektujące...
...
...
...
...
...
...
...
...
...51
5.Warunkipoprawnościdefinicjiwyrazów.Błędywdefiniowaniu...53
6.Definicjerealne...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...55
VIIPodziałlogiczny...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.58
VIIIRachunekzdań...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...61
1.Wiadomościwstępne...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...61
2.Związkilogicznemiędzyzdaniami...
...
...
...
...
...
...
...
...
...
...
...
...
...
..65
2.1.Związkiwykluczaniaidopełnieniasięzdań...
...
...
...
...
...
...
..65
2.2.Związeklogicznejsprzecznościzdań...
...
...
...
...
...
...
...
...
...
...
.68
2.3.Zasadasprzecznościizasadawyłączonegośrodka...
...
...
...
.69
2.4.Związeklogicznejrównoważnościzdań...
...
...
...
...
...
...
...
...
..70
2.5.Związeklogicznegowynikaniazdań.Okreswarunkowy...70
2.6.Wynikanieinferencyjne...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.77
2.7.Podstawoweprawalogikizdańwynikającezestosunku
wynikanialogicznego...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.77
2.8.Prawawynikającezestosunkuwykluczaniasięzdań
dysjunktywnychidopełnianiasięzdańalternatywnych...
..86
3.Prawa(tautologie)rachunkuzdań.metodazerojedynkowa...
...
.93
4.Aksjomatycznapostaćrachunkuzdań...
...
...
...
...
...
...
...
...
...
...
...
..102
Wybraneprawarachunkuzdań...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..106
IXTradycyjnalogikaformalna.Rachuneknazw...
...
...
...
...
...
..108
1.Formywnioskowaniabezpośredniego...
...
...
...
...
...
...
...
...
...
...
...
..108
1.1.Klasycznezdaniakategoryczne...
...
...
...
...
...
...
...
...
...
...
...
...
..108
1.2.Kwadratlogiczny.Prawakwadratulogicznegozwiązki
logicznemiędzyklasycznymizdaniamikategorycznymi...110
1.3.Konwersjazdańkategorycznych...
...
...
...
...
...
...
...
...
...
...
...
...115