Logika materiały do wykładów

background image

M. Nowak, Materia ly do wyk ladu z logiki na kierunkach humanistycznych

Poj¸

ecie znaku

Definicja znaku Ch. S. Peirce’a:

Znak jest to co´

s, co komu´

s zast¸

epuje co´

s innego pod pewnym wzgl¸

edem lub

w pewien spos´

ob.

Owo “co´

s innego”, czyli to, co jest zast¸

epowane przez znak, nazywane jest

przedmiotem odniesienia dla tego znaku lub przedmiotem, do kt´

orego znak si¸

e

odnosi.

Znaki dzieli si¸

e m.in.

na naturalne i konwencjonalne.

Wed lug jednego

z kryteri´

ow podzia lu, znaki naturalne to te, kt´

ore nie s¸

a wytworem ludzkiej

cywilizacji; konwencjonalne znaki – to te, kt´

ore nie s¸

a naturalne.

Wed lug

drugiego kryterium podzia lu, znak naturalny to taki znak, i˙z mi¸

edzy nim a

jego przedmiotem odniesienia wyst¸

epuje naturalny zwi¸

azek, tzn. nie ustalony

na mocy konwencji. Znak konwencjonalny to znak, kt´

orego zwi¸

azek z przed-

miotem odniesienia ustalony jest na podstawie jakiej´

s umowy (niekoniecznie

spisanej czy u´

swiadamianej). Na przyk lad, b´

ol po prawej dolnej stronie brzucha

jest, wed lug pierwszego jak i drugiego kryterium znakiem naturalnym (objawem,
symptomem) zapalenia wyrostka robaczkowego. Wyra˙zenie “kot” jest wed lug
obu kryteri´

ow znakiem konwencjonalnym.

Znaki konwencjonalne zwane s¸

a symbolami.

Definicja znaczenia znaku K. Ajdukiewicza.

Znaczenie znaku to, wed lug K. Ajdukiewicza, spos´

ob rozumienia znaku,

zale˙zny od m.in. nast¸

epuj¸

acych czynnik´

ow:

(1) typu przedmiot´

ow odniesienia dla znaku,

(2) sposobu kojarzenia przedmiot´

ow odniesienia ze znakiem,

(3) nastawienia uczuciowego do przedmiot´

ow odniesienia.

Dysponuj¸

ac poj¸

eciem znaku mo˙zna definiowa´

c specjalne systemy znak´

ow

jakimi s¸

a j¸

ezyki.

Poj¸

ecie j¸

ezyka

ezyk wed lug lingwistyki matematycznej:

Przez j¸

ezyk o s lowniku Σ rozumiemy dowolny niepusty zbi´

or sko´

nczonych

ci¸

ag´

ow symboli z Σ. Dowolny ci¸

ag symboli nale˙z¸

acy do j¸

ezyka nazywamy wyra-

˙zeniem tego j¸

ezyka.

S lownik jest to dowolny niepusty zbi´

or symboli.

ezyk polski jest pewnym zbiorem sko´

nczonych ci¸

ag´

ow symboli. Symbolem

jest tu pojedy´

nczy wyraz lub znak interpunkcyjny, za´

s s lownikiem – zbi´

or wszys-

tkich wyraz´

ow oraz znak´

ow interpunkcyjnych.

1

background image

Kategorie syntaktyczne w j¸

ezyku naturalnym (etnicznym)

W literaturze istnieje precyzyjna, lecz ”nieoperacyjna” (tzn. niestosowalna

w pewnych przypadkach) definicja kategorii (typu syntaktycznego) wedug K.
Ajdukiewicza:

Definicja kategorii syntaktycznej

owimy, ˙ze wyra˙zenia A i B danego j¸

ezyka nale˙z¸

a do tej samej kategorii syn-

taktycznej (lub s¸

a tego samego typu syntaktycznego), gdy z dowolnego wyra˙zenia

W (A), kt´

orego w la´

sciwym sk ladnikiem jest A, po zamianie wyra˙zenia A na

wyra˙zenie B, otrzymujemy ci¸

ag symboli W (B) b¸

ed¸

acy wyra˙zeniem tego j¸

ezyka.

Przyk lad. Wyra˙zenia j¸

ezyka polskiego: “lub”, “cz lowiek” nie s¸

a tego samego

typu. Np. wyra˙zenie W (cz lowiek) postaci: “Jan Kowalski jest cz lowiekiem”
staje si¸

e po zamianie wyra˙zenia “cz lowiek” na wyra˙zenie “lub” ci¸

agiem W (lub):

“Jan Kowalski jest lub”, kt´

ory nie jest wyra˙zeniem j¸

ezyka polskiego.

Definicja kategorii syntaktycznej pozwala, jak wida´

c, na ustalenie, ˙ze dane

dwa wyra˙zenia nie nale˙z¸

a do tej samej kategorii. Nie pozwala jednak na ustale-

nie, czy dwa wyra˙zenia nale˙z¸

a do tej sanej kategorii, w przypadku gdy pos luguj¸

ac

si¸

e wielokrotnie t¸

a definicj¸

a, nie wykazujemy, ˙ze nie nale˙z¸

a do tej samej kategorii.

W j¸

ezyku etnicznym wyr´

o˙znia si¸

e dwie podstawowe kategorie syntaktyczne:

nazwy i zdania oraz kategorie pochodne: funktorowe i operatorowe.

Nazwy

Z powodu nieoperacyjno´

sci definicji typu syntaktycznego wprowadza si¸

e,

niezale˙znie od niej, definicj¸

e typu wyra˙ze´

n zwanych nazwami.

Definicje nazwy, desygnatu nazwy, jej zakresu i tre´

sci

Nazwa jest w to wyra˙zenie mog¸

ace pe lni´

c funkcj¸

e podmiotu lub orzecznika

w zdaniu podmiotowo-orzecznikowym.

Desygnat nazwy jest to przedmiot, do kt´

orego nazwa ta si¸

e odnosi lub inaczej

– przedmiot oznaczany przez nazw¸

e.

Zakres nazwy to zbi´

or wszystkich jej desygnat´

ow.

Tre´

c nazwy to jakikolwiek zbi´

or cech desygnat´

ow tej nazwy taki, ˙ze wszys-

tkie cechy z tego zbioru przys luguj¸

a ka˙zdemu desygnatowi nazwy oraz je˙zeli

wszystkie cechy z tego zbioru przys luguj¸

a jakiemu´

s obiektowi, to obiekt ten jest

desygnatem tej nazwy.

Wielko´

c zakresu nazwy jest odwrotnie proporcjonalna do wielko´

sci tre´

sci

nazwy, w takim oto sensie: je˙zeli tre´

c jednej nazwy jest podzbiorem tre´

sci

drugiej, to zakres drugiej nazwy jest podzbiorem zakresu tej pierwszej.

Bowiem, przy za lo˙zeniu inkluzji tre´

sci pierwszej nazwy w tre´

sci drugiej nazwy,

dowolnemu desygnatowi drugiej nazwy przys luguj¸

a wszystkie cechy nale˙z¸

ace do

tre´

sci pierwszej nazwy, zatem z definicji poj¸

ecia tre´

sci, musi on by´

c desygnatem

pierwszej nazwy; dowodzi to inkluzji zakresu drugiej nazwy w zakresie pierwszej.

2

background image

Ze wzgl¸

edu na ilo´

c desygnat´

ow, nazwy dzielimy na og´

olne, jednostkowe,

puste. Nazwa maj¸

aca wi¸

ecej ni˙z jeden desygnat nazywana jest og´

oln¸

a, ta, kt´

ora

ma dok ladnie jeden desygnat nazywana jest jednostkow¸

a, wreszcie ta, kt´

ora nie

ma desygnat´

ow – nazywana jest pust¸

a.

Ze wzgl¸

edu na wielko´

c tre´

sci, nazwy dzielimy na indywidualne – maj¸

ace

tre´

c pust¸

a, oraz generalne – kt´

orych tre´

c jest niepustym zbiorem. Np. nazwa

“Wis la” jest w ka˙zdym ze swoich znacze´

n nazw¸

a indywidualn¸

a, tymczasem

nazwa “najd lu˙zsza rzeka w Polsce” jest generalna, cho´

c r´

ownie˙z jak “Wis la”

– jednostkowa.

Logika nazw

S lownik j¸

ezyka logiki nazw zawiera nast¸

epuj¸

ace symbole:

S, M, P, S

1

, M

1

, P

1

, S

2

, M

2

, P

2

, . . . - zmienne nazwowe

a, e, i, o - funktory zdaniotw´

orcze od dw´

och argument´

ow nazwowych

ezyk:

Ka˙zdy ci¸

ag symboli ze s lownika postaci: XuY , gdzie X, Y s¸

a zmiennymi

nazwowymi, a u jest jednym z czterech funktor´

ow ze s lownika, jest formu l¸

a

ezyka logiki nazw i tylko takie ci¸

agi s¸

a formu lami tego j¸

ezyka.

Zmienne nazwowe reprezentuj¸

a dowolne nazwy og´

olne z j¸

ezyka etnicznego.

Formu la: SaP , reprezentuje funkcj¸

e zdaniow¸

a: ka˙zde S jest P, b¸

ed¸

ac¸

a sche-

matem tzw. zdania og´

olnotwierdz¸

acego (np. ”ka˙zda ryba jest drapie˙znikiem”)

Formu la: SeP , reprezentuje funkcj¸

e zdaniow¸

a: ˙zadne

S

nie

jest

P,

ed¸

ac¸

a schematem tzw. zdania og´

olnoprzecz¸

acego (np. ”˙zadna ryba nie jest

drapie˙znikiem”)

Formu la: SiP , reprezentuje funkcj¸

e zdaniow¸

a: niekt´

ore S s¸

a P, b¸

ed¸

ac¸

a

schematem tzw. zdania szczeg´

o lowotwierdz¸

acego (np. ”niekt´

ore ryby s¸

a drapie˙z-

nikami”)

Formu la: SoP , reprezentuje funkcj¸

e zdaniow¸

a: niektre

S

nie

a

P ,

ed¸

ac¸

a schematem tzw.

zdania szczeg´

o lowoprzecz¸

acego (np.

”niekt´

ore ryby

nie s¸

a drapie˙znikami”).

Semantyka:

Niech V b¸

edzie przyporz¸

adkowaniem ka˙zdej zmiennej nazwowej X dok ladnie

jednego, lecz dowolnego zbioru wi¸

ecej ni˙z 1-elementowego, oznaczanego tu w

postaci V (X). (Domy´

slnie, je´

sli zmienna X reprezentuje dan¸

a nazw¸

e, to V (X)

jest zakresem tej nazwy.) Przyporz¸

adkowanie V nazwiemy warto´

sciowaniem.

Aby okre´

sli´

c spos´

ob przyporz¸

adkowania warto´

sci logicznych prawdy lub fa l-

szu dowolnej formule j¸

ezyka logiki nazw, zdefiniujmy dwa znane stosunki mi¸

edzy

zbiorami:

3

background image

Zbi´

or A jest podzbiorem zbioru B (A ⊆ B), gdy dla dowolnego obiektu b,

je˙zeli b jest elementem zbioru A (b ∈ A), to b jest elementem zbioru B (b ∈ B).

Zbiory A, B s¸

a roz l¸

aczne, gdy nie istnieje obiekt b taki, ˙ze b ∈ A oraz b ∈ B,

czyli, gdy zbiory te nie maj¸

a wsp´

olnego elementu.

Dla dowolnego warto´

sciowania V , dla dowolnych zmiennych nazwowych X, Y ,

powiemy, ˙ze

formu la XaY jest prawdziwa przy warto´

sciowaniu V , gdy V (X) jest pod-

zbiorem zbioru V (Y ),

formu la XeY jest prawdziwa przy warto´

sciowaniu V , gdy zbiory V (X), V (Y )

a roz l¸

aczne,

formu la XiY jest prawdziwa przy warto´

sciowaniu V , gdy zbiory V (X), V (Y )

nie s¸

a roz l¸

aczne,

formu la XoY jest prawdziwa przy warto´

sciowaniu V , gdy V (X) nie jest

podzbiorem zbioru V (Y ).

Zauwa˙zmy, ˙ze zachodzi prosty zwi¸

azek:

dla dowolnego warto´

sciowania V , XaY jest prawdziwa przy V

wtw XoY

jest fa lszywa (tzn. nie jest prawdziwa) przy V ,

XeY jest prawdziwa przy V

