Klasszikus elsrend nyelvek

Mekis Pter
ELTE BTK Logika Tanszk
2011. de ember 16.

1. Bevezets
Most

pre zen,

rekurzv

den ikkal

is

felptjk

klasszikus

elsrend

logika

korbbiakban felvzolt rendszert. Elszr a formulk szerkesztsi szablyainak rendszert,

a szintaxist adjuk meg; majd az igazsgfeltteleket rgzt szemantikra trnk r. Vgl
bevezetjk azokat a fogalmakat, amelyek egy szintaxissal s szemantikval lert rendszert
logikv tesznek: a logikai kvetkezmnyt, az ekvivalen it s a logikai igazsgot.

2. Szintaxis

Alapjelek
Logikai konstansok
Nvkonstansok

, & , , , , , , =, (, )

a, b, c, . . .

Mondatkonstansok

p, q, . . .

Egy- s tbbargumentum prediktumok

Vltozk

P, Q, R, . . .

x, y, z, . . .

Szksg esetn fels indexben jelljk a prediktumok argumentumszmt:

P 1 , R2

stb. A

nvkonstansokat, a mondatkonstansokat s a prediktumokat nem-logikai konstansoknak

is nevezzk. Ezek alkotjk egy-egy elsrend nyelv sajtos szkin st. Tbb vagy kevesebb
llhat bellk rendelkezsre. Azt a nyelvet, amelyben egyetlen nem-logikai konstans sin s,
tisztn logikainak nevezzk. Ha a nem-logikai konstansok minden kategrijbl vgtelen
kszlet ll rendelkezsre, maximlis elsrend nyelvrl beszlnk. A logikai konstansok s a
vltozk kszlete viszont minden klasszikus elsrend nyelvben ugyanaz; logikai konstansbl
a felsorolt tz, vltozbl vgtelen sok ll a rendelkezsre. (Ha kifogyunk a betkbl, als

indexekkel klnbztethetjk meg a vltozkat: x , x , y1 , y2 . Ugyangy jrunk el a nemlogikai konstansoknl is.)

A vltozk s a nvkonstansok nagyon hasonl szerepet tltenek be a szintaxisban;
ezeket egytt individuumterminusoknak vagy rviden terminusoknak nevezzk, s ha nem

akarjuk spe iklni, hogy vltozrl vagy nvkonstansrl van-e sz, akkor a t, t , t1 stb.
jelekkel utalunk rjuk.

sszetett kifejezsek
Atomi formulk Hromfle atomi formulnk lehet.
(A1) A mondatkonstansok maguk is atomi formulk:

p, q, . . .

Mekis: Elsrend nyelvek

(A2) Ha egy

n-argumentum prediktumot kitltnk n darab

P (t), R(t, t ), P n (t1 , . . . , tn ) . . .

terminussal, akkor

atomi formult kapunk:

(A3) Atomi formult kapunk akkor is, ha az azonossgprediktumot tltjk ki

terminusokkal: t = t .
A

tiszta

logikai

nyelvben

nem-logikai

konstansok

hjn

sak

az

azonossgprediktummal kpezhetnk atomi formulkat.

sszetett formulk sszetett formulkat a kijelentslogikbl ismert konnektvumokkal

vagy kvantorokkal szerkeszthenk.
(F0) Az atomi formulk maguk is formulk.
(F1) Ha

s tetszleges formula, akkor a kijelentslogikai jelekkel jabb formulkat

, ( & ), ( ), ( ), ( ).

szerkeszthetnk bellk::

(F2) jabb formult kapunk akkor is, ha a mr adott

illesztnk:

formula el kvantort

x , x .

Ha

nem
okoz
zavart,
akkor
nem
rjuk
ki


(P (a) & P (b)) & P (c) helyett P a & P b & P c-t
t = t helyett pedig t 6= t -t fogunk rni.

zrjeleket.

runk;

R(x, y)

gy

pldul

helyett

xRy -t.

Plda
A szintaktikai szablyok segtsgvel ellltjuk a

x y z (xRz & yRz) xRy

formult.

RT
z
RT
z
x
y
TTTT
TTTT
j
j
TTjjjjjj
TTjjjjjj
(A2)
xRz
yRz
TTTT
TTTeeeeeeeeeeeee
(F1)

(F2)

(A2)

(xRz yRz)

