Documente Academic
Documente Profesional
Documente Cultură
Expresii
Con
eptul de expresie asa
um este el folosit ^n ^nvatam^antul preuniversitar nu are
o denitie si un ^nteles pre
is. Vom da un exemplu
are sa ilustreze a
est fapt. La
^ntrebarea \este x y z o expresie?" raspunsul depinde de
ontextul ^n
are a fost
pusa ^ntrebarea. Da
a operatia a fost de
larata aso
iativa, atun
i x y z este o
expresie. ^In
az
ontrar ea nu este o expresie deoare
e in
lude o ambiguitate put^and
interpretata
a x (y z ) sau (x y ) z ambele ind expresii. ^In
ontinuare notiunea de
expresie va denita ^n ipoteza
a operatiile
u
are lu
ram nu au ni
i o proprietate
suplimentara.
Mai mentionam
a
ele doua expresii de mai sus mai pot s
rise ^n s
rierea
poloneza x yz si xyz sau ^n s
rierea poloneza inversa xyz si xy z . Ne
intereseaza o denitie a
on
eptului de expresie
are sa e independenta de forma de
s riere a a esteia.
Evaluarea expresiilor
Un alt
on
ept deosebit de util at^at ^n matemati
a
^at si ^n informati
a este
el de
evaluare a unei expresii. Desi este
lar
a pentru a evalua o expresie este ne
esar
1
sa dam valori variabilelor
are apar ^n ea, mai putin evident este faptul
a trebuie
pre
izat si unde dam valori a
estor variabile. Pentru a ilustra a
est fapt mentionam
a expresia x?(y >z ) nu poate evaluata numai d^and valori variabilelor x; y si z ^ntr-o
multime da
a multimea nu este ^nzestrata
u doua operatii binare
orespunzatoare
simbolurilor de operatii binare ? si >. ^In
on
luzie pentru a evalua o expresie este
ne
esar sa dam
1. o algebra ^n
are se fa
al
ulele si
are are a
eeasi signatura
u
ea a expresiei
2. valori variabilelor din expresie.
Mentionam
a a da valori variabilelor din multimea X ^n algebra D este e
hivalent
u a da o fun
tie v : X ! D. Pentru ori
e variabila x din X valoarea data lui x
este v (x).
Vom nota
u T (X ) algebra liber generata de multimea X de variabile. In
luziunea X T (X ) este e
hivalenta
u faptul intuitiv
a ori
e variabila este o expresie.
Prin denitia algebrei libere, pentru ori
e algebra D si pentru ori
e fun
tie v : X !
D exista un uni
morsm v# : T(X ) ! D a
arui restri
tie la X
oin
ide
u v.
Fix^and algebra D vom
onstata
a exista o bije
tie naturala ^ntre Alg (T (X ); D),
multimea morsmelor de algebre de la T (X ) la D, si SetS (X; D), multimea fun
tiilor
S-sortate de la X la D. Fie
r : Alg (T (X );
D) ! SetS (X; D)
fun
tia restri
tie, adi
a r(h) : X ! D este restri
tia morsmului h la
etatea de mai sus a algebrei libere spune
a
X.
Propri-
Pentru a ne
onvinge
a a
easta denitie modeleaza
ore
t realitatea vom relua exemplul de mai sus privind expresia x?(y >z ). Sa evaluam a
easta expresie ^n multimea
numerelor naturale unde ? este ^nmultirea si > este adunarea.
Pentru valorile x = 2, y = 3 si z = 1 intuitiv obtinem 2 (3 + 1) = 8 iar
u
denitia de mai sus unde
h : (T ( x; t; z ); ?;
>) ! (N; ; +)
este morsmul denit prin h(x) = 2, h(y ) = 3 si h(z ) = 1 obtinem
>
h(x?(y z ))
E uatii
Sa analizam
on
eptul de axioma asa
um apare el ^n algebra. De exemplu
omutativitatea si aso
iativitatea se s
riu
(8x8y )x?y = y ?x
Ce sunt a
estea? Sunt egalitati de doua expresii
uanti
ate universal prin multimea
variabilelor
ontinute ^n
ele doua expresii. De
i o astfel de axioma are forma
(8X )l = r
unde l si r sunt din algebra liber generata de multimea X de variabile.
Ce ^nseamna
a o axioma este adevarata ^ntr-o algebra D? Intuitiv este ne
esar
a rezultatul evaluarii
elor doua expresii l si r ^n algebra D sa e a
elasi indiferent
de valorile date ^n D variabilelor din X . A
easta idee intuitiva
ondu
e la:
Denitia 2.1 Axioma (8X )l = r este satisfa
uta ^n algebra D da
a si numai da
a
pentru ori
e morsm h : T (X ) ! D este adevarata egalitatea h(l) = h(r):
^In
ontinuare vom folosi pentru (8X )l = r termenul de e
uatie ^n lo
ul
elui de
axioma, pentru a ne
onforma
u terminologia internationala.
^In plus vor intra ^n jo
si asa zisele e
uatii
onditionate. De exemplu
(8x8y 8z )(x y = x z ) y = z )
eea
e
orespunde axiomei de simpli
are la st^anga
are este adevarata ^n ori
e grup
sau ^n ori
e monoid liber.
= 1 ; a2 = 2 ; : : : ; an = n ) a =
unde ipoteza este o
onjun
tie de egalitati si
on
luzia o egalitate. Toata impli
atia
este
uanti
ata universal, fapt
ere nu apare s
ris mai sus. Da
a introdu
em ^n
signatura sortul boolean si pentru e
are sort s o operatie binara =s
u ambele argumente de sort s si rezultat boolean egalitatile din ipoteza devin elemente booleene.
Da
a si
onjun
tia booleana este operatie din signatura, atun
i ^ntreaga ipoteza
devine un element boolean. ^In a
est
adru o axioma, numita ^n
ontinuare si e
uatie
onditionata a logi
ii e
uationale, poate s
risa sub forma
(8X ) a =s
if
unde a si
sunt elemente de a
elasi sort s, iar H este un element de sort boolean din
algebra liber generata de multimea X de variabile. Ipoteza impli
atiei este data de
onditia H .
^In
ontinuare presupunem
a ^n signatura noastra xata (S; ) exista
un sort b 2 S (b de la boolean) si un simbol de operatie
onstanta t 2 ;b (t
de la true).
De
e numai at^at? Pentru
a
elelalte ipoteze mentionate mai sus(
onjun
tia
booleana si operatiile binare =s
u doua argumente de sort s si rezultat boolean) nu
au ni
i un rol ^n demonstratiile
are urmeaza. Bine^nteles ele vor prezente aproape
mereu ^n apli
atii.
Pentru a veri
a da
a o algebra D satisfa
e axioma de mai sus se dau valori
arbitrare variabilelor din X ^n D fapt
e poate fa
ut printr-o fun
tie arbitrara
f : X ! D sau e
hivalent printr-un morsm arbitrar h : T (X ) ! D . Apoi se
evalueaza ipoteza H si se veri
a da
a rezultatul evaluarii hb (H )
oin
ide
u adevarul
tD din D . Da
a hb (H ) = tD trebuie
a hs (a) = hs (
). De
i -algebra D satisfa
e
e
uatia
onditionata (8X )a =s
if H fapt notat prin
D j= (8X ) a =s
if H
da
a si numai da
a
(8h : T (X )
Credem
a este bine sa mentionam diferenta esentiala ^ntre semnele =s si =, diferenta
are va mentinuta
onstant pe par
ursul ^ntregului text. Egalul indexat de un
sort(=s ) indi
a o egalitate formala
are poate adevarata sau falsa. Egalul = are
semni
atia uzuala indi
^and deobi
ei o egalitate adevarata.
4
^In
ele
e urmeaza putem evita folosirea multimii X de variabile ^nlo
uind at^at
multimea X din
uanti
atorul (8X )
^at si algebra libera T (X ) printr-o algebra
libera P . Prin urmare o e
uatie
onditionata are forma
(8P ) a =s
if
unde a si
sunt elemente de sort s iar H este un element de sort b din algebra libera
P . Prin denitie
D j= (8P ) a =s
if H
da
a si numai da
a (8h : P ! D) hb (H ) = tD impli
a hs (a) = hs (
).
^In primul r^
and semanti
a
unde P este o algebra libera, l si r sunt elemente de sort s din P iar H un element
de sort b din P . 2
O e
uatie
onditionata ^n
are H = tP (tP este adevarul lui P ) devine ne
onditionata si este numita pe s
urt e
uatie. ^In a
est
az ^n lo
de (8P )l =s r if tP s
riem
doar (8P )l =s r.
Interesul nostru se
on
entreaza asupra
onse
intelor semanti
e ale lui , adi
a a
egalitatilor
are sunt adevarate ^n ori
e -algebra.
De exemplu egalitatea (xy ) 1 = y 1 x 1 este o
onse
inta semanti
a a ori
arui
sistem de axiome ale
on
eptului de grup deoare
e ea este o identitate ^n ori
e grup.
Denitia 3.4 E
uatia ne
onditionata (8P )l =s r este o
onse
inta semanti
a(propozitie valida sau tautologie) a lui da
a ea este satisfa
uta ^n ori
e -algebra.
Una dintre prin
ipalele probleme puse de logi
ieni este gasirea unei multimi
ore
te
si
omplete de reguli de dedu
tie pentru
onse
intele semanti
e ale lui , adi
a o
e
uatie ne
onditionata sa poata demonstrata folosind a
este reguli da
a si numai
da
a ea este o
onse
inta semanti
a a lui . Un raspuns pozitiv la a
easta problema
este prin
ipalul subie
t al a
estui text.
Informati
ienii sunt mult mai pretentiosi. Ei dores
a o masina de
al
ul sa
poata spuna da
a o e
uatie ne
onditionata este sau nu o
onse
inta semanti
a a lui
. Deoare
e a
est deziderat nu este posibil ^n general se
auta solutii, bazate pe
res
rierea termenilor, pentru e
are multime de axiome . De exemplu pentru teoria
grupurilor s-a gasit o astfel de solutie.
3.1
O propozitie (8L)l =s r depinde de algebra libera L din
are ea este luata. Noi
vom adopta ^n
ontinuare un pun
t de vedere lo
al adi
a vom xa algebra din
are
sunt luate propozitiile. ^In a
est
az va su
ient sa s
riem doar l =s r ^n lo
de
(8L)l =s r deoare
e algebra L este xata prin pro
esul de lo
alizare. ^In a
est mod
multimea propozitiilor valide poate vazuta
a o multime de pere
hi de elemente de
a
elasi sort, adi
a
a o submultime a produsului
artezian L L, sau
a o relatie
multisortata din algebra L.
In plus vom prefera
a ^n lo
ul unei algebre libere L sa lu
ram ^ntr-o algebra
arbitrara A deoare
e
on
eptul de propozitie valida poate denit si ^n a
est
ontext.
^In plus a
easta generalizare nu produ
e ni
i o marire a di
ultatii demonstratiilor.
Conform
elor de mai sus ^n algebra libera L egalitatea formala l =s r este o
propozitie valida da
a si numai da
a
8M j=
si 8h : L
!M
hs (l) = hs (r ):
8M j=
si 8h : A
!M
6
hs (l) = hs (r ): 2
A = (As; A ).
Propozitii valide
Faptul
a a =s b este o propozitie valida ^n A se s
rie ^n stil
lasi
j= a =s b sau
a = b pentru a folosi o notatie uzual
a pentru relatii.
Fie h : A ! M un morsm de algebre. Pentru ori
e sort s 2 S notam
Ker (h)s
Se stie
a relatia Ker(h) este o
ongruenta denumita si
ongruenta nu
leara a lui h.
Observam
a M j= impli
a = Ker(h). Mai mult
Demonstratie: Presupunem
a hb (H ) = tA .
Fie B j= si f : A ! B un morsm. Deoare
e hb (H ) = tA dedu
em
a
fb (hb (H )) = fb (tA ), de
i (h; f )b (H ) = tB . Deoare
e B j=
iar h; f : P !
B este morsm dedu
em (h; f )s(l) = (h; f )s(r) adi
a fs(hs(l)) = fs(hs(r)): De
i
hs (l) = hs (r ). 2
Asa
um am spus mai sus
autam o multime
ore
ta si
ompleta de reguli de dedu
tie
pentru multimea propozitiilor valide din A.
Fie RLE multimea urmatoarelor reguli de dedu
tie pentru logi
a e
uationala multisortata:
7
R
S
T
C
Sub
a =s a
a =s b impli
a b =s a
a =s b si b =s
impli
a a =s
Pentru ori
e s1 s2 :::sn ;s : ai =si bi pentru 1 i n
impli
a A (a1 ; a2 ; : : : ; an ) =s A (b1 ; b2 ; : : : ; bn ).
Pentru ori
e ( ) l =s r if H
si pentru ori
e h :
hb (H ) =b tA impli
a hs (l) =s hs (r)
8P
P !A
Teorema 4.1 Regulile de dedu tie RLE sunt ore te pentru multimea propozitiilor
valide din
A.
Demonstratie: Asa
um am vazut mai sus = este o
ongruenta, adi
a este re
exiva, simetri
a, tranzitiva si
ompatibila
u operatiile algebrei A. Prin urmare
da
a ipotezele regulilor R, S, T si C sunt din = atun
i si
on
luzia lor este din
=.
Lema 3.6 ne arata
a a
elasi lu
ru se ^nt^ampla si
u regula de dedu
tie Sub . 2
Corolar 4.2 Da
a ` a =s b, atun
i j= a =s b .
Demonstratie: E su
ient sa observam
a datorita
ore
titudinii multimii RLE
de reguli de dedu
tie toate propozitiile
are apar ^ntr-o demonstratie sunt propozitii
valide.
Fie s 2 S si x 2 Xs. Deoare
e es este surje
tiv, exista ax 2 As astfel ^n
^at
es (ax ) = fs (x). Denim g
a ind uni
ul morsm
u proprietatea
a gs(x) = ax
pentru ori
e s 2 S si pentru ori
e x 2 Xs . Este evident faptul
a (g ; e)s(x) = fs (x)
pentru ori
e s 2 S si ori
e x 2 Xs. Deoare
e morsmele g ; e si f
oin
id pe generatorii
algebrei libere T (X ) rezulta
a g ; e = f si demonstratia este ^n
heiata.
Comentariu. Faptul
a gs(x) poate ales arbitrar ^n es 1 (ffs(x)g) nu garanteaza
uni
itatea lui g . 2
Completitudine
A ! B exista