Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
ORGANON
Prawotomożebyćzapisanerównieżwpostaci
(pąq)ą((qąr)ą(pąr)).
Prawodedukcji,czylimodusponendoponens:
((pąq)p)ąq.
Natymprawieopartajestpodstawowareguławnioskowania,zwana
regułąodrywania.Jeśliprawdziwajestimplikacjapąqiprawdziwyjest
poprzednikptejimplikacji,torównieżzdanieqnależyuznaćzaprawdziwe.
Prawodedukcjijestfundamentemcywilizacjiikulturyeuropejskiej.
Trybtwierdzeniemobalający,czylimodusponendotollens:
((p=q)'p)ąq'.
Trybobaleniemtwierdzący,czylimodustollendoponens:
((p+q)p')ąq.
Jeżeliwięcjedenczłonprawdziwejalternatywyjestfałszywy,todrugi
jestprawdziwy.Nazwęłacińskąmożnarównieżprzełożyćjakotrybzaprze-
czeniemtwierdzący.
Modustollendotollens–trybzaprzeczeniemzaprzeczający:
((pąq)q')ąp'.
Prawodylematukonstrukcyjnego:
((pąq)(p'ąq))ąq.
Ztątautologiązwiązanajestdestrukcyjnaanegdota.KalifOmarposłu-
żyłsiętymprawemlogicznym,abyuzasadnićswądecyzjęspaleniasłynnej
BibliotekiAleksandryjskiej.Jegownioskowaniejestnaturalne,proste
iprzekonujące.JeśliwtychksięgachjesttosamocowKoranie(zdaniep),
tonależyjespalić[jakozbędne](zdanieq),jeślizaśjestwnichcoinnego
niżwKoranie(zdaniep'),tonależyjerównieżspalić[jakoszkodliwe](zda-
nieq),ergobibliotekęnależyspalić(zdanieq).
4.Istniejebardzowygodnabeznawiasowanotacjalogiczna,pochodząca
odJanaŁukasiewicza,zwananotacjąpolską:funktoroznaczonydużąliterą
–skrótnazwy–piszesięprzedjednymzdaniem,wprzypadkujednegoar-
gumentu,lubprzeddwomazdaniami,gdyjesttofunktordwuargumentowy.
Napisy:Np,Apq,Cpq,Ipq,Epqoznaczająodpowiednio:negacjęzdaniap
17