RT
y
x
TTTT
j
TTjjjjjj
xRy
z(xRz YY yRz)
j
YYYYYYY
YYYYjjjjjj
(F1)
(z(xRz yRz) xRy)
(F2)

y(z(xRz yRz) xRy)

(F2)

xy(z(xRz yRz) xRy)

(A2)

3. Szemantika

Eszkzk
Trgyalsi univerzum Ezt

U -val

jelljk, s tetszleges halmaz lehet; sak annyit

kvetelnk meg, hogy ne legyen res (U

Interpret ifggvny Ez a

-val

6= ).

jellt fggvny rendel terjedelmet a nem-logikai

konstansainkhoz. rtkkszlett ksbb pontostjuk.

Vltozrtkels Ezt a fggvnyt

rtkek

elemei.

v -vel

jelljk, s a vltozkhoz rendel rtket. Az

Mekis: Elsrend nyelvek

Igazsgrtkek Kt igazsgrtket hasznlunk a formulk kirtkelsre:

rtket,

hamis

jelli az

igaz

rtket. Ezeket azonosthatjuk a trgyalsi univerzummal, illetve

az res halmazzal:

i U
def

h
def

fggvny rtkei a kvetkezk lehetnek:

1. A mondatkonstansok igazsgrtket jellnek.

(p) {i, h}
2. Az individuumkonstansok individuumokat jellnek.

(a) U
3. Az egyargumentum prediktumok individuumhalmazokat jellnek.

(P 1 ) U
4. A ktargumentum prediktumok individuumprok halmazait jellik.

(P 2 ) {hu, u i : u U, u U } = U U
5. Az

n-argumentum

prediktumok

n-tag

individuumsorozatok halmazait jellik.

(P n ) {hu1 , . . . , un i : u1 U, . . . , un U } = U n
Az atomi formulk kirtkelshez szksgnk lesz arra, hogy egysgesen tudjunk beszlni
a terminusok jelletrl. Ehhez bevezetjk az albbi jellst:

|t|U,,v =

v(t),
(t),

ha
ha

t
t

vltoz;
individuumkonstans.

Az atomi formulk igazsgfelttelei

(A1) A mondatkonstansok igazsgrtkt kzvetlenl az interpret ifggvny adja meg:

|p| = F (p)
n-argumentum prediktum akkor s sak akkor igaz, ha
n-es benne van a prediktum terjedelmben:
i, ha h|t1 |U,,v , . . . , |t1 |U,,v i (P );
h minden ms esetben.

(A2) Egy terminusokkal kitlttt

a kitlt terminusok alkotta rendezett

|P (t1 , . . . , tn )|U,,v =

(A3) A terminusokkal kitlttt azonossgprediktum akkor s sak akkor igaz, ha a kitlt

terminusok ugyanazt az individuumot jellik:

|t1 = t2 |U,,v =

i, ha |t1 |U,,v = |t2 |U,,v ;

h minden ms esetben.

Mekis: Elsrend nyelvek

Az sszetett formulk igazsgfelttelei

F1 A konnektvumok kirtkelse a kijelentslogikbl ismert szablyok szerint trtnik:
(a)

(b)

( )

(d)

(e)


i, ha ||U,,v = i s ||U,,v = i;
|( & )|U,,v =
h minden ms esetben.

h, ha ||U,,v = h s ||U,,v = h;
|( )|U,,v =
i minden ms esetben.

h, ha ||U,,v = i s ||U,,v = h;
|( )|U,,v =
i minden ms esetben.

i, ha ||U,,v = ||U,,v ;
|( )|U,,v =
h minden ms esetben.

i, ha ||U,,v = h;
| |U,,v =
h minden ms esetben.

F2 A kvantorok kirtkelsre az rtkelses kvantik i elz fejezetben megismert

szablyit alkalmazzuk.

||U,,v = i minden olyan v -re, amely

x-hez rendelt rtkben tr el v -tl;

h minden ms esetben.

i, ha ||U,,v = i legalbb egy olyan v -re, amely

=
sak az x-hez rendelt rtkben tr el v -tl;

h minden ms esetben.

(a)

|x |U,,v =

(b)

|x |U,,v

Plda

i,

ha

sak az

Tekintsnk egy olyan elsrend nyelvet, amelynek egyetlen nem-logikai konstansa az