wtw XiY jest fa lszywa przy V .

Centralnym poj¸

eciem jest wynikanie logiczne:

Definicja wynikania logicznego

owimy, ˙ze ze zbioru formu l Z wynika logicznie formu la α (Z |= α), gdy dla

ka˙zdego warto´

sciowania V , przy kt´

orym wszystkie formu ly z Z s¸

a prawdziwe, α

jest r´

ownie˙z prawdziwa.

Przyk lady. (1) Formu la SaP wynika logicznie ze zbioru formu l {SaM, M aP }.
Aby tego dowie´

c, zak ladamy, ˙ze przy jakim´

s, dowolnie wybranym warto´

sciowa-

niu V prawdziwe s¸

a formu ly SaM, M aP , co zapisujemy w postaci pierwszych

wyra˙ze´

n dowodu:

rozwa˙zmy dowolne warto´

sciowanie V ,

(1) SaM jest prawdziwa przy V (za lo˙zenie),
(2) M aP jest prawdziwa przy V (za lo˙zenie).

Po tych za lo˙zeniach celem dowodu jest wykazanie, i˙z
(cel1) formu la SaP jest prawdziwa przy warto´

sciowaniu V .

Korzystaj¸

ac z warunku prawdziwo´

sci dla formu ly og´

olnotwierdz¸

acej specy-

fikujemy ´

ow cel w postaci:

(cel2) V (S) ⊆ V (P ).
Aby go osi¸

agn¸

c stosujemy definicj¸

e stosunku bycia podzbiorem, zatem wyka-

zujemy, ˙ze

(cel3) dla dowolnego obiektu b, je˙zeli b ∈ V (S), to b ∈ V (P ).

4

background image

Aby go zrealizowa´

c za l´

o˙zmy, ˙ze dowolnie wybrany obiekt b jest elementem

zbioru V (S):

rozwa˙zmy dowolny obiekt b,
(3) b ∈ V (S) (za lo˙zenie).

Teraz celem dowodu staje si¸

e wykazanie, ˙ze

(cel4) b ∈ V (P ).
Dalsza specyfikacja celw dowodu nie nast¸

api, bowiem bycie elementem (∈)

zbioru jest terminem pierwotnym, tzn. nie istnieje jego definicja wyra´

zna, z

kt´

orej mo˙zna by korzysta´

c, aby specyfikowa´

c dalej cel. Dlatego aby osi¸

agn¸

c

(cel4) korzystamy z informacji (1), (2), (3) w spos´

ob nast¸

epuj¸

acy. Na podstawie

warunku prawdziwo´

sci dla formu ly og´

olnotwierdz¸

acej, V (S) jest podzbiorem

V (M ) oraz V (M ) jest podzbiorem zbioru V (P ):

(4) V (S) ⊆ V (M ) z (1),
(5) V (M ) ⊆ V (P ) z (2)

Korzystaj¸

ac z definicji bycia podzbiorem, wyra˙zenia (4), (5) zamieniamy na

(6) dla dowolnego obiektu x, je˙zeli x ∈ V (S), to x ∈ V (M ) z (4),
(7) dla dowolnego obiektu x, je˙zeli x ∈ V (M ), to x ∈ V (P ) z (5).

Ostatecznie otrzymujemy:

(8) b ∈ V (M ) z (3), (6),
(9) b ∈ V (P ) z (8), (7),

co ko´

nczy dow´

od.

(2) Wyka˙zemy, ˙ze {M aP, M aS} |= SiP .

rozwa˙zmy dowolne warto´

sciowanie V ,

(1) M aP jest prawdziwa przy V (za lo˙zenie),
(2) M aS jest prawdziwa przy V (za lo˙zenie),
(3) V (M ) ⊆ V (P ) z (1),
(4) V (M ) ⊆ V (S) z (2),
(5) V (M ) jest niepustym zbiorem - z warunku semantycznego, wed lug kt´

orego

zbi´

or V (X) jest wi¸

ecej ni˙z 1-elementowy,

istnieje obiekt b taki, ˙ze
(6) b ∈ V (M ) z (5),
(7) b ∈ V (P ) z (3), (6),
(8) b ∈ V (S) z (4), (6),
(9) zbiory V (S), V (P ) nie s¸

a roz l¸

aczne - z (8),

SiP jest prawdziwa przy V - z (9).

(3) Wykazujemy, ˙ze formu la SeP wynika logicznie ze zbioru formu l {SaM, M eP },
metod¸

a nie wprost.

5

background image

Dowie´

c danego zdania (twierdzenia) nie wprost, to za lo˙zy´

c, ˙ze jest ono

fa lszywe, czyli za lo˙zy´

c, ˙ze zaprzeczenie tego zdania jest prawdziwe i na tej

podstawie, stosuj¸

ac definicje wyra˙ze´

n wyst¸

epuj¸

acych w zdaniu, jak r´

ownie˙z

by´

c mo˙ze znane twierdzenia, doj´

c do absurdu. Polega on na wyprowadzeniu

(wywnioskowaniu) dowolnej pary zda´

n, w kt´

orej jedno zdanie jest zaprzeczeniem

drugiego.

(1) {SaM, M eP } 6|= SeP (za lo˙zenie)
istnieje warto´

sciowanie V takie, ˙ze

(2) SaM jest prawdziwa przy V z (1),
(3) M eP jest prawdziwa przy V z (1),
(4) SeP jest fa lszywa przy V z (1),
(5) V (S) ⊆ V (M ) z (2),
(6) V (M ), V (P ) s¸

a roz l¸

aczne - z (3),

(7) zbiory V (S), V (P ) nie s¸

a roz l¸

aczne - z (4),

istnieje obiekt b taki, ˙ze
(8) b ∈ V (S) z (7),
(9) b ∈ V (P ) z (7),
(10) b ∈ V (M ) z (8), (5),
(11) zbiory V (M ), V (P ) nie s¸

a roz l¸

aczne z (9), (10),

absurd (6), (11).

(4) Aby wykaza´

c, ˙ze {M aP, SoM } 6|= SoP nale˙zy wskaza´

c takie warto´

sciowanie

V , przy ktrym formu ly M aP, SoM s¸

a prawdziwe, za´

s formu la SoP jest fa lszywa.

Na przyk lad, V (S) = zbi´

or miast zamieszka lych przez co najmniej 1 mln miesz-

ka´

nc´

ow, V (M ) = zbi´

or stolic kraj´

ow, V (P ) = zbi´

or miast.

Definicja prawa logicznego (logicznej prawdziwo´

sci lub tautologii)

Formu la α jest prawem logicznym (jest logicznie prawdziwa lub jest tau-

tologi¸

a) logiki nazw, gdy α jest prawdziwa przy ka˙zdym warto´

sciowaniu V .

Przyk lad. Formu ly SaS, SiS s¸

a logicznie prawdziwe. Dow´

od pierwszego faktu

przebiega nast¸

epuj¸

aco:

rozwa˙zmy dwolne warto´

sciowanie V ,

(1) V (S) ⊆ V (S) (na podstawie latwo dowodliwego z definicji bycia podzbio-

rem, twierdzenia: A ⊆ A),

(2) SaS jest prawdziwa przy V z (1).

Definicja sprzecznego zbioru formu l

Zbi´

or formu l Z nazywamy niesprzecznym wed lug logiki nazw, gdy istnieje

warto´

sciowanie V , przy kt´

orym ka˙zda formu la ze zbioru Z jest prawdziwa. Zbi´

or

formu l jest sprzeczny, gdy nie jest niesprzeczny.

Przyk lady (1) Zbiory formu l {SaP, SoP }, {SeP, SiP }, {SoS} s¸

a sprzeczne.

Dow´

od nie wprost pierwszego faktu przebiega nast¸

epuj¸

aco:

(1) zbi´

or formu l {SaP, SoP } jest niesprzeczny (za lo˙zenie),

istnieje warto´

sciowanie V takie, ˙ze

(2) formu la SaP jest prawdziwa przy V z (1),

6

background image

(3) formu la SoP jest prawdziwa przy V z (1),
(4) V (S) ⊆ V (P ) z (2),
(5) V (S) 6⊆ V (P ) z (3),
absurd (4),(5).

(2) Aby wykaza´

c, ˙ze zbi´

or formu l {SeM, M aP, SiP } jest niesprzeczny, nale˙zy

wskaza´

c takie warto´

sciowanie V , przy kt´

orym wszystkie formu ly z tego zbioru s¸

a

prawdziwe, np. V (S) = zbi´

or kr´

ow, V (M ) = zbi´

or koni, V (P ) = zbi´

or zwierz¸

at

ro´

slino˙zernych.

Zdania

Nie ka˙zde zdanie z j¸

ezyka etnicznego zaliczane jest do kategorii zda´

n. Nale˙z¸

a

do niej wy l¸

acznie zdania oznajmuj¸

ace, prawdziwe b¸

ad´

z fa lszywe. Kategori¸

e zda´

n

dzielimy na zdania proste i z lo˙zone, lecz kryterium tego podzia lu nie jest liczba
wyst¸

epuj¸

acych w zdaniu orzecze´

n (jak w gramatyce), ale wyst¸

epowanie tzw.

sp´

ojnika (funktora zdaniotw´

orczego od argument´

ow zdaniowych). Zdanie, w

kt´

orym nie wyst¸

epuje sp´

ojnik nazywamy prostym, zdanie, kt´

ore nie jest proste,

nazywamy z lo˙zonym.

Najwa˙zniejszy typ zda´

n prostych stanowi¸

a zdania podmiotowo-orzecznikowe,

tzn. zdania postaci: a jest P , gdzie a jest podmiotem, za´

s P – orzecznikiem,

np. “Jan Kowalski jest studentem”.

Wsr´

od zda´

n z lo˙zonych wyr´

o˙znia si¸

e m.in.

• zdania negacyjne, postaci: nieprawda, ˙ze A,
• koniunkcyjne: A i B,
• alternatywne: A lub B,
• implikacyjne: je˙zeli A, to B,
• r´

ownowa˙zno´

sciowe: A wtedy i tylko wtedy, gdy B,

gdzie A, B s¸

a dowolnymi zdaniami.

Funktory

Mamy nie jedn¸

a, lecz wiele tzw. kategorii funktorowych, do ktrych nale˙z¸

a

funktory

Definicja funktora

Funktor jest to wyra˙zenie s lu˙z¸

ace do tworzenia wyra˙ze´

n z lo˙zonych z mniej

z lo˙zonych.

Wyra˙zenie z lo˙zone uzyskujemy z wyra˙ze´

n mniej z lo˙zonych przez do l¸

aczenie

do nich funktora.

Wyra˙zenia, kt´

ore do l¸

aczamy do funktora nazywamy jego

argumentami.

Aby wygodnie przedstawi´

c kategorie syntaktyczne funktorowe, przyporz¸

ad-

kowuje si¸

e ka˙zdej kategorii syntaktycznej odpowiedni wska´

znik. Kategorii nazw

przyporz¸

adkowujemy wska´

znik: n, za´

s kategorii zda´

n – z.

owczas ka˙zdej kategorii funktorowej przyporz¸

adkowany jest wska´

znik pos-

taci u lamka, w liczniku kt´

orego wyst¸

epuje wska´

znik kategorii wyra˙zenia z lo˙zo-

7

background image

nego powsta lego przez do l¸

aczenie do funktora argument´

ow, za´

s w mianowni-

ku wyst¸

epuj¸

a wska´

zniki (odzielone przecinkami) kategorii, do kt´

orych nale˙z¸

a

argumenty.

Najwa˙zniejsze kategorie funktorowe:

n
n

– funktory nazwotw´

orcze od jednego argumentu nazwowego, czyli wy-

ra˙zenia, kt´

ore do l¸

aczone do jednej nazwy tworz¸

a now¸

a nazw¸

e, np. “wysoki”,

“ ladny”, “−”,

n

n,n

– funktory nazwotw´

orcze od dw´

och argument´

ow nazwowych, czyli wy-

ra˙zenia, kt´

ore do l¸

aczone do dw´

och nazw tworz¸

a now¸

a nazw¸

e, np. “nad”, “pod”,

“+”,

z

n

– funktory zdaniotw´

orcze od jednego argumentu nazwowego, czyli wy-

ra˙zenia, kt´

ore do l¸

aczone do jednej nazwy tworz¸

a zdanie, np. “´

swieci”, “jest

cz lowiekiem”,

z

n,n

– funktory zdaniotw´

