Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Elementylogikiformalnejiteoriimnogości
negacjajestprawdziwa)lLogikęopartąnatymzałożeniunazywamylogikądwuwar-
tościowąalboklasycznąl
Wartotunamarginesiezauważyć,żetakadefinicjanegacjimożewzbudzaćpew-
newątpliwościlPodnosząjezwłaszczaintuicjoniściuważający,iżjeślinieumiemy
wskazać,którezdwóchzdań-poraz~p-jestprawdziwe,toniemożemytwierdzić,
iżjednoznichjestprawdziwenapewnolWpraktycewbardzowieluprzypadkach
założenieoprawdziwościdokładniejednegoztychzdańwydajesięcałkiemrozsąd-
nelWjęzykucodziennymniemamywszakwątpliwości,żedziśjestsobotalubteż
nie(tznljestjakiśinnydzieńtygodnia)lPodobniejestsięwzwiązkumałżeńskimlub
sięwnimniejest-niemożnabyćmałżonkiemw60%lSąjednaksytuacje,kiedyna-
szaintuicjazawodzilWoptyceznanyjestspórostrukturęświatła-czyjestonofalą,
czymacharaktercząsteczkowylWydawałosię,iżsytuacjetesięwykluczająlPodko-
niecXIXwlzwyciężyławięcjednateoria-falowalJednakpoczątekXXwlprzyniósł
przełomoweodkrycie,żeproblemjestźlepostawiony;wzależnościodtypuzjawiska
światłowykazujewłaściwościfalowe(interferencja)lubteżcząsteczkowe(efektfoto-
elektryczny)lPodobnyproblemmamyzpojęciemsztucznejinteligencjilCzłowiekjest
napewnointeligentny(przynajmniejniektórzyludzie),komputernapewnoniejest
(wintuicyjnymrozumieniusłowaninteligencja”)lAleczyokażdymobiekcienapew-
nobędziemymoglipowiedzieć,żejestinteligentnylubniejestinteligentny?Niejest
topewnelJednaktegotypukwestieusuwamyzzakresunaszychrozważańl
Definicja2lKoniunkcjazdańporazqtozdanieopostacinp∧q”
,któreczytamynp
iq”
lJestonaprawdziwatylkowtedy,gdyobazdaniaskładowesąprawdziwe,wkaż-
dyminnymprzypadkujestfałszywalZależnośćprawdziwościkoniunkcjiodprawdzi-
wościzdańskładowychjestprezentowanaponiżejl
Tabela3lKoniunkcja
p
1
1
0
0
q
1
0
1
0
p∧q
1
0
0
0
Sensspójnikakoniunkcjijestbardzopodobnydosensuspójnikani”wjęzykuna-
turalnymlJeślimówię:nJanjeststudentemiJanjestoficerem”,tozdanietouznamza
prawdziwetylkowtedy,gdyobazdaniaskładowesąprawdziwelJeśliJanniejeststu-
dentem,zdanieuznamzafałszywe,podobniejakwsytuacjigdyniejestoficeremlRzecz
jasnafałszywośćobuczłonówkoniunkcjirównieżpowodujefałszywośćcałegozdanial
Wjęzykunaturalnympodobnąfunkcjędoni”mogąpełnićinnespójnikilNależą
donichnoraz”,nzarówno”,niekiedyna”;wjęzykunaturalnymsensjestbowiemczę-
stozależnyodkontekstuwypowiedzilBędziejeszczeotymmowal
25