Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
ROZDZIAŁ1
Zagadnieniawstępne
1010Elementylogiki
Podstawowymipojęciamilogikisą:zdanie,formazdaniowa,funkcja
zdaniowaikwantyfikatory.
Zdaniemnazywamykażdewyrażenie,któremumożnaprzypisaćjedną
zocen:prawdęlubfałsz.Prawdaifałsztowartościlogicznezdania.
Zdaniaoznaczamyzwyklemałymiliterami,np.p,q,zaśwartośćlo-
gicznązdania-symbolemn1”,gdyjestonoprawdziweorazsymbolem
n0”,gdyjestfałszywe.
Wśródzdańwyróżniamyzdaniaprosteizłożone.Zdaniazłożoneskła-
dająsięzezdańprostychpołączonychfunktoramizdaniotwórczymi(spój-
nikamizdaniowymi).
Donajczęściejstosowanychfunktorówzdaniotwórczychnależą:
—
negacja(~),
—
alternatywa(∨),
—
koniunkcja(∧),
—
implikacja(⇒),
—
równoważność(⇔).
Negacjązdaniapnazywamyzdaniennieprawda,żep”ioznaczamy~p.
Alternatywąnazywamyzdanienplubq”ioznaczamyp∨q,zaśkoniunk-
cją-zdanienpiq”,któreoznaczamyp∧q.Implikacjąnazywamyzdanie
njeżelip,toq”izapisujemyp⇒q,natomiastrównoważnością-zdanie
npwtedyitylkowtedy,gdyq”izapisujemyp⇔q.
1010Elementylogiki
11