orcze od dw´

och argument´

ow nazwowych, czyli wy-

ra˙zenia, kt´

ore do l¸

aczone do dw´

och nazw tworz¸

a zdanie, np. “kocha”, “lubi”

“≤”,

z
z

– funktory zdaniotw´

orcze od jednego argumentu zdaniowego, czyli wyra-

˙zenia, kt´

ore do l¸

aczone do jednego zdania tworz¸

a nowe zdanie, np. “nieprawda,

˙ze”, “jest konieczne, ˙ze”,

z

z,z

– funktory zdaniotw´

orcze od dw´

och argument´

ow zdaniowych, czyli wy-

ra˙zenia, kt´

ore do l¸

aczone do dw´

och zda´

n tworz¸

a nowe zdanie, np. “i”, “lub”,

“je˙zeli,to”, “wtedy i tylko wtedy, gdy”.

Definicje predykatu i sp´

ojnika

Funktory zdaniotw´

orcze od jednego lub wi¸

ekszej ilo´

sci argument´

ow naz-

wowych nazywamy predykatami.

Funktory zdaniotw´

orcze od jednego lub wi¸

ekszej ilo´

sci argument´

ow zda-

niowych nazywamy sp´

ojnikami.

Istotn¸

a rol¸

e w logice klasycznej odgrywaj¸

a tzw.

sp´

ojniki ekstensjonalne

(prawdziwo´

sciowe). Aby je przedstawi´

c, dobrze jest wystartowa´

c od koncepcji

znaczenia wyra˙zenia autorstwa Gottloba Fregego.

Znaczenie wyra ˙zenia wed lug Gottloba Fregego

G. Frege (1848-1925) - niemiecki matematyk i filozof, odkrywca aksjomaty-

cznej wersji klasycznej logiki zdaniowej; autor semantycznych rozstrzygni¸

c usta-

laj¸

ach typy odniesie´

n i sens´

ow dla wyra˙ze´

n nasyconych, czyli nazw i zda´

n oraz

nienasyconych, czyli funktor´

ow; tw´

orca koncepcji znaczenia kwantyfikator´

ow

jako specjalnych w lasno´

sci przys luguj¸

acych innym w lasno´

sciom; zwr´

oci l uwag¸

e

na pewne zjawisko j¸

ezykowe, zwane p´

zniej intensjonalno´

sci¸

a; tw´

orca tzw. logi-

cyzmu, czyli pogl¸

adu, wed lug kt´

orego poj¸

ecia matematyczne s¸

a sprowadzalne do

(definiowalne przez) poj¸

c logiki, a w rezultacie, i˙z twierdzenia matematyczne

8

background image

a wyprowadzalne z zasad logiki.

Definicja znaczenia, denotacji i sensu wyra˙zenia wed lug G. Fregego

Znaczenie dowolnego wyra˙zenia A jest okre´

slone przez dwa komponenty:

denotacj¸

e tego wyra˙zenia: D(A) oraz sens tego wyra˙zenia: S(A).

D(A) jest obiektem, do kt´

orego wyra˙zenie A si¸

e odnosi, tzn. jest tym bytem,

dla kt´

orego A jest znakiem.

S(A) jest sposobem, w jaki denotacja wyra˙zenia A jest ustalana. Znajomo´

c

sensu wyra˙zenia jest niezb¸

ednym, cho´

c na og´

o l niewystarczaj¸

acym warunkiem

ustalenia denotacji tego wyra˙zenia.

Gdy wyra˙zenie A jest nazw¸

a, denotacja D(A) jest jej desygnatem b¸

ad´

z za-

kresem. (Frege przez nazw¸

e rozumia l takie wyra˙zenie, kt´

ore we wsp´

o lczesnej

literaturze polskiej nazywane jest ”nazw¸

a jednostkow¸

a” lub ”nazw¸

a pust¸

a o in-

tencji jednostkowej”.) Sens S(A) zazwyczaj jest uto˙zsamiany z tre´

sci¸

a nazwy

A.

Gdy wyra˙zenie A jest zdaniem, denotacja D(A) jest warto´

sci¸

a logiczn¸

a tego

zdania, czyli Prawd¸

a (1), b¸

ad´

z Fa lszem (0). Wed lug Fregego zdania oznajmuj¸

ace

odnosz¸

a si¸

e do Prawdy b¸

ad´

z Fa lszu. Sens S(A) zdania A jest my´

sl¸

a w zdaniu

A wyra˙zon¸

a, zwan¸

a inaczej s¸

adem w sensie logicznym.

Zasada kompozycyjno´

sci denotacji G. Fregego

Denotacja wyra˙zenia z lo˙zonego jest jednoznacznie okre´

slona przez denotacje

wyra˙ze´

n sk ladowych tego wyra˙zenia.

Innymi s lowy, je˙zeli W (A) jest wyra˙zeniem z lo˙zonym, w kt´

orym wyra˙zenie A

jest sk ladnikiem oraz B jest wyra˙zeniem o tej samej denotacji co wyra˙zenie A, to
wyra˙zenie W (B), powsta le przez zast¸

apienie wyra˙zenia A w W (A) wyra˙zeniem

B, ma t¸

e sam¸

a denotacj¸

e co wyra˙zenie W (A).

Przyk lady (1) W (A) := Warszawa jest stolic¸

a Polski

D(W (A)) = 1
A := Warszawa
B := najwi¸

eksze miasto w Polsce

D(A) = D(B)
W (B) := Najwi¸

eksze miasto w Polsce jest stolic¸

a Polski,

D(W (B)) = 1
D(W

1

(A

1

)) = D(W

1

(B

1

)).

(2) W

1

(A

1

) := Jest konieczne, ˙ze Warszawa jest stolic¸

a Polski

D(W

1

(A

1

)) = 0

A

1

:= Warszawa jest stolic¸

a Polski

B

1

:= Ka˙zdy kwadrat jest prostok¸

atem

D(A

1

) = D(B

1

) = 1

W

1

(B

1

) := Jest konieczne, ˙ze ka˙zdy kwadrat jest prostok¸

atem

D(W

1

(B

1

)) = 1

D(W

1

(A

1

)) 6= D(W

1

(B

1

))

9

background image

Definicja funktora ekstensjonalnego i intensjonalnego

Funktor n-argumentowy F nazywamy ekstensjonalnym, gdy dla dowolnych

jego argument´

ow A

1

, A

2

, . . . , A

n

, denotacja D(F (A

1

, A

2

, . . . , A

n

)) wyra˙zenia

z lo˙zonego F (A

1

, A

2

, . . . , A

n

), powsta lego przez do l¸

aczenie funktora F do ar-

gument´

ow A

1

, A

2

, . . . , A

n

, jest jednoznacznie okre´

slona przez denotacje D(A

1

),

D(A

2

), . . . , D(A

n

) tych argument´

ow.

Funktor nazywamy intensjonalnym, gdy nie jest on ekstensjonalny.

Zatem funktor n-argumentowy F jest intensjonalny, gdy istniej¸

a jego argu-

menty A

1

, A

2

, . . . , A

n

oraz argument B tego samego typu co argument A

i

dla

pewnego i = 1, 2, . . . , n takie, ˙ze D(B) = D(A

i

) oraz D(F (A

1

, A

2

, . . . , A

i

, . . . ,

A

n

)) 6= D(F (A

1

, A

2

, . . . , B, . . . , A

n

))

Przyk lady. Funktor “dawny” typu

n
n

jest intensjonalny:

F := dawny
A := senator Rzeczypospolitej
F (A) := dawny senator Rzeczypospolitej
B := kolega marsza lka Bogdana Borusewicza, przy czym D(A) = D(B)
F (B) := dawny kolega marsza lka Bogdana Borusewicza
D(F (A)) 6= D(F (B))

Funktor “jest konieczne, ˙ze” typu

z
z

jest intensjonalny:

F := jest konieczne, ˙ze
A := Warszawa jest stolic¸

a Polski

F (A) := Jest konieczne, ˙ze Warszawa jest stolic¸

a Polski

B := Ka˙zdy kwadrat jest prostok¸

atem

D(A) = D(B) = 1
F (B) := Jest konieczne, ˙ze ka˙zdy kwadrat jest prostok¸

atem

D(F (A)) 6= D(F (B)).

Z og´

olnej definicji funktora ekstensjonalnego otrzymujemy:

Definicj¸

e sp´

ojnika ekstensjonalnego

Sp´

ojnik n-argumentowy F jest ekstensjonalny, gdy dla dowolnych jego argu-

ment´

ow A

1

, A

2

, . . . , A

n

, warto´

c logiczna zdania F (A

1

, A

2

, . . . , A

n

) jest jednoz-

nacznie okre´

slona przez warto´

sci logiczne argument´

ow A

1

, A

2

, . . . , A

n

.

Najwa˙zniejsze sp´

ojniki ekstensjonalne:

negacja: nieprawda, ˙ze . . . (∼),

koniunkcja: . . . i . . . (∧),

alternatywa: . . . lub . . . (co najmniej jedno z dwojga . . . , . . .) (∨)

implikacja: je˙zeli . . ., to . . . (→)

ownowa˙zno´

c: . . . wtedy i tylko wtedy, gdy . . . (↔)

alternatywa roz l¸

aczna: . . . albo . . . (dok ladnie jedno z dwojga . . . , . . .) (÷)

10

background image

alternatywa Sheffera: co najwy˙zej jedno z dwojga . . . , . . . (/)

binegacja: ani nie . . . , ani nie . . . (\)

Sposoby jednoznacznego wyznaczania warto´

sci logicznej zda´

n, w kt´

orych

funktorami g l´

ownymi s¸

a niekt´

ore wymienione sp´

ojniki, w zale˙zno´

sci od warto´

sci

logicznych argument´

ow tych funktor´

ow, podane s¸

a w postaci nast¸

epuj¸

acych

tabelek:

A

∼ A

0

1

1

0

A

B

A ∧ B

0

0

0

0

1

0

1

0

0

1

1

1

A

B

A ∨ B

0

0

0

0

1

1

1

0

1

1

1

1

A

B

A → B

0

0

1

0

1

1

1

0

0

1

1

1

A

B

A ↔ B

0

0

1

0

1

0

1

0

0

1

1

1

A

B

A/B

0

0

1

0

1

1

1

0

1

1

1

0

A

B

A\B

0

0

1

0

1

0

1

0

0

1

1

0

W dalszym ci¸

agu, warto´

sci logiczne b¸

edziemy przyporz¸

adkowywa´

c formu lom

standardowego j¸

ezyka zdaniowego.

ezyk klasycznej logiki zdaniowej (standardowy j¸

ezyk zdaniowy)

S lownik jest tu zbiorem nast¸

epuj¸

acych symboli:

zmiennych zdaniowych: p

0

, p

1

, p

2

, . . .,

sp´

ojnik´

ow: ∼, ∧, ∨, →, ↔,

nawias´

ow: (, ) .

Definicja standardowego j¸

ezyka zdaniowego podaje, jakie sko´

nczone ci¸

agi

symboli ze s lownika s¸

a wyra˙zeniami tego j¸

ezyka; wyra˙zenie tego j¸

ezyka nazywane

jest formu l¸

a:

(1) ka˙zda zmienna zdaniowa (traktowana jako 1-wyrazowy ci¸

ag) jest formu l¸

a,

(2) je˙zeli sko´

nczony ci¸

ag symboli α jest formu l¸

a, to ci¸

ag postaci: ∼ α, r´

ownie˙z

jest formu l¸

a,

(3) je˙zeli ci¸

agi α, β s¸

a formu lami, to ci¸

agi postaci: (α ∧ β), (α ∨ β), (α →

β), (α ↔ β), r´

ownie˙z s¸

a formu lami,

11

background image

(4) je˙zeli ci¸

ag α jest formu l¸

a, to α jest b¸

ad´

z zmienn¸

a zdaniow¸

a, b¸

ad´

z ci¸

agiem

symboli uzyskanym z prostszych formu l na postawie zastosowania przynajmniej
jednej z regu l (2), (3).

Przyk lad.

Nast¸

epuj¸

ace ci¸

agi symboli s¸

a formu lami: (((p

0

→ p

2

) ∧ p

0

) →

p

2

), ((p

0

→ (p

2

∧ p

0

)) → p

2

). Zazwyczaj nawiasy zewn¸

etrzne pomijamy. Zatem

powy˙zsze dwie formu ly zapisujemy w postaci: ((p

0

→ p

2

) ∧ p

0

) → p

