Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rachunekzdań
Lowąane
))(p):1lukr.tkop:1
))(q):0lukr.tkoq:0
r
ład
Czypodneniejwyreniszdnimiwsensielogiki
)Ksiupoiegj
)Czyjestdorpogod
c)Jestemwzymhumorze
dp
c)iestozdniwsensielogikistozdniwsensiejęzyk
Zezdńprostychudujemyzpomocsp.jnik.wlogicznychzdnizoone
Sp.jnikilogicznenosznzwęunorów
Definca
wtedygdyq
1OFunktorŹnosinzwęnegcjiŹp-czytmyniep
5OFunktor-nosinzwęr.wnownościp-q-czytmypwtedyitylko
OFunktorVnosinzwęlterntywypVq-czytmypluq
OFunktor^nosinzwękoniunkcjip^q-czytmypiq
OFunktor#nosinzwęimplikcjip#qczytmy-jeśliptoq
(sp.jnik.wlogicznych-funktor.wzdniotw.rczych)
Wrtościlogicznezdńpowstychprzezzstosowniewyejwymienionych
funktor.wmonzpiszpomoctelek
EGCJ
Tabela.
p
Źp
LTER
TYW
Tabela.
p
q
pVq
K
IUKCJ
Tabela.4
p
q
p^q