1.

Az elsrend logika szintaxisa

6.1 Alapelemek

Nyelv=abc + szintaxis + szemantika.

6.1.1 Abc
Logikai rsz:
, , , , , ,
Indivdum vltozk (X, Y, )
Elvlaszt jelek (( ))
(tlet vltozk)

Logikn kvli rsz:

Fggvny, prediktum s konstans szimblumok
Elemfajtk halmaza

Szintaxis - jl formlt kifejezs ellltsnak szablyai

6.1.2 Term - matematikai lekpezs szimbolizlsa

1. Egy indivduum vltoz x jl formlt term (jft)
2. Ha f egy n vltozs fggvnyszimblum s t 1, t2, ..., tn jft-ek, akkor f(t1, t2, ..., tn)
jft.
3. Minden jft az 1., 2 vges sokszori alkalmazsval ll el.

6.1.3 Formula - logikai lekpezs szimbolizlsa

1. . Ha P egy n vltozs prediktumszimblum s t 1, t2, ..., tn jft-ek, akkor P(t1, t2, ...,
tn) jl formlt formula (jff). (atomi formula, primformula)
2. Ha A, B jff-k, akkor
(A) jff., (zrjeles)
A, jff. (negcis formula)
AB jff., (konjunkcis formula)
AB jff., (diszjunkcis formula)
AB jff., (implikcis formula)
AB jff. (ekvivalencia formula)
---------------------------------------------------------------------------------0-rend formulk
3. xA, xA jff-k. (kvantlt formula, prim formula)
---------------------------------------------------------------------------------1. rend formulk
4. Minden jff az 1., 2 s 3 vges sokszori alkalmazsval ll el.
 6.2 Hatskrk, tpusok

6.2.1 Logikai mveleti jelek hatskre

A kvantorok (, ) prioritsa a legersebb az sszes logikai mveletei jel kztt.

A , hatskre a legszkebb rszformula jobbra.

A hatkrk megllaptsnl ezt a szablyt kell figyelembe venni, s az tletkalkulusnl

megismert szablyokkal egytt kell alkalmazni.

Plda

xP(x)y(Q(x,y)P(y)zQ(y,z))

hatskr hatskr
hatskr

6.2.2 Vltoz elforduls tpusa

Egy formulban egy x vltoz egy elfordulsa:
szabad, ha nem esik x-re vonatkoz kvantor hatskrbe
kttt ha x-re vonatkoz kvantor hatskrbe esik.

Plda
A fenti formulban x els elfordulsa kttt, msodik elfordulsa viszont szabad. Y
mindegyik elfordulsa kttt. Z mindegyik elfordulsa kttt (egy van).

6.2.3 Vltoz minstse

Egy x vltoz egy formulban:
kttt vltoz ha x minden elfordulsa kttt,
szabad vltoz ha x minden elfordulsa szabad,
vegyes vltoz ha x -nek van szabad s kttt elfordulsa is.

Plda
A fenti pldban: x vegyes, y kttt, z kttt

6.2.4 Formula minstse

Egy formula zrt, ha minden vltozja kttt.
Egy formula nyitott, ha legalbb egy indivduum vltoznak van legalbb egy szabad
elfordulsa.
Egy formula kvantormentes, ha nem tartalmaz kvantort.

Plda
A fenti formula nyitott, mert pldul x-nek van szabad elfordulsa.

Plda
 Hatrozzuk meg a kvetkez formulkban a kvantorok hatskrt, a vltozelfordulsok
tpust, a vltoz minstseket, s a formula minstseket.

xP(x)y(Q(x,y)P(y)zQ(y,z))
x y Q(x,y) y x (P(x) P(z) Q(w,y))
x vy Q(x,y) vP(v) P(z)
 6.3 Mit rtnk matematikai struktrn. Mi a struktra tpusa.

6.3.1 Matematikai struktra

Az (U; R; M; C) ngyes matematikai struktra vagy modell, ahol:
U nem res halmaz, az rtelmezsi tartomny, univerzum , vagy indivduumhalmaz,
R az U-n rtelmezett relcik, (alap) relcik (logikai fggvnyek/lekpezsek
Un{i,h})
M az U-n rtelmezett mveletek halmaza, (alap)mveletek (matematikai
fggvnyek/lekpezsek, UnU).
C pedig U-beli elemek halmaza