2

, (p

0

(p

2

∧ p

0

)) → p

2

.

Klasyczna logika zdaniowa

Centralnymi poj¸

eciami s¸

a tu wynikanie logiczne, tautologia (prawo logiczne),

sprzeczny zbi´

or formu l .

Definicja warto´

sciowania logicznego

Dowolne przyporz¸

adkowanie ka˙zdej zmiennej zdaniowej p dok ladnie jednej z

dwu warto´

sci logicznych: 0, 1, nazywamy warto´

sciowaniem logicznym.

Dane warto´

sciowanie mo˙zna rozszerzy´

c do przyporz¸

adkowania dok ladnie jed-

nej z dwu warto´

sci logicznych ka˙zdej formule j¸

ezyka zdaniowego, w zale˙zno´

sci od

kszta ltu tej formu ly, post¸

epuj¸

ac wed lug tabelek okre´

slaj¸

acych warto´

c logiczn¸

a

formu ly z lo˙zonej w zale˙zno´

sci od warto´

sci logicznych jej podformu l.

Tak wi¸

ec, formule negacyjnej ∼ α dowolne warto´

sciowanie przyporz¸

adkowuje

warto´

c 1 dok ladnie w´

owczas, gdy przyporz¸

adkowuje ono formule α warto´

c 0.

Formule koniunkcyjnej α ∧ β ka˙zde warto´

sciowanie przyporz¸

adkowuje war-

to´

c 1 dok ladnie w´

owczas, gdy obu formu lom α, β warto´

sciowanie to przyporz¸

ad-

kowuje warto´

c 1.

Formule postaci α ∨ β dowolne warto´

sciowanie przyporz¸

adkowuje warto´

c 0

dok ladnie wtedy, gdy obu formu lom α, β przyporz¸

adkowuje ono warto´

c 0.

Formule implikacyjnej α → β dowolne warto´

sciowanie przyporz¸

adkowuje

warto´

c 0 dok ladnie wtedy, gdy formule α warto´

sciowanie to przyporz¸

adkowuje

warto´

c 1 oraz formule β warto´

c 0.

Formule r´

ownowa˙zno´

sciowej α ↔ β ka˙zde warto´

sciowanie przyporz¸

adkowuje

warto´

c 1 dok ladnie w´

owczas, gdy przyporz¸

adkowuje ono obu formu lom α, β t¸

e

sam¸

a warto´

c logiczn¸

a.

owczas, gdy dane warto´

sciowanie przyporz¸

adkowuje danej formule warto´

c

1 (0) m´

owimy, ˙ze jest ona prawdziwa (fa lszywa) przy tym warto´

sciowaniu.

Definicje wynikania logicznego, tautologii oraz sprzecznego zbioru formu l

owimy, ˙ze formu la α wynika logicznie ze zbioru formu l Z (Z |= α), gdy α

jest prawdziwa przy ka˙zdym warto´

sciowaniu, przy kt´

orym prawdziwe s¸

a wszys-

tkie formu ly ze zbioru Z.

owimy, ˙ze formu la α jest tautologi¸

a (jest prawem logicznym lub jest lo-

gicznie oprawdziwa), gdy ka˙zde warto´

sciowanie przyporz¸

adkowuje jej warto´

c

12

background image

1.

Zbi´

or formu l nazywamy niesprzecznym, gdy istnieje warto´

sciowanie, kt´

ore

ka˙zdej formule z tego zbioru przyporz¸

adkowuje warto´

c 1. Zbi´

or formu l, kt´

ory

nie jest niesprzeczny nazywamy sprzecznym.

Przy sprawdzaniu wynikania logicznego, logicznej prawdziwo´

sci lub sprzecz-

no´

sci zbioru formu l wykonujemy czynno´

sci dw´

och typ´

ow: korzystamy z informa-

cji o warto´

sci logicznej formu ly przy danym warto´

sciowaniu, b¸

ad´

z wykazujemy,

˙ze formu la jest prawdziwa lub fa lszywa przy danym warto´

sciowaniu. Zgodnie

z warunkami prawdziwo´

sci formu l przy danym warto´

sciowaniu (czyli zgodnie z

tabelkami okre´

slaj¸

acymi znaczenia standardowych sp´

ojnik´

ow) wyr´

o˙zni´

c mo˙zna

nast¸

epuj¸

ace sposoby (regu ly) korzystania z prawdziwo´

sci (K1) lub fa lszywo´

sci

(K0) formu l przy danym warto´

sciowaniu (nad poziom¸

a lini¸

a podawana jest

dana informacja, z kt´

orej si¸

e korzysta, pod t¸

a lini¸

a wyst¸

epuje wyra˙zenie (lub

wyra˙zenia), kt´

ore dzi¸

eki tej informacji mo˙zna do dowodu wpisa´

c):

(K1 ∼)

(K0 ∼)

∼ α jest 1 przy v

∼ α jest 0 przy v

α jest 0 przy v

α jest 1 przy v

(K1∧)

(K0∨)

α ∧ β jest 1 przy v

α ∨ β jest 0 przy v

α jest 1 przy v

α jest 0 przy v

β jest 1 przy v

β jest 0 przy v

(K0 ∧ (a))

(K1 ∨ (a))

α ∧ β jest 0 przy v

α ∨ β jest 1 przy v

α jest 0 przy v (za lo˙zenie)

α jest 1 przy v (za lo˙zenie)

..

.

..

.

cel

cel

β jest 0 przy v (za lo˙zenie)

β jest 1 przy v (za lo˙zenie)

..

.

..

.

cel

cel

(K0 ∧ (b))

(K1 ∨ (b))

α ∧ β jest 0 przy v

α ∨ β jest 1 przy v

α jest 1 przy v

α jest 0 przy v

β jest 0 przy v

β jest 1 przy v

13

background image

(K0 ∧ (c))

(K1 ∨ (c))

α ∧ β jest 0 przy v

α ∨ β jest 1 przy v

β jest 1 przy v

β jest 0 przy v

α jest 0 przy v

α jest 1 przy v

(K1 → (a))

α → β jest 1 przy v

α jest 1 przy v
β jest 1 przy v

(K1 → (b))

α → β jest 1 przy v

β jest 0 przy v
α jest 0 przy v

(K1 → (c))

α → β jest 1 przy v

∼ α ∨ β jest 1 przy v

(K0 →)

α → β jest 0 przy v

α jest 1 przy v
β jest 0 przy v

(K1 ↔)

α ↔ β jest 1 przy v
α → β jest 1 przy v
β → α jest 1 przy v

(K0 ↔)

α ↔ β jest 0 przy v

(α → β) ∧ (β → α) jest 0 przy v

Z kolei wyr´

o˙zniamy nast¸

epuj¸

ace sposoby wykazywania prawdziwo´

sci (W 1)

lub fa lszywo´

sci (W 0) formu l przy danym warto´

sciowaniu:

(W 1 ∼)

(W 0 ∼)

wyka˙z: α jest 0 przy v

wyka˙z: α jest 1 przy v

cel: ∼ α jest 1 przy v

cel: ∼ α jest 0 przy v

14

background image

(W 1∧)

(W 0∨)

wyka˙z: α jest 1 przy v

wyka˙z: α jest 0 przy v

wyka˙z: β jest 1 przy v

wyka˙z: β jest 0 przy v

cel: α ∧ β jest 1 przy v

cel: α ∨ β jest 0 przy v

(W 0 ∧ (a))

(W 1∨)(a)

wyka˙z: α jest 0 przy v

wyka˙z: α jest 1 przy v

cel: α ∧ β jest 0 przy v

cel: α ∨ β jest 1 przy v

(W 0 ∧ (b))

(W 1∨)(b)

wyka˙z: β jest 0 przy v

wyka˙z: β jest 1 przy v

cel: α ∧ β jest 0 przy v

cel: α ∨ β jest 1 przy v

(W 0 ∧ (c))

(W 1∨)(c)

wyka˙z: α → ∼ β jest 1 przy v

wyka˙z: ∼ α → β jest 1 przy v

cel: α ∧ β jest 0 przy v

cel: α ∨ β jest 1 przy v

(W 1 → (a))

za l´

o˙z: α jest 1 przy v

i wyka˙z: β jest 1 przy v

cel: α → β jest 1 przy v

(W 1 → (b))

za l´

o˙z: β jest 0 przy v

i wyka˙z: α jest 0 przy v

cel: α → β jest 1 przy v

(W 1 → (c))

wyka˙z: ∼ α ∨ β jest 1 przy v

cel: α → β jest 1 przy v

(W 0 →)

wyka˙z: α jest 1 przy v
wyka˙z: β jest 0 przy v

cel: α → β jest 0 przy v

15

background image

(W 1 ↔)

wyka˙z: α → β jest 1 przy v
wyka˙z: β → α jest 1 przy v

cel: α ↔ β jest 1 przy v

(W 0 ↔)

wyka˙z: (α → β) ∧ (β → α) jest 0 przy v

cel: α ↔ β jest 0 przy v

Przyk lady (1) Wykazujemy, ˙ze {∼ (p ∧ q)} |= ∼ p ∨ ∼ q:

rozwa˙zmy dowolne warto´

sciowanie v,

(1) ∼ (p ∧ q) jest 1 przy v (za lo˙zenie),
(2) p ∧ q jest 0 przy v z (1), (K1 ∼),

teraz stosujemy (K0 ∧ (a)):

(3) p jest 0 przy v (za lo˙zenie)
(4) ∼ p jest 1 przy v z (3), (W 1 ∼),
(5) ∼ p ∨ ∼ q jest 1 przy v, (W 1 ∨ (a))
(6) q jest 0 przy v (za lo˙zenie)
(7) ∼ q jest 1 przy v z (6), (W 1 ∼)
(8) ∼ p ∨ ∼ q jest 1 przy v z (7), (W 1 ∨ (b))

(2) Wykazujemy nie wprost, ˙ze {∼ p ∨ ∼ q} |= ∼ (p ∧ q):

(1) {∼ p ∨ ∼ q} 6|= ∼ (p ∧ q) (za lo˙zenie),
istnieje warto´

sciowanie v takie, ˙ze

(2) ∼ p ∨ ∼ q jest 1 przy v z (1),
(3) ∼ (p ∧ q) jest 0 przy v z (1),
(4) p ∧ q jest 1 przy v z (3), (K0 ∼),
(5) p jest 1 przy v z (4), (K1∧),
(6) q jest 1 przy v z (4), (K1∧),
(7) ∼ p jest 0 przy v z (5), (W 0 ∼),
(8) ∼ q jest 1 przy v z (2), (7), (K1 ∨ (b)),
(9) q jest 0 przy v z (8), (K1 ∼),
absurd (6), (9).

(3) Wykazujemy, ˙ze {p → q, ∼ q} 6|= p w taki spos´

ob, jak chcieliby´

smy dowie´

c

nie wprost, i˙z {p → q, ∼ q} |= p.

Naszym celem jest wskazanie takiego

warto´

sciowania v, przy kt´

orym formu ly p → q, ∼ q s¸

a prawdziwe, za´

s formu la p

jest fa lszywa.

(1) {p → q, ∼ q} 6|= p (za lo˙zenie)
istnieje warto´

sciowanie v takie, ˙ze

(2) p → q jest 1 przy v z (1),
(3) ∼ q jest 1 przy v z (1),

16

background image

(4) p jest 0 przy v z (1),
(5) q jest 0 przy v z (3), (K1 ∼).

W ten spos´

ob wykazali´

smy, i˙z je˙zeli wynikania tu nie ma, tzn. je˙zeli dla

pewnego warto´

sciowania v wszystkie formu ly w naszym zbiorze s¸

a prawdziwe,

za´

s formu la, kt´

ora nie wynika logicznie jest przy v fa lszywa, to warto´

sciowanie

to ma posta´

c: v(p) = 0, v(q) = 0. Latwo sprawdzi´

c (przy u˙zyciu tabelek), i˙z

na odwr´

ot, przy tak okre´

slonym warto´

sciowaniu v, obie formu ly w zbiorze s¸

a

prawdziwe, za´

s formu la nie wynikaj¸

aca jest fa lszywa.

(4) Formu la ((p → r) ∨ (q → r)) → ((p ∧ q) → r) jest tautologi¸

a:

rozwa˙zmy dowolne warto´

sciowanie v,

aby wykaza´

c prawdziwo´

c tej formu ly przy warto´

sciowaniu v stosujemy dwukrot-

