Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
ORGANON
charakteryzujealternatywę.Zdaniep+qjestprawdziwe,jeżelichociażje-
denczłonalternatywy,naprzykładp,jestprawdziwy,adrugiq-dowolny.
Tabliczka
p
0
0
1
1
q
0
1
0
1
pq
0
0
0
1
określakoniunkcję.Zdaniepqjestwtedyitylkowtedyprawdziwe,gdyoba
członypiqsąprawdziwe.
Macierzprawdziwościowaimplikacji
p
0
0
1
1
q
0
1
0
1
pąq
1
1
0
1
możebudzićzdziwienie.Dlaczegozfałszuwynikatakżeprawda?Istotne
jesttu,że–przypoprawnymwnioskowaniu–zprawdynieotrzymamyfał-
szu.Jeżeliteoriazawierachociażjednozdaniefałszywe,wtedytezamitej
teoriisąwszystkiezdania.Takateoriajestnieciekawaiztegowłaśniepo-
wodunaukatakbardzoboisięsprzeczności.
Wreszcietablica
p
0
0
1
1
q
0
1
0
1
p=q
1
0
0
1
określarównoważność.Zdaniasąrównoważnewtedyitylkowtedy,gdysą
jednocześniefałszywealboprawdziwe.
13
