Lector dr.

Mihi Andreea-Diana

LogicapredicatelordeordinulI
Afar plou

p P(a) (a azi)

n fiecare zi plou afar

(x) P(x) (x ziua)

Mine va ploua

P(b) (b mine)

Acum o lun a plouat

P( f (a)) ( f (x) := x 30)

Si t
l i
ti l l i ii predicatelorde
di t l d
Sistemulaxiomaticallogicii
ordinulI Alfabetul
P=(Pr , FPr , APr , RPr)
Pr = Var Const (nj=1 Fj) (nj=1 Pj) P0 Conective
Cuantif
Var = { x, y, z, } muimea simbolurilor de variabile
Const = { a, b, c, } muimea constantelor
Fj = { f | f : D j D} muimea simbolurilor de funcii de aritate j
Pj = { P | P: D j {T, F}} muimea simbolurilor de predicate de
aritate j
j
P0 = { p, q, r, } {T, F} muimea variabilelor propoziionale i
a valorilor de adevr
Conective = { , , , , }
Cuantif ={ (cuantificatorul universal), (cuantificatorul existenial)}

TERM,ATOM,Literal
TERM

= mulimea termenilor:

Var TERM
Const TERM
dac
d f Fk ii t1, , tk TERM atunci
t i f (t1, , tk) TERM

ATOM

= mulimea formulelor atomice (atomilor):

T, F ATOM
T
dac P Pk i t1, , tk TERM atunci P(t1, , tk) ATOM

Literal

= un atom sau negaia sa

Formulecorectconstruite
FPr = mulimea formulelor predicative bine formate

ATOM FPr
dac U FPr i x Var astfel nct x nu se afl deja sub incidena
unui cuantificator (nu este legat),
legat) atunci:
(x) U (x) FPr i (x) U (x) FPr
dac U, V FPr astfel nct U i V nu conin aceeai variabil att
liber ct i legat, atunci:
U FPr, U V FPr, U V FPr, U V FPr, U V FPr

Axiome
APr = {A1, A2, A3, A4, A5} scheme axiomatice

U (V U )
A2: (U (V Z )) ((U V ) (U Z ))
A3: (U V ) (V U )
A1:

A4:

(x) U (x) U (t), unde t este un termen arbitrar

A5:

(U V (y)) (U (x) V (x)), unde y este o variabil liber

V care nu apare n
n
U, iar
i x
nu este variabil liber nici n
U,, nici n V

Regulideinferen
RPr = {mp, gen}
modus

ponens: U , U V |mp V

regula

generalizrii: U (x) |gen (x) U (x)

(x era o variabil liber n U)

Definiii
Variabilele din formulele predicative care se afl sub

incidena unui cuantificator se numesc variabile legate, n

caz contrar ele se numesc variabile libere.
O formul predicativ se numete nchis, dac toate

variabilele sale sunt legate, iar n caz contrar se numete

deschis.

Definiiadeduciei
f
d d
Fie formulele U1, U2, ... ,,Un numite ipoteze
p
i V formul

propoziional. Spunem c V este deductibil din U1, U2, ... ,Un

i notm U1, U2, ... ,Un-1,Un |V , dac exist o secven de
f
formule
l ( f1, f2, ... , fm ) astfel
tf l nct
t fm =V
V ii i{1,,m}
i {1
} avem:
fi APr ;
fi {U1,U2,...,Un };
fj , fk ||mp fi , j < i i k < I
fj |gen fi , j < i

Secvena
S
( f1, f2,..., fm) se numete deducia
d d
l i V din
lui
di U1, U2,...,U
Un .

Definiiateoremei
O formul U FPr, astfel nct | U (sau | U ) se

numete teorem.
teorem

Semanticalogiciipredicatelor deordinulI
realizeaz legtura dintre
constantele,
simbolurile de funcii,
simbolurile de predicate respectiv

constantele,
t t l funciile
f iil ii predicatele
di t l din
di conceptualizarea
t li
universului modelat
este furnizat un neles n termenii universului modelat

ppentru orice formul din limbajj

Definiiainterpretrii
O interpretare pentru un limbaj L al calculului

predicatelor este o pereche I=<D, m>, unde :

D este o mulime nevid numit domeniu al interpretrii.
m este o funcie care asociaz:
o

valoare fix m(c) din domeniul D unei constante c.

o funcie
f
i m(( f ):
) Dn D fiecrui
fi
i simbol
i b l de
d funcie
f
i f de
d aritate
i
n;
un predicat m(P): Dn {T, F} fiecrui simbol de predicat P de
aritate n.
n