6.3.2 A struktra szignatrja

A struktra szignatrja a 1,2,3 hrmassal jellemezhet, ahol:
ha R R s R: Un{i,h}, akkor 1(R)=n
ha FF s F: UnU, akkor 2(F)=n
a 3 megadja C elemeinek szmt.

6.3.3 A struktra tpusa

A struktra tpusa- a szignatra egy msik megadsi mdja.
A tpus megadsnak az a mdja, hogy az univerzum megadsa utn az
alapmveletek, s az alaprelcik aritsnak, majd pedig a konstansoknak a felsorolsa
trtnik meg :

<U, F1, F2, , Fk;R1, R2, , Rn; m1, m2, , ms; c1, c2, , cq>

6.4 Mi a matematikai logika nyelve

6.4.1 A ler nyelv bcje (Vv)

A logikai jelkszlet:
az indivduumvltozk,
az egyenlsgrelci neve (=),
a logikai sszektjelek s a
kvantorok
kiegszt elemek az elvlasztjelek.

A nem logikai jelkszlet a relcik, mveletek s a konstansok nevei.

Az = <Tp, Kn, Fn, Pr > struktra egy logikai nyelv megadst jelenti, ahol
 Tp: tpusok halmaza
Kn: konstansok halmaza (kitntetett U-beli elemek)

Fn: fggvnyszimblumok halmaza
Pr: Prediktum szimblumok halmaza

(1,2,3): a struktra szignatrja

6.4.2 A matematikai logika nyelve

Vv abc feletti elsrend nyelv a matematikai logika nyelve.

Jele: L(Vv)

A matematikai logika nyelve olyan nyelv, mellyel brmely matematikai struktra

szimbolizlhat.
Pl. az elemi aritmetika, ill. a rszhalmaz nyelv is matematikai struktrkat
ler nyelvek.

6.4.3 Hogyan lehet egy matematikai struktrt nyelvknt felfogni

(Knyv: 42.o)

Az L(Vv) elsrend logikai nyelv modellje vagy interpretcija egy ltalnos matematikai
struktra, ha szignatrjuk megegyezik. Ilyenkor a matematikai struktra megfelel a logikai
nyelvnek.

A formalizlt vagy tbbfajtj nyelv s a matematikai struktra ABC-je kztti kapcsolat.

struktra struktra L mat. log. nyelv jells minsg sszefogl

bc bc al jel
az U individuum individuum vltozk xf1,yf1, ..., logikai Tp
univerzum vltozk az egyes fajtkhoz ...
elemei s a rendelve xfk,yfk, ...,
fajtk halmaza
(k-fle)
alapmveletek. Alapmveletek fggvny f (ti1, ..., tin, tf), Fn
arg. szm nevei. szimblumok (a g(tj1, ..., tjn, tg), logikn
(0,1...) s konstansok is)
fajtk. arg. szm (0,1...) s
fajtk.
alaprelcik alaprelcik prediktum P (tk1, ..., tkn), kvli
arg. nevei szimblumok Q(ts1, ..., tsn,), Pr
szm.(1,2...) arg. szm.(1,2...) s ...
 fajtk
egyenlsg = az egyenlsg = logikai
relci prediktum

6.5 Nhny matematikai diszciplna (struktra) ler (logikai)

nyelve.

6.5.1 Az elemi aritmetika nyelve (Ar nyelv)

