Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
4
Rachunekzdań
logiczn
(rys1)
lterntywypVqzleyodwrtościlogicznychzdńporzq
Rys.
.
Wzwizkuztymm.wimykr.tkoenlterntywęrelizujepoczenier.w-
nolege"
Uwaa
1OZdwócdańporaŹpednoesprawdwe,naomasdrue
OKonuncadwócdańesprawdwa,dobadanapraw
esałswe(ptel11)
Znlizytelzero-jedynkowychwynik
e
Olernawadwócdańesprawdwa,dconamneedno
dwe,ałswawpooscprpadac(ptel1)
cdwóc
dańesprawdwe,ałswa-gdyo
zdni
OImplacaesałswa,dpoprednpesprawdwna
sfszywe
sępn
qesałswStreszczjcokreślenieimplikcjipowiemy
prawdwna
loprawda"
ora
5Ownowanośćesprawdwa,dobadanamaąęsamąwar
ałsumoewnarównoprawdaa
ałs"
ośćloc
Rchunekzdńzjmujesięudowiwrtościowniemzdńzoonychprzy
czymprzyjmujemynstępujckolejnośsp.jnik.wŹ7^7V7#7-
Definca
Formuzdniownzywmypoprwniezudownewyre-
nierchunkuzdńutworzonezezmiennychzdniowychzpomocfunktor.w
Przyjmujemyzoenieekdzmiennzdniowjestformu
1Opjestformu
OJeślipjestformutoŹptejestformu