Notaii
pentru interpretarea I=<D, m>:
|I| = D este domeniul interpretrii I
I|X| = m(X) unde X este constant, simbol de funcie sau
simbol de predicat.
As(I)
A (I) mulimea
li
funciilor
f
iil de
d asignare
i
de
d variabile
i bil peste
domeniul interpretrii I.
O funcie a As(I) este definit astfel a:Var |I|.
|I|
[a]x={a'| a' As(I) i a'(y)=a(x), pentru orice y x}.

Definiiafuncieideevaluare
f
f
d
l
Fie o interpretare I i a As(I).
As(I) Se definete inductiv
funcia de evaluare Ia:

Ia(x) =a(x), x Var;

Ia(c) =I|c|, c Const;
Ia( f (t1, , tn)) = I| f |(Ia(t1),..., Ia(tn)), f Fk , n>0;
Ia(P(t1, , tn)) = I|P|(Ia(t1),...,
) Ia(tn)),
)) P Pk , n>0;
Ia( A)= Ia (A) ; Ia(A B)= Ia (A) Ia(B)
Ia(A B)= Ia (A) Ia(B); Ia(A B)= Ia (A) Ia(B)
Ia((x)A(x))=T dac i numai dac Ia(A(x))=T pentru o
funcie a' [a]x
Ia((x)A(x))=T dac i numai dac Ia(A(x))=T pentru orice
funcie a' [a]x

C
t
ti
Conceptesemantice
O formul A este realizabil (consistent) dac i numai dac exist o interpretare I

i o funcie
a As(I)
( ) astfel nct Ia((A)=T.
)

n caz contrar formula se numete

nerealizabil (inconsistent).
Formula A este adevrat n interpretarea I dac i numai dac pentru orice funcie
a As(I) de asignare avem Ia(A)=T i notm |= I A, iar I se numete model al lui A.
Interpretarea I se numete anti-model
anti model da formulei predicative A dac A este evaluat
ca fals n I, adic: a As(I) are loc Ia(A)=F.
Formula A este valid (tautologie) dac i numai dac A este adevrat n orice
interpretare i se noteaz: |=A.
Dou formule A i B sunt logic echivalente dac Ia(A)= Ia(B) pentru orice
interpretare I i funcie a de asignare. Notaie A B.
O mulime S de formule implic logic o formul A dac toate modelele mulimii
(adic modelele conjunciei formulelor din S ) sunt modele ale formulei.
formulei Spunem c
A este o consecin logic a mulimii de formule S i notm S |= A.
O mulime de formule predicative este consistent dac formula obinut prin
conjuncia elementelor sale este consistent, adic are cel puin un model.
O mulime de formule este inconsistent dac nu exist nici un model pentru formula
obinut prin conjuncia elementelor sale.

Observaii
Evaluarea unei formule A nchise depinde doar de

interpretarea n care se evalueaz formula, notndu-se I (A).

Dac interpretarea are domeniu finit:
o formul cuantificat universal este nlocuit cu conjuncia

instanelor acesteia folosind toate elementele domeniului de

interpretare
o formul cuantificat existenial este nlocuit cu disjuncia
instanelor acesteia folosind toate elementele domeniului de
interpretare

Echivalene logice n calcululpredicatelor

Legile
g de expansiune
p

(x) A(x) (x) A(x) A(t ), t termen oarecare t x

(x) A(x) (x) A(x) A(t), t termen oarecare t x
Legile infinite ale lui DeMorgan

(x)
( ) A(x)
A( ) (x)
( ) A(x)
A( )
(x) A(x) (x) A(x)
Legile de interschimbare a cuantificatorilor

