Lector dr.

Mihi Andreea-Diana

Sistemulaxiomaticalcalcululuipropoziional
propus de Hilbert; deductiv,
deductiv formal

P=(P , FP , AP , RP)
P = Var_propoz
Var propoz Conective { ( , ) }

Var_propoz = { p, q, r, p1, p2, }

Conective = { , , , , }

FP = mulimea formulelor propoziionale corect construite

- baza: pi FP , i=1,2,
- inducia:
i d i : dac U,V
U V FP atunci:
at nci:
U FP, U V FP, U V FP, U V FP, U V FP
- nchiderea: toate formulele din FP se obin
doar prin
p aplicarea
p
regulilor precedente de un numr finit de ori.

Axiomeiregulideinferen
AP = {A1 , A2 , A3} scheme axiomatice
A1: U ((V U )
A2: (U (V Z )) ((U V ) (U Z ))
A3: (U V ) (V U )

RP = {mP} o singur regul de inferen modus ponens

U , U V |
| V

din faptele U i U V se deduce (infer) V

Definiiadeduciei
f
d d
Fie formulele U1, U2, ... ,Un numite ipoteze 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 formule ( f1, f2, ... , fm ) astfel nct
fm =V i i{1,,m} avem:
fi Ap ;
fi {U1,U
U2,...,U
Un };
fj , fk |mp fi , j < i i k < i

Secvena ( f1, f2,..., fm ) se numete deducia lui V din

U1, U2, ... ,Un .

Noiuneadeteorem
Definiia 1.8. O formul U FP, astfel nct | U (sau

| U ) se numete teorem.

Observaie: Teoremele sunt formule care sunt deductibile

d
doar
di axiome
din
i
ii folosind
f l i d regula
l modus
d ponens.

Teoremadededucieiinversasa
Teorema de deducie

Dac U1,U2,...,Un-1,Un | V, atunci U1,U2,...,Un-1 | U nV.

Inversa teoremei de deducie
Dac U1,U2,...,Un-1 | U nV atunci U1,U2,...,Un-1,Un | V.

Generalizarea
U1,U2,...,Un-1,Un |V dac i numai dac
U1,U2,...,Un-1 |U nV dac i numai dac
U1,U2,...,Un-2 |Un-1(U nV ) dac i numai dac

U1 |U2(... Un-1(U nV )) dac i numai dac

||U1(U
( 2(...
( Un-1
( nV ))))
n 1(U
n-1

Consecineleteoremeidededucie

| U ((U V ) V )
| (U V ) ((V Z ) (U Z )) legea silogismului
| (U (V Z )) (V (U Z )) legea permutrii premizelor
|
| (U (V Z )) (U V Z ) legea reuniunii premizelor
| (U V Z ) (U (V Z )) legea separrii premizelor

Tem
T facultativ
f lt ti se acord
d 10 doar
d
l primul
la
i l student
t d t care

demonstreaz. n sistemul axiomatic al calcului propoziional,

folosind definiia deduciei i teorema de deducie:
| (U V ) ((U V ) V)

Proprietilelogiciipropoziiilor
Problemele decizionale n logica propoziiilor:
Este o formul propoziional o teorem sau nu?
Este o formul deductibil dintr-o mulime de formule?
Teorema de corectitudine
Dac | U atunci |= U. (Validitatea sintactic implic validitatea semantic)
Teorema de completitudine
Dac |= U atunci | U. (Validitatea semantic implic validitatea sintactic)
Teorema de corectitudine i completitudine
p
| U dac i numai dac |= U.

Consecinele teoremei de
Consecineleteoremeide

p
corectitudineicompletitudine
1) Logica propoziiilor este necontradictorie:
nu pot avea loc simultan | U i | U.
2) Logica propoziiilor este coerent:
nu orice formul propoziional este teorem.
3) Logica propoziiilor este decidabil:
se poate decide dac o formul propoziional este sau
nu teorem.