1. A matemarikai struktra:
-Univerzum: N0
- alaprelci: = (ktvltozs)
- mveletek: s(x) (rkvetkezs, egyvltozs), +, * (sszeads, szorzs)
- szignatra: v1(=): 2, v2(s): 1, v2(+): 2, v2(*): 2, v3: 1
2. A struktrt ler logikai nyelv: az Ar nyelv
- a nyelv logikn kvli rsze: bc: (=; s, +, *; 0),
szignatra: (2; 1, 2, 2; 1)
- logikai rsze: individuumvltozk, logikai sszektjelek, kvantorok, elvlaszt-
jelek
Szintaxisa: megmondja, hogyan lehet az bc segtsgvel aritmetikai kifejezseket lerni;
termek
a 0 konstans
individuumvltozk,
s ezekbl az alapmveletekkel (fggvny szimblumokkal) felrt tovbbi termek
formulk
atomi formula: kt term alaprelcival (prediktum szimblumokkal) sszekapcsolsa
tovbbi formulk a logikai sszektkkel s kvantorokkal rhatk fel
Szemantikja
egy n-vltozs term egy N0n. N0 mveletet r le,
egy n-vltozs formula egy N0n {i,h} logikai fgv-t r le.

Ezeket az alapmveletek s alaprelcik ismeretben hatrozhatjuk meg.

Plda
Adjuk meg a kvetkez kifejezsek kzl melyek jlformlt termek ill. formulk
x =y
s(s(x))
0 * s(s(0)) + 0
x=y s(s(0)) =x
x(s(s(x) ) y=z)
s(s(x))= s(y) =0
 x*y+s(s(y))+
s(s(x)) y < x

Plda:
(27. o. 2005.)
Formalizlni relcikat s mveleteket, amelyek nem szerepelnek mint alaprelcik s
alapmveletek.

xy
x osztja y-nak
x prmszm
x=y+z

xy =def z(y+z)=x
x osztja y-nak =def z(x * z)=y
x prmszm =def x0 xs(0) z(zx (z=s(0) z=x))
x=y+z =def y(z=s(0)x= s(y)) y(x=y+z s(x)=y+s(z))

6.5.2 A Rszhalmaz Nyelv

A Rszhalmaz nyelv: <P(H); ; ; >

Szignatura: < 2; ; 0 >

Plda
Formalizljuk a kvetkez relcikat
x=y
xy
xy
x = yz

Nhny fontosabb relci formalizlsa:

x=y =def xy yx
xy =def x=y
xy =def xy xy
x = yz =def xy xz v(vy vz vx)

Hf.: D(x,y)= i, ha x, y diszjunkt halmazok

6.6 Prmformula, prmkomponens, szerkezeti fa

 6.6.1 Alapkifejezs (alapterm, alapatom, alapformula):
Kifejezs: termek + formulk
Azokat a kifejezseket, melyekben nincs indivdumvltoz alapkifejezseknek nevezzk.
alapterm: f(t1, ..., tn)
alapatom: p(t1, ..., tn)
alapformula: tettszleges formula, melyben nincs indivdum vltoz

Nem alapkifejezs pldul a kvantoros formula, mert ott legalbb egy vtoznak kell lenni,
amire a kvantor vonatkozik.

6.6.2 Prmformula, prmkomponens

Def.:
Egy 1. rend formula primformuli
az atomi formulk ( p(t1, ..., tn) ) s a
kvantlt formulk
Egy 1. rend formula primkomponensei a formula azon primformuli, amelyekbl a
formula logikai sszektjelek segtsgvel pl fel.

Plda:
P(X) prmformula, de csak akkor prmkomponens, ha magban szerepel a formulban:
P(X) Q(X) ben: P(X) prmkomponens is
xP(x) Q(X) ben: P(X) nem prmkomponens, csak prmformula

Plda:
Hatrozzuk meg a kvetkez formula prmformulit s prmkomponenseit. Van-e olyan
kztk, amelyik nem esik kvantor hatskrbe?
zR(z, g(z)) ( Q(g(x)) xR(x,x))

