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,dobadanasąpraw
esałswe(ptel11)
Znlizytelzero-jedynkowychwynik
e
Olernawadwócdańesprawdwa,dconamneedno
dwe,aśałswawpoosałcprpadac(ptel1)
cdwóc
dańesprawdwe,aśałswa-gdyo
zdni
OImplacaesałswa,dpoprednpesprawdwna
sfszywe
sępn
qesałswStreszczjcokreślenieimplikcjipowiemy
prawdwna
loprawda"
ora
5OLównowanośćesprawdwa,dobadanamaąęsamąwar
ałsumoewnaćarównoprawdaa
ałs"
ośćlocną
Rchunekzdńzjmujesięudowiwrtościowniemzdńzoonychprzy
czymprzyjmujemynstępujckolejnośsp.jnik.wŹ7^7V7#7-
Definca
Formuzdniownzywmypoprwniezudownewyre-
nierchunkuzdńutworzonezezmiennychzdniowychzpomocfunktor.w
Przyjmujemyzoenieekdzmiennzdniowjestformu
1Opjestformu
OJeślipjestformutoŹptejestformu