nie (W 1 → (a)):

(1) (p → r) ∨ (q → r) jest 1 przy v (za lo˙zenie),

obecnie celem dowodu jest wykazanie, i˙z formu la (p ∧ q) → r jest prawdziwa

przy v. Stosujemy wi¸ec drugi raz (W 1 → (a)):

(2) p ∧ q jest 1 przy v (za lo˙zenie),

teraz celem dowodu jest wykazanie prawdziwo´

sci r przy v:

(3) p jest 1 przy v z (2), (K1∧)
(4) q jest 1 przy v z (2), (K1∧),

stosujemy (K1 ∨ (a)):

(5) p → r jest 1 przy v (za lo˙zenie)
(6) r jest 1 przy v z (5), (3), (K1 → (a)),
(7) q → r jest 1 przy v (za lo˙zenie)
(8) r jest 1 przy v z (7), (4), (K1 → (a)).

(5) Wykazujemy niewprost, ˙ze formu la ((p ∧ q) → r) → ((p → r) ∨ (q → r))
jest tautologi¸

a:

(1) ((p ∧ q) → r) → ((p → r) ∨ (q → r)) nie jest tautologi¸

a (za lo˙zenie)

istnieje warto´

sciowanie v takie, ˙ze

(2) ((p ∧ q) → r) → ((p → r) ∨ (q → r)) jest 0 przy v z (1)
(3) (p ∧ q) → r jest (1) przy v z (2), (K0 →)
(4) (p → r) ∨ (q → r) jest 0 przy v z (2) (K0 →)
(5) p → r jest 0 przy v z (4), (K0∨),
(6) q → r jest 0 przy v z (4), (K0∨),
(7) p jest 1 przy v z (5), (K0 →),
(8) r jest 0 przy v z (5), (K0 →),
(9) q jest 1 przy v z(6), (K0 →),
(10) p ∧ q jest 1 przy v z (7),(9), (W 1∧),

17

background image

(11) r jest 1 przy v z (3),(10), (K1 → (a)),
absurd (8), (11).

(6) Wykazujemy, ˙ze formu la ((p → r) ∨ (q → r)) → ((p ∧ q) → ∼ r) nie
jest tautologi¸

a w taki spos´

ob, jak chcieliby´

smy dowie´

c nie wprost, i˙z jest ona

tautologi¸

a. Naszym celem jest wskazanie takiego warto´

sciowania v, przy kt´

orym

formu la jest fa lszywa.

(1) ((p → r) ∨ (q → r)) → ((p ∧ q) → ∼ r) nie jest tautologi¸

a (za lo˙zenie)

istnieje warto´

sciowanie v takie, ˙ze

(2) ((p → r) ∨ (q → r)) → ((p ∧ q) → ∼ r) jest 0 przy v z (1),
(3) (p → r) ∨ (q → r) jest 1 przy v z (2), (K0 →),
(4) (p ∧ q) → ∼ r jest 0 przy v z (2), (K0 →),
(5) p ∧ q jest 1 przy v z (4), (K0 →),
(6) ∼ r jest 0 przy v z (4), (K0 →),
(7) r jest 1 przy v z (6), (K0 ∼),
(8) p jest 1 przy v z (5), (K1∧),
(9) q jest 1 przy v z (5), (K1∧),

W ten spos´

ob wykazali´

smy, ˙ze je˙zeli formu la nie jest tautologi¸

a, tzn. przy

pewnym warto´

sciowaniu v jest fa lszywa, to warto´

sciowanie to ma posta´

c: v(p) =

v(q) = v(r) = 1. Latwo sprawdzi´

c (przy u˙zyciu tabelek), i˙z na odwr´

ot, przy tak

okre´

slonym warto´

sciowaniu v, formu la jest fa lszywa.

(7) Wykazujemy nie wprost, ˙ze zbi´

or formu l {p ∨ ∼ q, r → q, ∼ (s ∧ ∼ r), s ∧ ∼

p} jest sprzeczny.

(1) zbi´

or {p ∨ ∼ q, r → q, ∼ (s ∧ ∼ r), s ∧ ∼ p} jest niesprzeczny (za lo˙zenie),

istnieje warto´

sciowanie v takie, ˙ze

(2) p ∨ ∼ q jest 1 przy v z (1),
(3) r → q jest 1 przy v z (1),
(4) ∼ (s ∧ ∼ r) jest 1 przy v z (1),
(5) s ∧ ∼ p jest 1 przy v z (1),
(6) s ∧ ∼ r jest 0 przy v z (4) (K1 ∼),
(7) s jest 1 przy v z (5), (K1∧),
(8) ∼ p jest 1 przy v z (5), (K1∧),
(9) p jest 0 przy v z (8), (K1 ∼),
(10) ∼ q jest 1 przy v z (2),(9), (K1 ∨ (b)),
(11) q jest 0 przy v z (10), (K1 ∼),
(12) r jest 0 przy v z (3),(11), (K1 → (b)),
(13) ∼ r jest 0 przy v z (6),(7), (K0 ∧ (b)),
(14) r jest 1 przy v z (13), (K0 ∼),
absurd (12), (14).

(8) Wykazujemy, ˙ze zbi´

or formu l {p → q, r → p, r → ∼ q} jest niesprzeczny w

taki spos´

ob, jak chcieliby´

smy dowie´

c nie wprost, ˙ze jest on sprzeczny. Naszym

celem jest wskazanie takiego warto´

sciowania v, przy kt´

orym ka˙zda formu la z

tego zbioru jest prawdziwa.

18

background image

(1) {p → q, r → p, r → ∼ q} jest niesprzeczny (za lo˙zenie),
istnieje warto´

sciowanie v takie, ˙ze

(2) p → q jest 1 przy v z (1),
(3) r → p jest 1 przy v z (1),
(4) r → ∼ q jest 1 przy v z (1),
(5) ∼ p ∨ q jest 1 przy v z (2), (K1 → (c)),
(6) ∼ p jest 1 przy v (za lo˙zenie)
(7) p jest 0 przy v z (6), (K1 ∼),
(8) r jest 0 przy v z (3),(7), (K1 → (b)),

W ten spos´

ob wykazali´

smy, ˙ze je˙zeli zbi´

or formu l jest niesprzeczny, tzn.

przy pewnym warto´

sciowaniu v ka˙zda formu la z tego zbioru jest prawdziwa, a

ponadto spe lnione jest za lo˙zenie (6), to warto´

sciowanie to ma posta´

c: v(p) =

v(r) = 0, pozosta lym zmiennym v przyporz¸

adkowuje dowolne warto´

sci ze zbioru

{0, 1}. Latwo sprawdzi´c, i˙z na odwr´

ot, przy tak okre´

slonym warto´

sciowaniu v,

wszystkie formu ly ze zbioru s¸

a prawdziwe.

Operatory

Poza zdaniami, nazwami i funktorami, wyr´

o˙znia si¸

e jeszcze kategorie opera-

torowe. Aby zdefiniowa´

c poj¸

ecie operatora zacznijmy od nast¸

epuj¸

acych definicji:

Definicje funkcji zdaniowej i nazwowej

Funkcja zdaniowa [nazwowa] dla j¸

ezyka naturalnego, to wyra˙zenie zawie-

raj¸

ace zmienne okre´

slonych typ´

ow (np. zmienne przebiegaj¸

ace zdania, b¸

ad´

z

zmienne dla nazw indywidualnych, b¸

ad´

z zmienne dla nazw generalnych), kt´

ore

w rezultacie podstawienia w nim w miejsce zmiennych wyra˙ze´

n z j¸

ezyka natural-

nego odpowiednio tych samych typ´

ow co typy tych zmiennych, staje si¸

e zdaniem

(prawdziwym lub fa lszywym) [nazw¸

a].

Na przyk lad wyra˙zenie ”x jest cz lowiekiem”, jest funkcj¸

a zdaniow¸

a, w kt´

orej

wyst¸

epuje zmienna x dla nazw indywidualnych; wyra˙zenie ”x + x” jest funkcj¸

a

nazwow¸

a, w kt´

orej wyst¸

epuje zmienna dla nazw indywidualnych; wyra˙zenie

”ka˙zde S jest M ” jest funkcj¸

a zdaniow¸

a, w kt´

orej S, M s¸

a zmiennymi dla nazw

generalnych; wyra˙zenie ”A i B” jest funkcj¸

a zdaniow¸

a, w kt´

orej A, B s¸

a zmien-

nymi dla zda´

n.

Wyra˙zenie: ”dla ka˙zdego x, je˙zeli x jest cz lowiekiem, to x jest ´

smiertelny”,

nie jest funkcj¸

a zdaniow¸

a, je´

sli x jest zmienn¸

a dla nazw indywidualnych. Jest

ono zdaniem. Wyra˙zenie: ”{x : x jest liczb¸

a rzeczywist¸

a i x + 2 > 4}”, mimo, ˙ze

wyst¸

epuje w nim zmienna (dla nazw indywidualnych) nie jest funkcj¸

a nazwow¸

a,

lecz jest nazw¸

a (zbioru). Podobnie wyra˙zenie ”

R xdx” nie jest funkcj¸a nazwow¸a,

lecz jest nazw¸

a (funkcji).

Wyra˙zenia takie jak: ”dla ka˙zdego x”, ”{x : }”, ”

R

dx” r´

ownie˙z nie s¸

a ani

funkcjami zdaniowymi, ani nazwowymi, cho´

c wyst¸

epuj¸

a w nich zmienne. Wy-

ra˙zenia te nie s¸

a jednak ani zdaniami, ani nazwami, ani funktorami. Nazywane

a operatorami.

19

background image

Definicja operatora

Operator jest to wyra˙zenie zawieraj¸

ace zmienn¸

a, kt´

ore po do l¸

aczeniu do

funkcji zdaniowej b¸

ad´

z nazwowej, w kt´

orej ta zmienna wyst¸

epuje, tworzy wraz

z ni¸

a zdanie b¸

ad´

z nazw¸

e.

Niekt´

ore typy syntaktyczne operator´

ow:

z

|z

jest wska´

znikiem kategorii operator´

ow zdaniotw´

orczych, kt´

orych argu-

mentem jest funkcja zdaniowa,

n

|n

jest wska´

znikiem kategorii operator´

ow nazwotw´

orczych, kt´

orych argu-

mentem jest funkcja nazwowa,

n

|z

jest wska´

znikiem kategorii operator´

ow nazwotw´

orczych, kt´

orych argu-

mentem jest funkcja zdaniowa.

Przyk lady.

dla ka˙zdego x, dla pewnego x:

z

|z

,

R

dx:

n

|n

,

{x : }:

n

|z

.

ezyk logiki kwantyfikator´

ow

S lownik:
zmienne nazwowe: x

1

, x

2

, . . .,

sp´

ojniki: ∼, ∧, ∨, →, ↔,

kwantyfikatory:
du˙zy, og´

olny lub uniwersalny: ∀ (dla ka˙zdego),

ma ly, szczeg´

o lowy lub egzystencjalny: ∃ (dla pewnego)

predykat identyczno´

sci: =, (2-argumentowy)

sta le nazwowe: c

1

, c

2

, . . . , c

k

, k ≥ 0

predykaty: P

1

, P

2

, . . . , P

n

, n ≥ 0 (1- i 2-argumentowe)

nawiasy i przecinek: (,) , .

Definicja termu nazwowego

Dowoln¸

a zmienn¸

a lub sta l¸

a nazwow¸

a nazywamy termem (nazwowym).

Dysponuj¸

ac definicj¸

a termu mo˙zna sformu lowa´

c

Definicj¸

e zbioru formu l

(1) Je˙zeli t, s s¸

a termami, to ci¸

ag symboli: t = s jest formu l¸

a.

(2) Je˙zeli t jest termem oraz P jest 1-argumentowym predykatem, to ci¸

ag

P (t) jest formu l¸

a.

(3) Je˙zeli t, s s¸

a termami oraz P jest 2-argumentowym predykatem, to ci¸

ag:

P (t, s) jest formu l¸

a.

(4) Je˙zeli α jest formu l¸

a, to ∼ α jest formu l¸

a.

20

background image

(5) Je˙zeli α, β s¸

a formu lami, to ci¸

agi: (α ∧ β), (α ∨ β), (α → β), (α ↔ β) s¸

a

formu lami.

(6) Je˙zeli x jest zmienn¸

a nazwow¸

a oraz α jest formu l¸

a, to ci¸

