Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Funkcjezdaniowe.Kwantyfikatory
Przykład1.3
Zbadamymetodąsprowadzaniadoniedorzeczności,czyjesttautologiąwy-
rażenie
q=⇒[p=⇒(p∧q)].
Wtymcelubędziemychcieliuzyskaćimplikacjęfałszywątypu:1=⇒0.
Oznaczato,żeqjestzdaniemprawdziwym,natomiastimplikacjap=⇒
(p∧q)musiałabybyćzdaniemfałszywym.Jesttomożliwetylkowprzy-
padku,gdypjestprawdziwe,natomiastp∧qjestzdaniemfałszywym.To
ostatniestwierdzenieoznacza,żeqjestzdaniemfałszywym,coprzeczywnio-
skowiuzyskanemupoprzednio.Zatemniejestmożliwetakiedobraniewar-
tościzdańpiq,żebyrozważanewyrażeniebyłozdaniemfałszywym.Jest
więconoprawemlogicznym.
Funkcjezdaniowe.Kwantyfikatory
Funkcjązdaniowąbędziemynazywaćwyrażeniezbudowanezezmiennych
ifunktorówzdaniotwórczych,którestajesięzdaniem,jeżelizazmiennepod-
stawiamynazwyprzedmiotówzezbioruobiektów(rzeczy)dopuszczalnych.
Funkcjezdaniowebędziemyoznaczaćprzez:f(x),o(x),f(xjy),
g(xjyjz),f(x1jx2j...jxn)itp.
Przykład1.4
Rozważmynastępującefunkcjezdaniowe:
x>y+3.
xjestrzekąwPolsce.
Temperaturaxjestwiększaod150C.
Wpierwszejfunkcjizdaniowejzmiennexiymogąprzebiegaćzbiór
liczbrzeczywistychR,cooznacza,żezbioremdopuszczalnymdlazmiennejx
jestR,jakrównieżzbioremdopuszczalnymdlazmiennejyjestzbiórR.Dla
drugiejfunkcjizdaniowejzbioremdopuszczalnymjestzbiórnazwwszystkich
rzeknaświecie,natomiastzbioremdopuszczalnymdlatrzeciejfunkcjizda-
niowejjestzbiórnazwwszystkichprzedmiotów.
Podającfunkcjęzdaniową,możemyteżzbiórdopuszczalnyzadać
apriori,np.przyjąć,żedlatrzeciejfunkcjizdaniowejrozważanejwprzykła-
dzie1.4zbioremdopuszczalnymjestzbiórwszystkichciałwstaniepłynnym
podgrzanychdotemperaturywrzenia.
Nafunkcjachzdaniowychwykonujemytakiesamedziałaniajaknazda-
niach,aponadtoużywamyuogólnionejalternatywyzwanejmałymkwan-
tyfikatoremiuogólnionejkoniunkcjizwanejdużymkwantyfikatorem.
13
