Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Rozdział1
Definicja3lAlternatywazdańpiqtozdanieopostacinp∨q”
,któreczytamy:np
lubq”lJestfałszywatylkowtedy,gdyobazdaniaskładowesąfałszywe;wkażdymin-
nymprzypadkujestprawdziwalZależnośćprawdziwościalternatywyzdańporazq
odprawdziwościzdańskładowychjestprezentowanaponiżej:
Tabela4lAlternatywa
p
1
1
0
0
q
1
0
1
0
p∨q
1
1
1
0
Sensspójnikaalternatywyjestbardzopodobnydosensuspójnikanlub”wjęzy-
kunaturalnymlJeślimówię:nJanjeststudentemlubJanjestoficerem”,tozdanieto
uznamzaprawdziwezarównowtedy,Janjeststudentem-cywilem,jakiwówczasgdy
jakooficerdowodzikompaniączołgów;jeślispełniaobawarunki,tozapewneteżnie
będziemymieliwątpliwościcodoprawdziwościcałejalternatywylAlejeśliJanniejest
anistudentem,anioficerem,zdanieuznamzafałszywe,gdyżfałszywośćobuczłonów
alternatywypowodujefałszywośćcałegozdanial
Definicja4lRównoważnośćzdańpiqtozdanieopostacinp⇔q”
,któreczytamy:np
wtedyitylkowtedy,gdyq”lubnprównoważneq”
lJestprawdziwatylkowtedy,gdyoba
zdaniamajątęsamąwartośćlogiczną,zatemobasąprawdziwelubfałszywelZależ-
nośćprawdziwościrównoważnościzdańporazqodprawdziwościzdańskładowych
jestprezentowanaponiżejl
Tabela5lRównoważność
p
1
1
0
0
q
1
0
1
0
p⇔q
1
0
0
1
Równoważnośćmazasadniczoodzwierciedlaćidentyczność(równość)logicznąlJej
wartośćlogicznaniemanatomiastżadnegozwiązkuzzależnościątreściowąjejskła-
dowychlDlategoteżzdaniec)zprzykładupierwszegojestprawdziwe;obazdaniasą
oczywiściefałszywe,awięctymsamymmająidentycznąwartośćlogicznąlBrakja-
kiegokolwiekzwiązkumiędzyzdaniamiskładowymiteżniejestpowodemzmiany
naszejoceny-jesttozdanieprawdziwelAżemałosensownenapoziomiejęzykana-
turalnego-tojużniejestsprawalogikil
26