agi: ∀xα, ∃xα

a formu lami.

(7) Je˙zeli ci¸

ag symboli α jest formu l¸

a, to α jest jednej z postaci podanych w

warunkach (1) - (6).

Formu ly, kt´

orych postacie zosta ly wymienione w (1), (2), (3) nazywane s¸

a

formu lami atomowymi.

Definicje

owimy, ˙ze w formule ∀xα kwantyfikator ∀ wi¸

a˙ze zmienn¸

a x, za´

s formu l¸

e α

nazywamy zasi¸

egiem tego kwantyfikatora. Analogicznie dla formu ly ∃xα.

Ka˙zde pojawienie si¸

e nie bezpo´

srednio po kwantyfikatorze danej zmiennej x

w danej formule α nazywamy wyst¸

epowaniem zmiennej x w α.

Wyst¸

epowanie zmiennej x w formule β nazywamy wolnym, gdy nie jest ono

w zasi¸

egu ˙zadnego kwantyfikatora wi¸

a˙z¸

acego t¸

e zmienn¸

a.

owimy, ˙ze zmienna x jest wolna w formule β, gdy zmienna ta ma w tej

formule przynajmniej jedno wolne wyst¸

epowanie.

Formu l¸

e nazywamy domkni¸

et¸

a (lub zdaniem), gdy nie wyst¸

epuje w niej

zmienna wolna.

Przyk lad. W formule: ∀xP

1

(x, y)∧P

2

(x), zmienne x, y s¸

a wolne, natomiast

w formule ∀xP

1

(x, y) tylko zmienna y jest wolna. Formu la ∃y∀xP

1

(x, y) jest

zdaniem.

Zasady zapisu schemat´

ow w j¸

ezyku logiki kwantyfikator´

ow dla zda´

n

z j¸

ezyka naturalnego

Niech A b¸

edzie dowolnym zdaniem oznajmuj¸

acym z j¸

ezyka polskiego. Na-

szym celem jest zapisanie formu ly domkni¸

etej w j¸

ezyku logiki kwantyfikator´

ow,

ukazuj¸

acej “struktur¸

e logiczn¸

a” zdania A, nazywanej z tego powodu, schematem

zdania A.

1) Ka˙zdej nazwie indywidualnej wyst¸

epuj¸

acej w zdaniu A odpowiada w jego

schemacie sta la nazwowa (r´

o˙znym nazwom odpowiadaj¸

a r´

o˙zne sta le).

2) ˙

Zadna nazwa generalna S wyst¸

epuj¸

aca w zdaniu A nie ma odpowiednika w

jego schemacie, lecz 1-argumentowemu predykatowi postaci jest S, powsta lemu
przez do l¸

aczenie do nazwy S wyra˙zenia jest, odpowiada w schemacie zdania A

1-argumentowy predykat ze s lownika j¸

ezyka logiki kwantyfikator´

ow.

3) Ka˙zdemu 1- i 2-argumentowemu predykatowi wyst¸

epuj¸

acemu w zdaniu

A odpowiada w schemacie tego zdania odpowiednio 1- b¸

ad´

z 2-argumentowy

predykat ze s lownika (r´

o˙znym predykatom z j¸

ezyka polskiego odpowiadaj¸

a r´

o˙zne

predykaty ze s lownika)

21

background image

4) Je˙zeli w A wyst¸

epuj¸

a kwantyfikatory (ka˙zdy, ˙zaden, wszystkie, pewne,

niekt´

ore, to dokonujemy jego rozk ladu na g l´

owny kwantyfikator i funkcj¸

e zda-

niow¸

a, kt´

ora jest jego argumentem, nast¸

epnie rozk ladamy t¸

e funkcj¸

e zdaniow¸

a

na jej g l´

owny kwantyfikator i jego argument itd., a˙z oznaczymy wszystkie funkcje

zdaniowe, w kt´

orych ju˙z nie wyst¸

epuje kwantyfikator.

5) Funkcjom zdaniowym, w kt´

orych nie wyst¸

epuj¸

a kwantyfikatory, otrzy-

manym wed lug zasady 4), odpowiadaj¸

a w schemacie zdania A, formu ly ato-

mowe.

Przyk lady. Schematami zda´

n: Ja´

s kocha Ma lgosi¸

e, Ma lgosia kocha Jasia s¸

a

odpowiednio formu ly atomowe: K(j, m), K(m, j), gdzie K jest predykatem ze
s lownika odpowiadaj¸

acym predykatowi kocha oraz j, m s¸

a sta lymi nazwowymi

odpowiadaj¸

acymi odpowiednio nazwom indywidualnym Ja´

s, Ma lgosia.

Schematami zda´

n Ja´

s kocha wszystkich ludzi, Ja´

s kogo´

s kocha, s¸

a odpowied-

nio formu ly: ∀x(C(x) → K(j, x)), ∃x(C(x) ∧ K(j, x)), gdzie C jest predykatem
ze s lownika odpowiadaj¸

acym predykatowi: jest cz lowiekiem.

Semantyka dla j¸

ezyka I rz¸

