Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
ORGANON
wykazważniejszychtautologiiwrazzichnazwami.Znakrówności,=,
oznaczafunktorrównoważności–ekwiwalentność.
Prawowyłączonegośrodka:
p+p'.
Prawopodwójnejnegacji:
(p')'=p.
Prawodołączaniaalternatywy:
pą(p+q).
Prawoopuszczaniakoniunkcji:
pqąp.
Prawonegowaniaalternatywy,czylipierwszeprawodeMorgana:
(p+q)'=p'q'.
Prawonegowaniakoniunkcji,czylidrugieprawodeMorgana:
(pq)'=p'+q'.
PrawadeMorganasątwierdzeniamidualnymi.Jednopowstajezdrugie-
goprzezzamianęalternatywynakoniunkcjęikoniunkcjinaalternatywę.
Orygenes,najgenialniejszyinajuczeńszyzpisarzówpierwotnegokościo-
ła,jestautoremmałoznanejtautologii;jesttoprawomówiące,żegdyma-
mysprzecznewnioski,toprzesłankawnioskowaniajestfałszem,czylisym-
bolicznie
(pąq)(pąq!)ąp!.
Wsprzecznejteoriikażdezdaniejesttwierdzeniem.PrawoOrygenesa
jestwięcprzepisemnaobaleniefałszywejnauki.Takżeześrodowiskiem
kościelnymsązwiązanedwieinnegłośnetautologieklasycznegorachunku
zdań;wszystkietrzysąwewspólnymkręgu:fałszimplikujewszystko–
ifałsz,iprawdę.FranciszkaninDunsScotusdałswojenazwiskotautologii
pą(p!ąq),
natomiastjezuitaClaViusjestsławnyzpowoduprawa
(p!ąp)ąp,
15
