Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1.ORGANON
głoszącego,żegdyznegacjiwynikazdanietwierdzące,wtedyjesttak,jak
onoorzeka–niemożetobyćfałsz.Niemadyskusjiakademickichisporów
teologicznychbezzdrowychpodstawlogicznych,niemamatematykiinau-
kibezlogiki.Regułyrozumowaniamamywszyscyjednakoweipewnie
wrodzone.
Prawosymplifikacji:
pą(qąp).
Prawotomówi,żezdanieprawdziwemożebyćkonsekwencjązdania
zarównoprawdziwego,jakifałszywego.
Prawoniesprzeczności:
(pp')'.
Prawoidempotentnościalternatywy:
p+p=p.
Prawoidempotentnościkoniunkcji–prawodualnedopoprzedniego:
pp=p.
Zdwóchostatnichtautologiiwynika,żewlogiceniemaaniwspółczyn-
ników,anipotęg.
Prawotranspozycji:
(pąq)=(q'ąp').
Tautologiatajestpodstawątakzwanychdowodówniewprost,czyli
przezsprowadzeniedoniedorzeczności–reductioadabsurdum.Jeżelido-
wodzimyzdaniepąq,towystarczypokazać,żenegacjaq'tezyqimpliku-
jenegacjęp'założeniap.Zprawatranspozycjiwynika,żedowodzone
twierdzeniepąqjestprawdą.
Praworugowaniaimplikacji:
(pąq)=(p'+q).
Praworugowaniarównoważności:
(p=q)=((pąq)(qąp)).
Prawosylogizmuwarunkowego:
((pąq)(qąr))ą(pąr).
16
