Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
6
Rachunekzdań
Moetoyzdnieinteresujcemtemtykmoetoyzdnieinteresu-
jceekonomistęmoetoyzdnieniewrtezinteresowniwog.lelejest
tozdnieprwdziwe
Dosprwdzenitutologiimoesuymetodzero-jedynkowkt.rpo-
legnsprwdzeniuwszystkichukd.wwrtościlogicznychzmiennychzdnio-
wychwystępujcychw
dnymwyreniu
iekt.retutologieszernewteli17
Tabela.7
Nazwatautologii
Prawopodw.jnego
przeczenia
Prawowy.ączonego
.rodka
Prawosprzeczno.ci
Prawosylogizmuprze
chodnio.ciimplikacji
Prawotranspozycji
Prawo)unsaScotusa
PrawoCla¶iusa
PrawadeMorgana
.p#q^q#r]#p#r
.Źp^q]©.ŹpVŹq]
.ŹpVq]©.Źp^Źq]
.Źq#Źp]#p#q
Źp#p#q
.ŹŹp]©p
Źp#p#p
Ź.p^Źp]
pVŹp
Zapis
zaprzeczeniezaprzeczeniazdania
pjestr.wnoważnezdaniup
alternatywadw.chzda.,zkt.rych
jednojestzaprzeczeniemdrugiego,
jestprawdziwa
zaprzeczeniekoniunkcjidw.ch
zda.,zkt.rychjednojestzaprze
czeniemdrugiego,jestprawdziwe
jeżelizdaniepimplikujezdanieq
izdanieqimplikujezdanier,to
zdaniepimplikujezdanier
jeżelizaprzeczeniezdaniaqimpli
kujezaprzeczeniezdaniap,tozda
niepimplikujezdanieq
zaprzeczeniezdaniapimplikuje,że
zdaniepimplikujedowolnezda
nieq
jeżelizaprzeczeniezdaniapimpli
kujezdaniep,top
negacjakoniunkcjijestr.wnowa
żnaalternatywienegacji
negacjaalternatywyjestr.wnowa
żnakoniukcjinegacji
Czytamy
Dlprzykdusprwdzimyeprawosprecnośces
Mmy
p
Źp
p^Źp
Ź.p^Źp]
auoloą
Tutologierchunkuzdńmjpodstwoweznczenieprzyprzeprowdz-
niudowod.wmtemtycznych