R ktargumentum prediktum.
{u1 , u2 , u3 }; s R terjedelme lljon

Legyen

trgyalsi univerzum

hromelem:

U =

ngy rendezett prbl:

(R) = {hu1 , u1 i, hu1 , u2 i, hu2 , u2 i, hu2 , u3 i}

Indirekt mdon megmutatjuk, hogy a

x (y xRy xRx) formula igaz.

y xRy xRx

a formula hamis. (F2) rtelmben ez azt jelenti, hogy a

valamely rtkelsre. Legyen

Tegyk fel, hogy

formula hamis

egy ilyen rtkels. Ekkor (F1) msodik pontja szerint

y xRy igaz, xRx viszont hamis. (A2) rtelmben xRx akkor s sak akkor hamis, ha a
hv(x), v(x)i pr nem eleme a (R) halmaznak. Mivel hu1 , u1 i s hu2 , u2 i eleme (R)-nek,
x rtke v mellett sak u3 lehet. Msrszt (F2) msodik pontja miatt y xRy akkor s

sak akkor igaz a v rtkels mellett, ha van olyan v rtkels, amely sak az y -hoz rendelt
rtkben tr el v -tl, s amely mellett xRy igaz. Az utbbi (A2) rtelmben akkor s sak

akkor teljesl, ha a hv(x), v (y)i pr eleme a (R) halmaznak. De ezt sak gy lehetsges, ha
v(x) az u1 s az u2 elemek valamelyike. Az imnt azonban azt lttuk, hogy ez az rtk sak
u3 lehet. Ellentmondsra jutottunk abbl a feltevsbl, hogy a formula hamis; a formula
teht igaz.

Nhny szemantikai fogalom

Struktra s modell Legyen adott egy elsrend nyelv, s hozz
szerint. Az

M = hU, i

U,

a fentiek

prost a nyelvhez tartoz elsrend struktrnak (vagy ha

M struktra s a v
formulja igaz, akkor azt mondjuk, hogy M a v
mellett modellje a formulnak. Ha M brmely rtkels mellett modellje -nek, azt
rviden gy is mondjuk, hogy M rtkelsfggetlenl modellje, vagy rviden: modellje
nem okoz flrertst, sak rviden struktrnak) nevezzk. Ha az

rtkels mellett a nyelv valamely

Mekis: Elsrend nyelvek

-nek. Jellsek: M |=v , illetve M |= .

(Zrt formulk esetn a klnbsgttelnek

nin s jelentsge.)
Legyen most

a nelv tetszleges formulahalmaza.

mellett vagy rtkelsfggetlenl , ha modellje

M |=v ,

illetve

modellje

brmely

-nek

 valamely

elemnek. Jellsek:

M |= .

Logikai igazsg Legyen

ha brmely

varphi tetszleges formula. logikai igazsg akkor s sak akkor,

M = hU, i s brmely v rtkels mellett M |=v . Jells: .

Ekvivalen ia Legyen s formula. ekvivalens -vel akkor s sak akkor, ha ugyanazok

a modelljeik; teht ha a nyelvhez tartoz brmely

M |=v

akkor s sakis akkor, ha

Kvetkezmny Legyen

M |=v

formulahalmaz s

akkor, ha brmely rtkels mellett

a nyelvhez tartoz brmely

M |=v ,

akkor

M |=v .

formula.

struktra s

rtkels mellett

-bl

akkor s sak
-nek is; teht ha

kvetkezik

minden modellje modellje

struktra s

Jells:

. Jells:

rtkels mellett teljesl, hogy ha

Pldk
1. Megmutatjuk, hogy a kvetkez formula logikai igazsg:

x P x P a
U , s v mellett, ha
|x P x|U,,v = i s |P a|U, , v = h. Az elbbi az (F2) szably miatt akkor ll fenn, ha
a P x atomi formula x rtkelsnek tetszleges megvltoztatsa mellett igaz; teht
(A2) rtelmben akkor, ha a trgyalsi univerzum sszes eleme eleme (P )-nek, vagyis
(P ) = U . P a viszont  ismt sak (A2) rtelmben  akkor hamis, ha (a) nem
eleme (P )-nek; teht a trgyalsi univerzumnak van (P )-n kvli eleme, vagyis
(P ) 6= U . Ez ellentmonds; a formula teht tetszleges U , s v mellett igaz.
Az (F1) szably rtelmben a formula akkor hamis tetszleges