edu (kwantyfikatorowego

Naszym celem jest obecnie zdefiniowanie dw´

och poj¸

c: interpretacji j¸

ezyka

kwantyfikatorowego oraz prawdziwo´

sci, wzgl¸

ednie fa lszywo´

sci zdania w danej

interpretacji. Dysponuj¸

ac poj¸

eciem prawdziwo´

sci zdania w danej interpretacji

mo˙zna b¸

edzie wprowadzi´

c centralne poj¸

ecie wynikania logicznego, a nast¸

epnie

tautologii oraz sprzecznego zbioru zda´

n.

Definicje

Niech D b¸

edzie dowolnym niepustym zbiorem (klas¸

a, mnogo´

sci¸

a) obiekt´

ow.

Przypominany, ˙ze dowolny zbi´

or, kt´

orego ka˙zdy element nale˙zy do zbioru D

nazywamy podzbiorem zbioru D.

Dowolny zbi´

or dwuwyrazowych ci¸

ag´

ow element´

ow zbioru D nazywamy re-

lacj¸

a binarn¸

a na zbiorze D.

Na formaln¸

a semantyk¸

e dla j¸

ezyka kwantyfikatorowego sk ladaj¸

a si¸

e jego in-

terpretacje:

Definicja interpretacji

Przez interpretacj¸

e j¸

ezyka I rz¸

edu wyznaczonego przez sta le nazwowe: c

1

, . . . ,

c

k

, oraz predykaty P

1

, . . . , P

n

, rozumiemy nast¸

epuj¸

acy uk lad:

I = (D, c

1

, . . . , c


k

, P

1

, . . . , P

n

), gdzie

(1) D jest dowolnym niepustym zbiorem, zwanym dziedzin¸

a interpretacji,

(2) dla ka˙zdego j = 1, . . . , k : c


j

∈ D jest wyr´

o˙znionym elementem zbioru

D (kt´

orego nazw¸

a w definiowanej interpretacji jest sta la c

j

),

(3)

dla ka˙zdego j = 1, . . . , n :

P

j

jest albo podzbiorem zbioru D, gdy

nazywaj¸

acy go predykat P

j

jest 1-argumentowy, albo jest relacj¸

a binarn¸

a na

zbiorze D, gdy P

j

jest 2-argumentowy.

22

background image

Aby zdefiniowa´

c poj¸

ecie prawdziwo´

sci formu ly domkni¸

etej w interpretacji I

rozszerzamy przy ustalonej interpretacji I zbi´

or sta lych nazwowych {c

1

, . . . , c

k

}

o nowe sta le a

d

, d ∈ D. W ten spos´

ob dla danej interpretacji I ulega rozszerzeniu

zbi´

or formu l tego j¸

ezyka I rz¸

edu, kt´

orego I jest interpretacj¸

a, w szczeg´

olno´

sci

jego zbi´

or zda´

n. B¸

edziemy definiowa´

c prawdziwo´

c w interpretacji I dla zda´

n z

tego szerszego zbioru.

Ka˙zda interpretacja wyznacza tzw.

waluacj¸

e term´

ow domkni¸

etych, czyli

przyporz¸

adkowanie ka˙zdemu termowi domkni¸

etemu pewnego elementu z dzie-

dziny tej interpretacji (nieformalnie: elementu nazywanego tym termem w tej
interpretacji), jak nast¸

epuje:

(a) |c

j

| = c


j

, j = 1, . . . , k,

(b) |a

d

| = d, d ∈ D.

Definicja prawdziwo´

sci formu ly domkni¸

etej w interpretacji I

Dla dowolnych sta lych a, b rozszerzonego j¸

ezyka oraz dowolnych 1-argumen-

towego predykatu P i 2-argumentowego predykatu Q:

(1) a = b jest prawdziwa w I wtw |a|, |b| s¸

a jednym i tym samym obiektem,

(2) P (a) jest prawdziwa w I wtw |a| ∈ P

,

(3) Q(a, b) jest prawdziwa w I wtw (|a|, |b|) ∈ Q

,

dla dowolnych formu l domkni¸

etych α, β:

(4) ∼ α jest prawdziwa w I wtw α nie jest prawdziwa w I,

(5) α ∧ β jest prawdziwa w I wtw obie formu ly: α, β, s¸

a prawdziwe w I,

(6) α ∨ β jest prawdziwa w I wtw przynajmniej jedna z formu l: α, β, jest

prawdziwa w I,

(7) α → β jest prawdziwa w I wtw α nie jest prawdziwa w I lub β jest

prawdziwa w I,

(8) α ↔ β jest prawdziwa w I wtw obie formu ly: α, β, s¸

a prawdziwe w I,

ad´

z obie te formu ly nie s¸

a prawdziwe w I

dla dowolnej formu ly α z co najwy˙zej jedn¸

a zmienn¸

a woln¸

a, kt´

or¸

a jest

zmienna x:

(9) ∀xα jest prawdziwa w I wtw dla ka˙zdego elementu d ∈ D:

formu la

α[x/a

d

] jest prawdziwa w I,

(10) ∃xα jest prawdziwa w I wtw dla pewnego elementu d ∈ D: formu la

α[x/a

d

] jest prawdziwa w I,

gdzie α[x/a

d

] jest formu l¸

a uzyskan¸

a z formu ly α przez zast¸

apienie w niej

ka˙zdego wolnego wyst¸

epowania zmiennej x sta l¸

a a

d

.

Na podstawie definicji prawdziwo´

sci formu l og´

olnych i szczeg´

o lowych w danej

23

background image

interpretacji, mo˙zna sformu lowa´

c nast¸

epuj¸

ace regu ly (sposoby) korzystania z

informacji o prawdziwo´

sci lub fa lszywo´

sci w danej interpretacji tych formu l:

(K1∀)

(K0∃)

∀xα jest 1 w I

∃xα jest 0 w I

α[x/a] jest 1 w I

α[x/a] jest 0 w I

gdzie a jest dowoln¸

a sta l¸

a nazwow¸

a spo´

sr´

od c

1

, . . . , c

k

, b¸

ad´

z sta lych a

d

, d ∈ D

(K0∀)

(K1∃)

∀xα jest 0 w I

∃xα jest 1 w I

α[x/a] jest 0 w I dla pewnego a

α[x/a] jest 1 w I dla pewnego a

a jest tu niewyspecyfikowan¸

a sta l¸

a nazwow¸

a spo´

sr´

od sta lych a

d

, d ∈ D i tak¸

a,

kt´

ora wcze´

sniej w dowodzie nie pojawi la si¸

e

Sposoby wykazywania prawdziwo´

sci lub fa lszywo´

sci w danej interpretacji

formu l og´

olnych i szczeg´

o lowych:

(W 1∀)

(W 0∃)

rozwa˙zmy dowolne a

rozwa˙zmy dowolne a

wyka˙z: α[x/a] jest 1 w I

wyka˙z: α[x/a] jest 0 w I

cel: ∀xα jest 1 w I

cel: ∃xα jest 0 w I

a jest tu dowoln¸

a niewyspecyfikowan¸

a sta l¸

a nazwow¸

a (tzn. nie wiemy jaki

obiekt z dziedziny interpretacji I jest przez ni¸

a nazywany) spo´

sr´

od sta lych

a

d

, d ∈ D

(W 0∀)

(W 1∃)

wyka˙z: α[x/a] jest 0 w I

wyka˙z: α[x/a] jest 1 w I

cel: ∀xα jest 0 w I

cel: ∃xα jest 1 w I

a jest tu jak¸

akolwiek sta l¸

a nazwow¸

a spo´

sr´

od c

1

, . . . , c

k

, b¸

ad´

z sta lych a

d

, d ∈ D

Wynikanie loguiczne, tautologia, sprzeczny zbi´

or zda´

n w logice

kwantyfikator´

ow

Centralnym poj¸

eciem semantycznym jest tu wynikanie logiczne lub inaczej

relacja konsekwencji logicznej.

Definicja wynikania logicznego

owimy, ˙ze zdanie α wynika logicznie ze zbioru zda´

n Z ustalonego j¸

ezyka

kwantyfikatorowego (Z |= α), gdy α jest prawdziwe w ka˙zdej interpretacji, w
kt´

orej prawdziwe jest ka˙zde zdanie ze zbioru Z.

Przyk lady (1) Zdanie ∃xQ(x, c) wynika logicznie ze zbioru zda´

n:

{∃x∀y(P (y, x) → Q(x, y)), ∀xP (c, x)}.

24

background image

Rozwa˙zmy bowiem dowoln¸

a interpretacj¸

e I = (D, c

, P

, Q

) i za l´

o˙zmy, ˙ze

(1) ∃x∀y(P (y, x) → Q(x, y)) jest 1 w I,
(2) ∀xP (c, x) jest 1 w I,

owczas:

(3) ∀y(P (y, a) → Q(a, y)) jest 1 w I dla pewnej sta lej a z (1), (K1∃),
(4) P (c, a) → Q(a, c) jest 1 w I z (3), (K1∀),
(5) P (c, a) jest 1 w I z (2), (K1∀),
(6) Q(a, c) jest 1 w I z (4),(5), (K1 →)(a),
∃xQ(x, c) jest 1 w I z (6), (W 1∃).

(2) Zdanie (1) ∃x(P

1

(x)∧ ∼ Q(x, x)) nie wynika logicznie ze zbioru zda´

n:

{(2) ∃x(P

2

(x) ∧ ∀y(P

1

(y) → ∼ Q(x, y))), (3) ∀x(P

1

(x) → P

2

(x))}.

Aby to wykaza´

c, nale˙zy wskaza´

c tak¸

a interpretacj¸

e I = (D, P

1

, P

2

, Q

), w

kt´

orej zdania (2), (3) s¸

a prawdziwe, natomiast zdanie (1) jest fa lszywe. Po l´

o˙zmy:

D = zbi´

or liczb naturalnych N ,

P

1

= zbi´

or liczb naturalnych parzystych,

P

2

= N, Q

= {(i, i) : i ∈ N } (relacja identyczno´

sci na N ).

W I zdanie (1) jest fa lszywe: nie istnieje liczba naturalna, kt´

ora jest parzysta

i r´

o˙zna od siebie samej. Poniewa˙z np. liczba 1 jest naturalna i ka˙zda liczba

parzysta naturalna jest od niej r´

o˙zna, wi¸

ec prawdziwe w I jest zdanie (2).

Oczywi´

scie ka˙zda liczba naturalna parzysta jest liczb¸

a naturaln¸

a, dlatego praw-

dziwe w I jest zdanie (3).

Definicja tautologii

Zdanie α danego j¸

ezyka I rz¸

edu nazywamy tautologi¸

a, gdy α jest prawdziwe

w ka˙zdej interpretacji dla tego j¸

ezyka.

Przyk lady (1) Zdanie: ∃x∀yQ(x, y) → ∀y∃xQ(x, y), jest tautologi¸

a.

Rozwa˙zmy bowiem dowoln¸

a interpretacj¸

e I = (D, Q

). Naszym celem jest

wykazanie prawdziwo´

sci tego zdania w I. Na podstawie (W 1 →)(a) za l´

o˙zmy,

˙ze

(1) ∃x∀yQ(x, y) jest 1 w I.

Na mocy (W 1∀) niech a b¸

edzie sta l¸

a nazywaj¸

ac¸

a dowolnie wybrany obiekt

z dziedziny D. W´

owczas:

(2) ∀yQ(b, y) jest prawdziwa w I dla pewnej sta lej b z (1), (K1∃),
(3) Q(b, a) jest 1 w I z (2) (K1∀),
∃xQ(x, a) jest 1 w I z (3), (W 1∃),

co, na mocy (W 1∀), dowodzi prawdziwo´

sci zdania: ∀y∃xQ(x, y). Zatem,

wed lug (W 1 → (a)), nasze zdanie jest prawdziwe w I.

(2) Implikacja: ∀y∃xQ(x, y) → ∃x∀yQ(x, y) nie jest tautologi¸

a.

25

background image

Aby to wykaza´

c, nale˙zy wskaza´

c tak¸

a interpretacj¸

e I = (D, Q

), w kt´

orej

zdanie to jest fa lszywe. Niech wi¸

ec np.

D = N oraz
Q

= {(i, j) : i, j ∈ N : i ≥ j}.

W tej interpretacji poprzednik: ∀y∃xQ(x, y) jest prawdziwy, lecz nast¸

epnik:

∃x∀yQ(x, y) jest fa lszywy.

Zatem nasza implikacja jest w tej interpretacji

fa lszywa.

Definicja sprzecznego zbioru zda´

n

Zbi´

or zda´

n X nazywamy niesprzecznym, gdy istnieje interpretacja, w kt´

orej

ka˙zde zdanie z X jest prawdziwe. Zbi´

or zda´

n jest sprzeczny, gdy nie jest on

niesprzeczny.

Przyk lady (1) Zbi´

or zda´

n:

{∀x∀y((P

1

(x)∧P

2

(y)) → Q(x, y)), ∃x(P

1

(x)∧P

2

(x)), ∀x(P

1

(x) → ∼ Q(x, x))},

jest sprzeczny.

Aby tego dowie´

c, za l´

o˙zmy nie wprost, ˙ze jest niesprzeczny. W´

owczas istnieje

interpretacja I = (D, P

1

, P

2

, Q

), w kt´

orej prawdziwe s¸

a formu ly:

(1) ∀x∀y((P

1

(x) ∧ P

2

(y)) → Q(x, y)),

(2) ∃x(P

1

(x) ∧ P

2

(x)),

(3) ∀x(P

1

(x) → ∼ Q(x, x)).

Zatem

(4) P

1

(a) ∧ P

2

(a) jest 1 w I dla pewnego a z (2), (K1∃),

(5) ∀y((P

1

(a) ∧ P

2

(y)) → Q(a, y)) jest 1 w I z (1), (K1∀),

(6) (P

1

(a) ∧ P

2

(a)) → Q(a, a) jest 1 w I z (5), (K1∀),

(7) Q(a, a) jest 1 w I z (6), (4), (K1 →)(a),
(8) P

1

(a) jest 1 w I z (4), (K1∧),

(9) P

1

(a) → ∼ Q(a, a) jest 1 w I z (3), (K1∀),

(10) ∼ Q(a, a) jest 1 w I z (9), (8), (K1 → (a)),
(11) Q(a, a) jest 0 w I z (10), (K1 ∼),
absurd (11), (7).

(2) Zbi´

or zda´

n: {∀x(Q(c, x) → Q(x, c)), ∼ Q(c, c)} jest niesprzeczny.

Aby to wykaza´

c, wystarcza wskaza´

c jak¸

akolwiek interpretacj¸

e, w kt´

orej ka˙zda

formu la z tego zbioru jest prawdziwa. Np. niech dziedzin¸

a interpretacji b¸

edzie

jakikolwiek niepusty zbi´

or D oraz niech

Q

= {(u, v) : u, v ∈ D, u 6= v}.

Poj¸

ecie klasyfikacji

Przypominamy, i˙z przez relacj¸

e binarn¸

a okre´

slon¸

a na danym zbiorze A rozu-

miemy dowolny (w tym r´

ownie˙z pusty) zbi´

or 2-wyrazowych ci¸

ag´

ow element´

ow

zbioru A. Zbi´

or wszystkich 2-wyrazowych ci¸

ag´

ow element´

ow zbioru A nazy-

wamy relacj¸

a pe ln¸

a na A i oznaczamy A

2

.

26

background image

Niech R b¸

edzie dowoln¸

a relacj¸

a binarn¸

a okre´

slon¸

a na ustalonym zbiorze

A. Zamiast pisa´

c: ”ci¸

ag (x, y) element´

ow zbioru A jest elementem relacji R”

piszemy: ”xRy”.

Definicja najwa˙zniejszych formalnych w lasno´

sci relacji binarnych okre´

slonych

na danym zbiorze

owimy, ˙ze

R jest zwrotna na A wtw dla dowolnego elementu x zbioru A zachodzi

xRx,

R jest przeciwzwrotna na A wtw dla ˙zadnego elementu x zbioru A nie

zachodzi: xRx,

R jest symetryczna na A wtw dla dowolnych element´

ow x, y zbioru A

(niekoniecznie r´

o˙znych), je˙zeli xRy, to yRx,

R jest przeciwsymetryczna na A wtw dla dowolnych element´

ow x, y zbioru

A, je˙zeli xRy, to nie zachodzi yRx,

R jest antysymetryczna na A wtw dla dowolnych element´

ow x, y zbioru

A, je˙zeli xRy oraz yRx, to x = y,

R jest przechodnia na A wtw dla dowolnych element´

ow x, y, z zbioru A,

je˙zeli xRy oraz yRz, to xRz,

R jest sp´

ojna na A

wtw

dla dowolnych element´

ow x, y zbioru A, je˙zeli

x 6= y, to xRy lub yRx.

Jeden z najwa˙zniejszych typ´

ow relacji binarnych okre´

slonych na danym zbiorze

stanowi¸

a relacje r´

ownowa˙zno´

sciowe.

Definicja relacji r´

ownowa˙zno´

sci

owimy, ˙ze R jest r´

ownowa˙zno´

sciowa lub ˙ze jest relacj¸

a r´

ownowa˙zno´

sci na

zbiorze A, gdy R jest zwrotna, symetryczna i przechodnia na A.

Przyk lady (1) Relacja pe lna A

2

oraz tzw. relacja identyczno´

sciowa id(A)

okre´

slona na A nast¸

epuj¸

aco: dla dowolnych element´

ow x, y zbioru A,

x(id(A))y wtw x = y,

a relacjami r´

ownowa˙zno´

sci na zbiorze A.

(2) Na zbiorze tr´

ojelementowym A = {a, b, c} mamy pi¸

c relacji r´

ownowa˙zno´

sci:

id(A) = {(a, a), (b, b), (c, c)},

R

1

= {(a, a), (b, b), (c, c), (a, b), (b, a)},

R

2

= {(a, a), (b, b), (c, c), (a, c), (c, a)},

R

3

= {(a, a), (b, b), (c, c), (b, c), (c, b)},

27

background image

A

2

= {(a, a), (b, b), (c, c), (a, b), (b, a), (a, c), (c, a), (b, c), (c, b)}.

Definicja klasy abstrakcji wzgl¸

edem danej relacji r´

ownowa˙zno´

sci

Dla dowolnej relacji r´

ownowa˙zno´

sci R okre´

slonej na danym zbiorze A oraz

dowolnego elementu a zbioru A, zbi´

or wszystkich element´

ow x zbioru A ta-

kich, ˙ze aRx nazywamy klas¸

a abstrakcji b¸

ad´

z reprezentacji elementu a wzgl¸

edem

relacji R i oznaczamy w postaci: [a]

R

.

Przyk lady

(1) Dla dowolnego elementu a danego zbioru A, [a]

id(A)

= {a}

oraz [a]

A

2

= A,

(2) Dla relacji r´

ownowa˙zno´

sci R

1

, R

2

, R

3

z poprzedniego przyk ladu, okre´

slonych

na zbiorze {a, b, c} mamy:

[a]

R

1

= {a, b}, [b]

R

1

= {a, b} = [a]

R

1

, [c]

R

1

= {c},

[a]

R

2

= {a, c}, [b]

R

2

= {b}, [c]

R

2

= {a, c} = [a]

R

2

,

[a]

R

3

= {a}, [b]

R

3

= {b, c}, [c]

R

3

= {b, c} = [b]

R

3

.

Niech R b¸edzie relacj¸

a r´

ownowa˙zno´

sci na A. Poniewa˙z dla dowolnego ele-

mentu a zbioru A zachodzi: aRa, wi¸

ec a jest elementem swojej klasy abstrakcji,

zatem

dowolna klasa abstrakcji jest niepustym zbiorem.

Interesuj¸

ace dla zastosowa´

n s¸

a kolejne dwie w lasno´

sci klas abstrakcji:

Druga istotna w lasno´

c klas abstrakcji ma posta´

c:

dla dowolnych element´

ow x, y zbioru A : xRy wtw [x] = [y].

Dow´

od: (⇒): Za l´

o˙zmy, ˙ze xRy. Aby wykaza´

c r´

owno´

c zbior´

ow dowodzimy,

i˙z maj¸

a one te same elementy. Niech wi¸

ec a b¸

edzie elementem klasy abstrakcji

[x]. Zatem xRa. Poniewa˙z z za lo˙zenia na mocy symetrii relacji R mamy: yRx,
wi¸

ec w konsekwencji na podstawie przechodnio´

sci R otrzymujemy: yRa, co oz-

nacza, i˙z a jest elementem zbioru [y]. W ten spos´

ob wykazali´

smy, ˙ze ka˙zdy

element zbioru [x] jest elementem zbioru [y]. Na odwr´

ot przypu´

cmy, i˙z a jest

elementem klasy abstrakcji [y]. Zatem yRa. St¸

ad na mocy za lo˙zenia i przechod-

nio´

sci relacji R mamy: xRa, dlatego a jest elementem zbioru [x].

(⇐): Za l´

o˙zmy, ˙ze [x] = [y]. Poniewa˙z y jest elementem klasy abstrakcji [y],

wi¸

ec na mocy za lo˙zenia otrzymujemy: y jest elementem zbioru [x], zatem xRy.

Trzecia w lasno´

c klas abstrakcji:

dla dowolnych element´

ow x, y zbioru A: je˙zeli klasy abstrakcji [x], [y] nie s¸

a

roz l¸

aczne, to s¸

a r´

owne.

Dow´

od: Za l´

o˙zmy, ˙ze a jest elementem obu klas abstrakcji [x], [y]. W´

owczas

xRa oraz yRa. Zatem z symetrii relacji R mamy: aRy, co z przechodnio´

sci

relacji R implikuje: xRy i w konsekwencji na mocy drugiej w lasno´

sci klas ab-

strakcji otrzymujemy: [x] = [y].

28

background image

Definicja podzia lu danego zbioru

Przez podzia l

danego zbioru A rozumiemy dowolny zbi´

or Π niepustych

podzbior´

ow zbioru A spe lniaj¸

acy nast¸

epuj¸

ace dwa warunki:

(1) dowolne dwa r´

o˙zne elementy zbioru Π s¸

a roz l¸

aczne,

(2) dla ka˙zdego elementu a zbioru A istnieje element X zbioru Π taki ˙ze a

nale˙zy do X.

Przyk lady (1) Zbi´

or 1-elementowy {A} jest podzia lem zbioru A.

(2) Zbi´

or z lo˙zony ze wszystkich jednoelementowych podzbior´

ow {a} dowolnego

zbioru A jest podzia lem zbioru A.

(3) Istnieje pi¸e´

c podzia l´

ow tr´

ojelementowego zbioru A = {a, b, c}:

{{a}, {b}, {c}},

{{a, b}, {c}},

{{a, c}, {b}},

{{b, c}, {a}},

{{a, b, c}}.

Jednym z podstawowych twierdze´

n dotycz¸

acych podzia l´

ow jest

Zasada abstrakcji

Dla dowolnej relacji r´

ownowa˙zno´

sci R okre´

slonej na zbiorze A zbi´

or wszyst-

kich klas abstrakcji element´

ow zbioru A wzgl¸

edem relacji R jest podzia lem tego

zbioru.

Dow´

od: Zauwa˙zmy najpierw, i˙z dowolna klasa abstrakcji [x] wzgl¸

edem R

jest niepustym podzbiorem zbioru A (pierwsza w lasno´

c klas abstrakcji). Po

drugie, na mocy trzeciej w lasno´

sci klas abstrakcji zachodzi warunek (1) definicji

podzia lu dla zbioru wszystkich klas abstrakcji wzgl¸

edem R. Warunek (2) tej

definicji jest spe lniony, bo dowolny element a zbioru A jest elementem klasy
abstrakcji [a].

Twierdzenie 1. Dla dowolnego podzia lu Π zbioru A relacja R okre´

slona na

A nast¸

epuj¸

aco: dla dowolnych element´

ow x, y zbioru A : xRy

wtw istnieje

element X podzia lu Π taki, ˙ze x, y s¸

a elementami X, jest relacj¸

a r´

ownowa˙zno´

sci

na zbiorze A.

Dow´

od: Zwrotno´

c relacji R wynika z warunku (2) definicji podzia lu, syme-

tria wprost z okre´

slenia relacji R, natomiast jej przechodnio´

c jest konsekwencj¸

a

warunku (1) definicji podzia lu: przypu´

cmy bowiem, ˙ze xRy oraz yRz. Zatem

x, y s¸

a elementami pewnego zbioru X nale˙z¸

acego do Π oraz y, z s¸

a elementami

pewnego zbioru Y nale˙z¸

acego do podzia lu Π. St¸

ad X, Y nie s¸

a roz l¸

aczne. Zatem,

wed lug warunku (1) definicji podzia lu: X = Y . Dlatego x, z s¸

a elementami tej

samej cz¸

sci podzia lu Π. Na mocy definicji relacji R otrzymujemy ostatecznie:

xRz.

29

background image

Na mocy zasady abstrakcji, ka˙zda relacja r´

ownowa˙zno´

sci okre´

slona na danym

zbiorze wyznacza podzia l tego zbioru.

Natomiast zgodnie z Tw.1, dowolny

podzia l danego zbioru wyznacza relacj¸

e r´

ownowa˙zno´

sci okre´

slon¸

a na tym zbiorze.

Mo˙zna wykaza´

c nieco wi¸

ecej: relacja r´

ownowa˙zno´

sci wyznaczona przez podzia l,

kt´

ory sam wyznaczony jest przez dan¸

a relacj¸

e r´

ownowa˙zno´

sci, jest to˙zsama z t¸

a

dan¸

a relacj¸

a. Ponadto, podzia l wyznaczony przez relacj¸

e r´

ownowa˙zno´

sci, kt´

ora

sama jest wyznaczona przez dany podzia l, jest to˙zsamy z tym danym podzia lem.

Przyk lad. Przyporz¸

adkowanie: relacja r´

ownowa˙zno´

sci ←→ podzia l, dla zbioru

A = {a, b, c} przedstawia si¸

e nast¸

epuj¸

aco:

{(a, a), (b, b), (c, c)} ←→ {{a}, {b}, {c}} ,

{(a, a), (b, b), (c, c), (a, b), (b, a)} ←→ {{a, b}, {c}},

{(a, a), (b, b), (c, c), (a, c), (c, a)} ←→ {{a, c}, {b}},

{(a, a), (b, b), (c, c), (b, c), (c, b)} ←→ {{b, c}, {a}},

{(a, a), (b, b), (c, c), (a, b), (b, a), (a, c), (c, a), (b, c), (c, b)} ←→ {{a, b, c}}.

Definicja relacji bycia drobniejszym

Niech Π, Σ b¸

ed¸

a dowolnymi podzia lami danego zbioru A. M´

owimy, ˙ze podzia l

Π jest drobniejszy ni˙z podzia l Σ, gdy dla ka˙zdego elementu X podzia lu Π istnieje
element Y podzia lu Σ taki, ˙ze X jest podzbiorem zbioru Y .

W lasno´

sci formalne relacji bycia drobniejszym podaje nast¸

epuj¸

ace

Twierdzenie 2. Relacja bycia drobniejszym, tzn relacja dr okre´

slona na zbiorze

wszystkich podzia l´

ow zbioru A nast¸

epuj¸

aco:

ΠdrΣ wtw Π jest drobniejszy ni˙z

Σ, jest relacj¸

a zwrotn¸

a, antysymetryczn¸

a i przechodni¸

a.

Dow´

od: Oczywi´

scie dla dowolnego podzia lu Π danego zbioru A :

ΠdrΠ,

bowiem dla ka˙zdego elementu X podzia lu Π : X jest podzbiorem X.

W celu wykazania przechodnio´

sci przypu´

cmy, ˙ze (1) ΠdrΣ oraz (2) ΣdrΘ

dla jakich´

s podzia l´

ow Π, Σ, Θ zbioru A. Aby wykaza´

c, ˙ze ΠdrΘ za l´

o˙zmy, ˙ze X

jest elementem podzia lu Π. W´

owczas z za lo˙zenia (1) istnieje taki element Y

podzia lu Σ, ˙ze X jest jego podzbiorem. Analogicznie, na mocy za lo˙zenia (2)
istnieje element Z podzia lu Θ taki, ˙ze Y jest podzbiorem Z. Zatem X jest
podzbiorem Z (bo relacja bycia podzbiorem jest przechodnia), co dowodzi, i˙z
ΠdrΘ. Aby dowie´

c antysymetrii relacji dr za l´

o˙zmy, ˙ze (3) ΠdrΣ oraz (4) ΣdrΠ.

Celem jest wykazanie r´

owno´

sci: Π = Σ, tzn. tego, ˙ze podzia ly Π, Σ maj¸

a te same

elementy. Niech wi¸

ec X b¸

edzie elementem podzia lu Π. W´

owczas z za lo˙zenia (3)

istnieje element Y podzia lu Σ taki, ˙ze (5) X jest podzbiorem Y . Z za lo˙zenia
(4) istnieje element Z podzia lu Π taki, ˙ze (6) Y jest podzbiorem Z. Wobec
tego z (5) i (6) mamy: X jest podzbiorem Z, a poniewa˙z X jest niepusty, wi¸

ec

elementy X, Z podzia lu Π nie s¸

a roz l¸

aczne. Zatem X = Z na mocy warunku

(1) definicji podzia lu. Oznacza to wraz z (6), ˙ze Y jest podzbiorem X. St¸

ad i

z (5) wnosimy, ˙ze zbiory X, Y maj¸

a te same elementy, tzn. , ˙ze X = Y . Lecz

30

background image

Y to element podzia lu Σ, Zatem X jest elementem podzia lu Σ. W ten spos´

ob

wykazano, ˙ze ka˙zdy element podzia lu Π jest elementem podzia lu Σ. Nale˙zy
jeszcze dowie´

c, ˙ze ka˙zdy element podzia lu Σ jest elementem podzia lu Π, co

czyni si¸e analogicznie.

Definicja klasyfikacji

Przez klasyfikacj¸

e zbioru A rozumie si¸

e dowolny niepusty zbi´

or podzia l´

ow

zbioru A taki, ˙ze dla dowolnych podzia l´

ow Π, Σ z tego zbioru, Π jest drobniejszy

ni˙z Σ lub Σ jest drobniejszy ni˙z Π.

Przyk lad. Zbi´

or podzia l´

ow: {{a, b, c}}, {{a, b}, {c}}, {{a}, {b}, {c}} zbioru

A = {a, b, c} jest klasyfikacj¸

a tego zbioru.

31


Wyszukiwarka

Podobne podstrony:
Materiały do wykładu-logika dla prawników w5(1), I Rok Prawa, Logika
Materiały do wykładu 4 (27 10 2011)
MATERIALY DO WYKLADU CZ IV id Nieznany
MATERIALY DO WYKLADU CZ VIII i Nieznany
MATERIALY DO WYKLADU CZ V id 2 Nieznany
Materiały do wykładu z Rachunkowości
Materiały do wykładu 4 (28 10 2011)
Podstawy budownictwa materialy do wykladu PRAWO wydr
15.02.06-Anemia-materiały do wykładu, studia, 4 rok, farmakologia, materiały, C21W15-niedokrwistosci
Materiały do wykładu nr 1
Materialy do wykladu nr 5 id 28 Nieznany
Rezerwa z tytułu odrocznego podatku - materiały do wykładu 2014, UE KATOWICE ROND, I stopień, VI sem
Rezerwy na świadczenia pracownicze - materiały do wykladu 2014, UE KATOWICE ROND, I stopień, VI seme
Rachunkowośc obrotu towarowego - materiały do wykladu 2012, Uniwersytet Ekonomiczny w Katowicach, Fi
Materiały do wykładów z filozofii, AJD - PEDAGOGIKA, I rok, I semestr, Wstęp do filozofii
podatki w rachunkowości, Materialy do wykladu - VAT w rachunkowosci 2009 rok, Szkoła Główna Handlowa

więcej podobnych podstron