Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rachunekzdań
Leułwnosowana
7
Definca5Reguywnioskownistoschemtypozwljcezjednychzdń
prwdziwychotrzyminnezdniprwdziweMjonenstępujcpost
pi7p27
q
7pn
(11)
gdziepi7p27
7pnuznneszprwdziwedoczymydonichnowezdnie
qzwnekonkluzj
lownioskiemkt.rywynikzpoprzednichzdńzgodnie
zzsdmilogiki
Zdnipi7p27
7pnnzywmyprzesnkmizdnieqichkonsekwencj
lukonkluzj(wnioskiem)Uw
myeschemtwnioskownijestpoprwny
wtedyitylkowtedygdyformulogiczn
pi^p2^^pn#q
jestauoloą
Jeślikoniunkcjęprzesnekpi7
7pnoznczymyprzezP
wniosekprzez
Qtopowyszwypowiedźwpoprwnościschemtuwnioskowniprzyierpo-
stcireguy
P7P#Q
Q
modusponens
(1)
zwnejreułąodrwanaczylimodusponens
Leułaaorea
orzimplikcjP#QtowolnouznzdnieQzprwdziweidoczyjedo
dnegociguzdńprwdziwych
JeśliwdnymciguzdńuznnychzprwdziweznjdujesięzdnieP
ModusponensjestpodstwowreguwnioskowniRegutustlspo-
s.rozszerzenidnejteoriiiwzogcnijejonowetwierdzenizgodniezpr-
wmilogikiStdwynikjdlszereguywnioskowni
P#Q7ŹQ
ŹP
modustollens
P#Q7Q#R
P#R
sylogizmhipotetyczny
PVQ7ŹP
sylogizmlterntywny
Q
StoreguyoczywistePoniszereguysmniejoczywiste
P#Q7ŹP#Q
Q
dylemtkonstrukcyjny
(1)
(1)
(15)
(1)