Prmformulk: R(z, g(z)), R(x,x), Q(g(x), zR(z, g(z)), xR(x,x)

Prmkomponensek: zR(z, g(z)), Q(g(x)), xR(x,x)
Nem esik kvantor hatskrbe:

6.6.3 Term s formula szekezeti fja

(Knyv 116.-117. o.)

Egy t term szerkezeti fja egy olyan vges rendezett fa, melynek cscsai termek
1. gykere t
2. a f(t1, ..., tn) termet tartalmaz cscsnak pontosan n gyermeke van, ezek rendre a t1,
..., tn termek
3. levelei pedig vltozk vagy konstans szimblumok

Egy C formula szerkezeti fja egy olyan vges rendezett fa, melynek cscsai formulk
gykere C
1. A cscsnak egy gyermeke van az A formula
2. (AB) cscsnak kt gyermeke van, rendre az A s a B formulk
 3. egy QxA cscsnak is egy gyermek van, az A
4. levelei atomi formulk

Plda: Hatrozzuk meg a kvetkez term szerkezeti fjt.

f(x,f(c,y))

x f(c,y)

c y
Plda: Hzi feladat
Hatrozzuk meg a kvetkez formula szerkezeti fjt.

xyQ(g( f (x), y)) zP(z, z) xyP(x, g(x, y))

zR(z, g(z)) ( Q(g(x)) xR(x,x))
 2. Az elsrend logika
szemantikja
Alapkifejezs (alapterm, alapatom, alapformula):
Kifejezs: termek + formulk
Azokat a kifejezseket, melyekben nincs indivdumvltoz alapkifejezseknek nevezzk.
alapterm: f(t1, ..., tn)
alapatom: p(t1, ..., tn)
alapformula: tettszleges formula, melyben nincs indivdum vltoz

Nem alapkifejezs pldul a kvantoros formula, mert ott legalbb egy vtoznak kell lenni,
amire a kvantor vonatkozik.

A L-rtkels. Ez egy lekpezs, amely egy formulhoz hozzrendeli annak jelentst.

8.1 Informlis definci.

A formula valamely L(P1, P2,..., Pn; f1, f2,..., fk ) formalizlt nyelven rdott,
(ahol ( r1, r2, ..., rn; s1, s2, ..., sk) az L nyelv tpusa).

1. lps. Vlasztunk egy S= U(R1, R2,..., Rn; o1, o2,..., ok) matematikai struktrt, amelynek a
tpusa
( r1, r2, ..., rn; s1, s2, ..., sk) megegyezik a nyelvvel s a logikn kvli szimblumokat a
megfelel relcikkal illetve mveletekkel azonostjuk: R i= Pi , ok=fk , ha az interpretl
struktrnak nincs ler nyelve, vagy nem akarjuk azt hasznlni. Ha felhasznljuk az
interpretl struktra ler nyelvt, akkor Pi =Ri s fk = ok. Ez a nyelv szimblumainak
interpretcija, ahol Ri s ok.jelentse egyrtelm.

2. lps A nem kttt indivduum vltozk rtkelse (xs) s a kifejezsek helyettestsi

rtkeinek kiszmtsa.

8.2 Formlis definci.

- Termek:
1. xsU
2. (f(t1, t2, ..., tn)) = f (t1, t2, ..., tn)

- Formulk:

1. (P(t1, t2, ..., tn)) =i, ha (t1, t2, ..., tn)P , a P jelli a P relci igaz halmazt
2. (A) =i, ha A=h (A) =h, ha A=i
(AB)=i, ha A=i s B=i (AB)=h, ha A=h vagy B=h

(AB) =i, ha A =i vagy B =i (AB)=h, ha A=h s B=h
(AB)=i, ha A=h vagy B=i (AB)=h, ha A=i s B=h
(AB)=i, ha A=B (AB)=h, ha AB
3. (xA) =i, ha A(x/u)=i minden uU
(xA) =i, ha A(x/u)=i legalbb egy uU (A a formula trzse/matrixa)

Plda: logikai nyelv struktra nyelve

L= (=, P1, P2 ; a, b, f1, f2) S= N(=, <, > ; 0, 1, +, * )
(2, 2, 2 ; 0, 0, 2, 2 ) (2, 2, 2 ; 0, 0, 2, 2 )

Term interpretcija:

t = (f1(x, f2(x,y))) = f1 (x, f2 (x,y)) = + ( x, * (x ,y)) = x+ x*y

x y x+ x*y
1 1 2
2 3 8
0 4 0

Kvantormentes formula interpretcija

(P1(t, f1(y, f2(x,y)))) = P1 (t, (f1(y, f2(x,y))) )= P1 (t, f1 (y, f2 (x,y))) =

< (+ (x,* (x,y)),+(y,*(x,y)) =
<( x+ x*y, y+ x*y) =

Egy kvantormentes x y (x+ x*y)<( y+ x*y)

formula kirtkelse
A formula minden alap 1 1 h
elfordulst generljuk
s gy minden llts 2 3 i
elll

Egzisztencilis formula interpretlsa

(x P1(a, f1(x,x))) =i, ha (P1(a, f1(x,x))) (x/u)=i legalbb egy uU

ebben az interpretciban, ha 0<(x+x) =i legalbb egy uN
Nzzk meg az rtktbljt x 0<(x+x)
0 h
1 i
Mivel az x=1-re a formula trzse i, ezrt a
x(0<(x+x)) formula is i.

Univerzlis formula interpretlsa

(x P1(a, f1(b,x))) = i, ha (P1(a, f1(b,x))) (x/u)=i minden uU

Nzzk meg az rtktbljt x 0<(1+x)
0 i
1 i
Mivel minden egszre a formula trzse i, ezrt a
x(0<(1+x)) formula rtke i.
 8.3 Egy formula rtktblja

Egy 1. rend formula primformuli

az atomi formulk ( p(t1, ..., tn) ) s a
kvantlt formulk
Egy 1. rend formula primkomponensei a formula azon primformuli, amelyekbl a
formula logikai sszektjelek segtsgvel pl fel.

Plda:
P(X) prmformula, de csak akkor prmkomponens, ha magban szerepel a formulban:
P(X) Q(X) ben: P(X) prmkomponens is
xP(x) Q(X) ben: P(X) nem prmkomponens, csak prmformula

Az igazsgtblban (0. rend logika) az els sorba az lltsvltozk (ezek a formula

prmkomponensei) s a formula kerlnek. A vltozk al igazsgrtkeiket rjuk. A formula
alatt a megfelel helyettestsi rtkek tallhatk.

X Y Z (ZXYZ)
i i i i
i i h i
i h i i
s gy tovbb

Egy 1. rend formula rtktbljban az els sorba a szabad indivduum vltozk, a

primkomponensek s a formula kerlnek. Mivel a primformulk tbb esetben paramteres
lltsok, ezrt az interpretciban az indivduum vltozk kirtkelse utn vlnak
lltsokk. Ezrt az rtktbla els sorba mg a formulban lv indivduum vltozkat is
felsoroljuk a primformulk el. A indivduum vltozk al azok lehetsges kirtkelsei , a
primformulk al a megfelel helyettestsi rtkek kerlnek. A formula alatt a prmformulk
rtkeinek megfelel helyettestsi rtkek tallhatk.

Plda
A formula xP(x)yQ(w,y)P(v)zQ(w,z)
A primkomponensek: xP(x), y(Q(w,y), P(v), zQ(w,z)). A szabad indivduum
vltozk v, w.
Legyen az interpretl struktra: U={1, 2, 3}, P={1,3}, Q={(1,2),(1,3), (2,1), (2,2), 2,3)},
Ekkor (xP(x)) = h, a tbbiek paramteres lltsok.

Az rtktbla:

v w (xP(x)) (y(Q(w,y)) P(v) (zQ(w,z))) (xP(x)yQ(w,y)P(v)zQ(w,z))

1 1 h y(Q(1,y))=i P(1)=i zQ(1,z)=h i mivel a felttelrsz hamis
...

Plda:
rjuk fel a kvetkez formulk rtktbljt a megadott interpretciban
a). x(P(x) Q(y, x)) zQ(y, f (z)), ahol
U = {a; b; c}, P =i, f I(a) = f (b) = a s f (c) = b,
Q (a; a) = Q (b; a) = Q (a; a) = i s h klnben.
b. yx(P(x) ^ f (x, z) = y P(y)) y(g(y) = c() ^ f (g(z), y) = c()), ahol
U = Z4 = f0; 1; 2; 3g, cI = 0, gI(x) = x + 1 (mod 4), f I(x; y) = x + y (mod 4),