2. Megmutatjuk, hogy nem ll fenn a kvetkez ekvivalen ia:

x P x & x Qx x (P x & Qx)

U = {u1 , u2 }, (P ) = {u1 } s (Q) = {u2 }. Ekkor (A2) miatt P x igaz, ha x
u1 ; s ez (F2) rtelmben szavatolja x P x igazsgt. Hasonl okokbl
igaz x Qx is; (F1) rtelmben teht a teljes x P x & x Qx formula is igaz.
x (P x & Qx) viszont hamis, s ezt a kvetkezkppen ltjuk be. (F2) rtelmben ez
a formula akkor lenne igaz, ha x-nek lenne olyan rtkelse, amely mellett P x & Qx
igaz; vagyis (F1) rtelmben x valamely rtkelse mellett P x is s Qx is igaz. Az
utbbi viszont azt felttelezi, hogy x-nek legyen olyan rtkelse, amely (P )-ben s
(Q)-ban is benne van. Ilyen azonban nin s, hiszen (P )-nek s (Q)-nak nin s kzs
eleme. Teht az adott U , s tetszleges v rtkels mellett x P x & x Qx igaz,
x (P x & Qx) pedig hamis. A kt formula teht nem ekvivalens.
Legyen

rtkelse

P a kznyelvi n
fr sz. Ekkor x P x & x Qx azt jelenti, hogy

A fenti rvelst a kvetkezkppen tehetjk szemlletess. Legyen

sz fordtsa,

pedig a kznyelvi

 vannak nk s vannak frak;

x (P x & Qx)

pedig azt, hogy  vannak nk, akik

egyben frak is. Nem rtatva e kijelentsek igazsgrtkt a val vilgban, tekintsk
az els emberpr mitolgiai miniuniverzumt. Itt

x P x igaz, hiszen va n; x Qx is

igaz, hiszen dm fr; teht az els formulban foglalt konjunk i is igaz. A msodik
formula viszont hamis, hiszen sem dmra, sem vra nem igaz, hogy egyszerre n
is lenne meg fr is.
3. Megmutatjuk, hogy az albbi kvetkeztets helytelen a benne szerepl kifejezsek egy
kzenfekv rtelmezse mellett:

Mekis: Elsrend nyelvek

Minden termszetes szmra kvetkezik egy s sakis egy termszetes szm.

Ha egy termszetes szm egy msikra kvetkezik, akkor az elbbi nagyobb az
utbbinl.

Teht: Nin s legnagyobb termszetes szm.

Mindenekeltt formalizljuk a kvetkeztetst. A trgyalsi univerzumot a termszetes
szmok krnek vesszk, gy nin s szksgnk a

termszetes szm

rkvetkezst ktargumentum prediktummal fordtjuk:

xSy

prediktumra. A

annyit tesz, mint hogy

x-re kvetkezik y . A nagyobb, mint viszonyt a szmtanban megszokott mdon, a

< . . . szimblummal jelljk. Az legnagyobbnak lenni kifejezst kzenfekv mdon
gy rtelmezzk, hogy

minden msnl nagyobbnak lenni. gy a kvetkeztets az albbi

formt lti:

x y z (xSz y = z)
x y (ySx y < x)

Teht: x y (y 6= x y < x)
Tekintsk a kvetkez interpret it:

U = {u1 , u2 , u3 };
(S) = {hu1 , u2 i, hu2 , u3 i, hu3 , u1 i};
(<) = {hu1 , u2 i, hu2 , u3 i, hu3 , u1 i}.
Ebben a struktrban teht a rkvetkezsi rel i egybeesik a

kisebb, mint rel ival.

Az interpret i a kt premisszt igazz, a konklzit hamiss teszi, s gy a

kvetkeztetst meg folja. (A rszleteket az olvasra bzzuk; a kvetkeztets egy
alternatv elemzst lsd a 4 ) feladatban.)

4. Feladatok
1. Az

albbiakban

nvkonstans,

egyargumentum

prediktum,

pedig

ktargumentum prediktum. Vlassza ki a szablyosan szerkesztett formulkat

az albbi jelsorozatok kzl! (Ezttal nem hagytunk el zrjeleket.) Ksztse el a
szablyos formulk megszerkesztsnek grajzt!
(a)

x (P (x))