( ) ((y)
(x)
y) A(x,
( , y) ((y)
y) (x)
( ) A(x
( , y)
(x) (y) A(x, y) (y) (x) A(x , y)

Legideextragere
Legile de extragere a cuantificatorilor n faa formulei

A (x) B(x) (x) (A B(x))

A (x) B(x) (x) (A B(x))
A (x) B(x) (x) (A B(x))
A (x) B(x) (x) (A B(x))
unde formula A nu conine pe x ca variabil liber sau legat
(x) A(x) B (x) (A(x) B)
(x) A(x) B (x) (A(x) B)
(x) A(x) B (x) (A(x) B)
(x) A(x) B (x) (A(x) B)
unde formula B nu conine pe x ca variabil liber sau legat

Legiledistributivitii
fa de :

(x) (A(x) B(x)) (x) A(x) (x) B(x)

fa de :

((x)) ((A(x)
( ) B(x))
( )) ((x)) A(x)
( ) ((x)) B(x)
( )

Semidistributiviti
fa de :

|= (x) (A(x) B(x)) (x) A(x) (x) B(x)

fa de :

|= ((x)) A(x)
( ) ((x)) B(x)
( ) ((x)) ((A(x)
( ) B(x))
( ))

Formenormalealeformulelorpredicative
O formul U p
predicativ este n fforma normal pprenex dac

ea este de forma (Q1x1)(Qnxn) M, unde Qi,i=1,...,n sunt

cuantificatori logici, iar M nu conine cuantificatori. Secvena
se numete
t prefixul
fi l formulei
f
l i U,
U iar
i M este
t matricea
i
formulei
f
l i U.
U
O formul U predicativ este n forma normal prenex
conjunctiv dac ea este n form normal prenex
prenex, iar matricea
este n FNC.
Teorem:

Orice formul din calculul p

predicatelor poate
p
fi transformat
ntr-o forma normal prenex logic echivalent cu ea.

Algoritmuldeaducerelaformanormalprenex
Pas 1: Se nlocuiesc conectivele i folosind , , .
Pas 2: Se aplic legile finite i infinite ale lui DeMorgan
astfel nct cuantificatorii s nu fie precedai de negaie.
P 3:
Pas
3 Se
S redenumesc
d
variabilele
i bil l legate
l
astfel
f l nct
ele
l s fie
fi
distincte.
Pas 4: Se utilizeaz echivalenele logice care reprezint
legile de extragere a cuantificatorilor n faa formulei.
!!! Ordinea de extragere
g a cuantificatorilor este arbitrar.

Forma normal Skolem

FormanormalSkolem
Fie U o formul predicativ, iar UP = (Q1x1)(Qnxn) M una dintre

formele sale normale pprenexe.

Formulei U i corespunde o formul n forma normal Skolem notat
US care se obine astfel: pentru fiecare cuantificator existenial Qr din
prefix
fi se aplic
li urmtoarea
t
transformare:
t
f
dac naintea simbolului Qr nu apare niciun cuantificator universal,

atunci se alege o constant notat a, diferit de toate constantele care apar

n M i se nlocuiesc toate apariiile variabilei xr n M cu a. Se terge
(Qrxr) din prefixul formulei.
dac naintea simbolului Qr apar cuantificatorii universali Qs ,,Qs ,
1
m
unde 1s1<...< sm<r, atunci alegem un simbol f de funcie de m variabile,
diferit de celelalte simboluri de funcii i se nlocuiete fiecare apariie a
variabilei n M cu f(xs1,, xsm).
) Se terge (Qrxr) din prefixul formulei
formulei.

Constantele i funciile folosite pentru a nlocui variabilele existeniale

se numesc constante Skolem i funcii Skolem.

Formanormalclauzal
Formulei U i corespunde o formul n forma normal

Skolem fr cuantificatori notat USq care se obine

prin
i eliminarea
li i
cuantificatorilor
ifi
il universali
i
li din
di US.
Formulei U i corespunde o formul n forma normal
clauzal
l
l notat
t t Uc care se obine
bi din
di USq prin
i aducerea
d
la FNC.
Obs.: Transformrile utilizate n procesul de

Skolemizare nu pstreaz echivalena logic,

logic dar
pstreaz inconsistena

Teorem
Fie U1,U2,..,Un ,V formule predicative.
V inconsistent ddac VP inconsistent ddac Vs
inconsistent ddac VSq inconsistent ddac VC
inconsistent.
{U1,U2,..,Un} inconsistent ddac {U1C,U2C,..,UnC}
i
inconsistent.
i

ProprietilelogiciipredicatelordeordinulI
Teorema de completitudine i corectitudine

Fie S o mulime de formule predicative, iar A o

formul predicativ.
completitudinea: dac S |= A atunci S | A.
corectitudinea: dac S | A atunci S |= A.

 Teorema respingerii

Fie S o mulime de formule predicative, iar A o

formul predicativ. Dac S { A} este
i
inconsistent
i t t atunci
t i S |
| A.
A
Teorema
T
d deducie
de
d d i

Fie S o mulime de formule predicative, iar A o

f
formul
l predicativ.
di ti D
Dac S {
{ A} |
| B atunci
t i
S | A B .

TeoremaluiChurch1936
Problema validitii unei formule n calculul predicatelor de

ordinul I este nedecidabil. Mulimea formulelor valide din

acest sistem logic este recursiv numrabil,
numrabil adic exist o
procedur P care, avnd ca intrare o formul A din limbaj, are
urmtorul comportament:
dac formula A este valid, P se termin i furnizeaz rspunsul

corespunztor;
dac formula A nu este valid,, P se termin cu rspunsul
p
corespunztor sau execuia procedurii nu se ncheie niciodat.

Calculul predicatelor este semi-decidabil.