(b)

x y z x = R(y, z)

( )

x (R(x, y ) P (x))

(d)

x y (R(x, y) P (x))

(e)

((P (a) & x (P (x) P (a))) x P (x))

(f )

x y R(x, y) x y R(x, y)

(g)

x (y z y = z R(a, x))

(h)

P y P (y)

(i)

x x x x R(y, z)

a, b, P , R s S szimblumok rendre az va, Tams, fr,

szereti s vele akarja lelni az lett kifejezseket kpviselik. (xRy : x szereti y -t; xSy :

2. A kvetkez formulkban az

x y -nal akarja lelni az lett.) Fordtsa le magyar kznyelvre a formulkat! Prbljon

x s y !)

minl frappnsabban fogalmazni! (Kznyelvi mondatokban nin s

(a)

aSb & bSa & bRa

Mekis: Elsrend nyelvek

(b)

x y (xSy xRy)

( )

x y (xSy & ySx)

(d)

x y (aRx & xRy & ySa)

(e)

x ((xRa & P x) bRx)

(f )

x ((P x & xRa) x = b)

P s a Q
R ktargumentum prediktum. Legyen

3. Tekintsk azt az elsrend nyelvet, amelynek nem-logikai konstansai a

egyargumentum prediktumok, valamint az

U = {u1 , u2 , u3 };
(P ) = {u1 , u2 };
(Q) = {u2 , u3 };
(R) = {hu1 , u1 i, hu1 , u2 i, hu2 , u3 i, hu3 , u3 i}.
llaptsa meg az albbi formulk igazsgrtkt! (Knnyti a munkt, ha brval
szemlletess teszi az interpret it.)
(a)

x y z ((xRy & yRz) (P x Qz))

(b)

x y z ((xRy & yRz & zRx)

( )

x ((P x & Qx) y (yRx & xRy))

(d) Szerkesszen tovbbi hrom igaz formult a nyelvben!

4. Formalizlja

az

albbi

kvetkeztetseket,

majd

llaptsa

meg,

hogy

fenti

meghatrozsaink rtelmben helyesek-e!

(a) Minden fr szeret legalbb egy nt.
va n.

Teht: Van legalbb egy fr, aki szereti vt.

(b) Ha a sorozat szerepli kzl valaki bzik valakiben, akkor az utbbi biztosan
nem bzik az elsben.
A nzk sak azt szeretik, aki bzik nmagban.

Teht: A sorozat szerepli kzl senkit sem szeretnek a nzk.

5. A

Nhny szemantikai fogalom

szakasz negyedik pldjban szerepl  legnagyobb

kifejezst gy is rtelmezhetjk, hogy  nin s nla nagyobb. Vajon emellett az

rtelmezs mellett is helytelen a kvetkeztets?
6. Az albbi formulaprok kzl melyek ekvivalensek s melyek nem?
(a)

x P x x Qx ? x (P x Qx)

(b)

x P x x Qx ? x (P x Qx)

( )

x P x x Qx ? x (P x Qx)

(d)

x P x & x Qx ? x (P x & Qx)

(e)

x P x x Qx ? x (P x Qx)

(f )

x P x x Qx ? x (P x Qx)

(g)

x P x x Qx ? x (P x Qx)

7. Az albbi formulk kztt van egy logikai igazsg, egy ellentmonds, valamint egy
ekvivalens pr. Keresse meg ezeket! Milyen felttelek mellett igaz az tdik formula?
(a)

x (aRx & xRb)

Mekis: Elsrend nyelvek

(b)

x (aRx & xRb) aRb

( )

x y (yRx & y = a) & y z (yRz & y = b)

(d)

x (aRx xRb)

(e)

x (aRx & aRa)

8. * Milyen kvetkezmnyekkel jrna, ha nem ktnnk ki, hogy

U 6= ?

9. * Az elsrend nyelvekben a prediktumok olyan termszetes nyelvi kifejezsek

fordtsra szolglnak, amelyek univerzlt fejeznek ki. Vajon a prediktumokhoz
terjedelmet rendel

fggvny fentebbi meghatrozsa a nominalista vagy a realista

llspontot tmogatja az univerzl-vitban?

Irodalom

Bevezets a modern logikba

Ruzsa Imre [ Mt Andrs:

2
1
1.2.7. fejezet. Osiris, 2000 [1997 .