1

Capitolul 2
Logica clasic a propoziiilor (
p
L )



Ceea ce numim astzi logica clasic a propoziiilor (
p
L ) reprezint numitorul
comun al unor perspective diferite de expunere formal a acestui compartiment al logicii
simbolice. Capitolul de fa analizeaz cteva din aceste moduri de explicitare ale
p
L : Teoria
funciilor de adevr (2.1), Tablourile analitice (2.2), Axiomatica (2.3), Deducia natural
(2.4), Calculul secvenilor (2.5) i Rezoluia (2.6).


2.1. Teoria funciilor de adevr

2.1.1. Sintaxa
p
L

Logica propoziiilor reprezint partea cea mai simpl a logicii simbolice. Dac n
silogistica tradiional, aa cum am vzut n capitolul anterior, ne-am interesat i de structura
intern a unei propoziii (i.e. structura subiect-predicat), n
p
L aceast analiz rmne n afara
oricror consideraii. Descompunerea unei propoziii o vom face pn la obinerea unor
propoziii elementare i nimic mai mult. Dac, de exemplu, descompunem propoziia
(compus!) Studenii sunt preocupai de logic i vor obine rezultate bune vom obine
propoziiile elementare Studenii sunt preocupai de logic i Studenii vor obine note
bune, fr s mai avem n vedere structura intern a acestor propoziii elementare. Aadar,
unitile sintactice nedecompozabile ale
p
L sunt propoziiile elementare. Din propoziii
elementare, aidoma exemplului de mai sus, putem construi propoziii compuse de varii feluri.
Date fiind propoziiile elementare Clujul este un ora transilvan i A venit toamna putem
obine Nu a venit toamna, Clujul este un ora transilvan sau a venit toamna, Dac Clujul
este un ora transilvan, atunci a venit toamna etc. Aadar, asupra propoziiilor putem opera
n diverse moduri. n primul caz am negat propoziia dat, n al doilea am conectat disjunctiv
cele dou propoziii, iar n cel de-al treilea le-am conectat implicativ etc.

Logica simbolic a propoziiilor nu se intereseaz ns de coninutul propoziiilor (i.e.
de ceea ce ele exprim), ci de relaiile logice posibile dintre ele. Motiv pentru care recurge la
o simbolizare corespunztoare i, implicit, la un nou nivel de abstractizare. Pe scurt, limbajul
logicii propoziiilor,
p
L
1
, conine urmtoarele categorii de simboluri (i.e. alfabetul):
1. Simboluri pentru variabile propoziionale: p, q, r, ...,
1
p ,
2
p ,...,
1
q ,
2
q ,...
2. Simboluri pentru operatorii logici: ,... , , ,
3. Simboluri pentru constante: 1 i 0.

1

p
L nseamn logica simbolic a propoziiilor, aa cum este ea explicitat n limbajul expus.
2
4. Simboluri auxiliare: ), (, ], [, }, {.
Simbolurile p, q, r,... denot aadar propoziii arbitrare; - este operatorul unar al
negaiei; , , sunt, corespunztor, operatori binari: comjuncie, disjuncie, implicaie
2
; 1 i
0 denot valorile logice adevrat i fals
3
.
Formul a
p
L . Acest concept va fi definit pe baza unor reguli recursive, reguli care
permit obinerea de noi formule din cele deja construite. Prin ... , ,..., , ,
2 1
nelegem, n
cele ce urmeaz, formule arbitrare ale
p
L .

Definiie 1. a) Orice variabil propoziional este o formul a
p
L .
b) Dac este o formul a
p
L , atunci este o formul a
p
L .
c) Dac i sunt formule ale
p
L , atunci este o formul a
p
L
(unde denot oricare din urmtorii 10 operatori binari: , , , /, , , , , , + #
4
).
Prin , , ,... vom nelege mulimi de formule ale
p
L .

Definiie 2. Gradul unei formule este numrul ocurenelor operatorilor logici din
formul, i.e.:
a) Orice variabil propoziional are gradul zero.
b) Dac are gradul n, atunci are gradul 1 + n .
c) Dac i au gradele n, respectiv m, atunci are gradul
1 + + m n .

2.1.2. Semantica
p
L

2.1.2.1. Funcii de adevr
Pentru a decupa semnificaia integral a unui operator logic nu este suficient
nicidecum s ne rezumm la exemple din limbajul natural. Va trebui ca nelesul lor s fie
complet explicitat prin definiii semantice. Aceste definiii arat, n fiecare caz n parte, modul
n care valoarea logic a propoziiei compuse (i.e. a propoziiei care conine operatorul
respectiv) depinde strict de valorile logice ale propoziiilor care-o compun. S dm cteva
exemple. Fie propoziia Stiloul este albastru. Considerm c propoziia este adevrat. Dac
negm aceast propoziie, atunci vom obine propoziia compus Nu este adevrat c stiloul
este albastru sau Stiloul nu este albastru, simbolic p , i care este o propoziie fals.
Invers, dac p era fals, atunci p este adevrat. Corelm aceste valori logice ale propoziiei
compuse, p , cu valorile logice ale componentei ei, p, ntr-un tabel sau matrice i obinem:

p p
Aici p este argumentul funciei negaie.
1 0
0 1


Aceast matrice reprezint definiia semantic a negaiei.

2
O expunere n detaliu a operatorilor binari o facem n Semantica
p
L .
3
Singurele cu care operm, logica clasic fiind o logic bivalent.
4
Din motive tipografice simbolul nonimplicaiei a putut fi redat doar prin #.
3

La fel putem proceda considernd p: 2 + 2 = 4 i q: Tabla este neagr. Dnd valori
logice lui p i q, n toate combinaiile posibile, putem construi definiii pentru toi operatorii
binari ai
p
L . S menionm civa:

p q q p p q q p p q q p p q q p

1 1 1 1 1 1 1 1 1 1 1 1
1 0 0 1 0 1 1 0 0 1 0 0
0 1 0 ; 0 1 1 ; 0 1 1 ; 0 1 0
0 0 0 0 0 0 0 0 1 0 0 1


p i q sunt argumentele funciilor corespunztoare.

Cunoscnd matricea unui operator, putem construi, corespunztor, definiia acestuia.
Conjuncia, de exemplu, este funcia de adevr care ia valoarea logic adevrat atunci cnd
ambele argumente sunt adevrate. Disjuncia este funcia de adevr care ia valoarea logic
adevrat dac cel puin un argument este adevrat. Argumentele implicaiei ( ) se numesc
p = antecedent i q = consecvent. Din matricea corespunztoare rezult c implicaia este fals
doar dac antecedentul este adevrat i consecventul fals. n fine, echivalena ( ) ia valoarea
logic adevrat doar dac argumentele p, q au aceeai valoare logic. Trebuie s remarcm
ns urmtorul fapt: ceea ce intr n discuie n stabilirea valorii de adevr a propoziiei
compuse (i.e. n definirea funciei/operatorului) este strict valoarea logic a propoziiilor
componente i nimic altceva. n caz contrar, propoziia implicativ, construit cu p i q, de
mai sus ar fi o propoziie deloc uzual n nelegerea curent, de genul: Dac 2 + 2 = 4,
atunci tabla este neagr. Aadar, orice consideraie cu privire la sensul propoziiilor este
eliminat. Acesta este motivul pentru care aceste funcii se numesc funcii de adevr.

Definiie 1. Funcia de adevr este o funcie de la mulimea valorilor logice ale
propoziiilor componente la valoarea logic a propoziiei compuse. (simbolic:
( ) ( )
n n A
p p A p p A f ,..., ,..., :
1 1
, unde este un operator logic).

Numrul funciilor care pot fi construite n logica bivalent depinde de numrul
variabilelor propoziionale, n, i se calculeaz dup relaia simpl
( )
n
2
2 Nr = .
Pentru n = 1, numrul funciilor este de patru, adic:

p ( ) p
1
( ) p
2
( ) p
3
( ) p
4


1 1 1 0 0
0 1 0 1 0

Tabelul de adevr de mai sus are cinci coloane i dou linii. Prima coloan conine
asignrile fcute variabilei propoziionale p, iar celelalte patru reprezint funciile unare
corespunztoare, adic: verum (p), p, p i falsum (p).

Definiie 2. Prin interpretarea unei variabile propoziionale se nelege asignarea
(atribuirea) unei valori de adevr variabilei respective.
4

Dac cunoatem tabelul de adevr al unei funcii, atunci cunoatem semnificaia
funciei, respectiv i putem construi definiia. Din cele patru funcii de mai sus, ( ) p
3
este
tocmai negaia. Negaia este aadar funcia de adevr (unar!) care ia valoarea logic adevrat
dac p este fals; fals n caz contrar. La fel putem construi definiii i pentru celelalte funcii
unare.

Pentru n = 2, ( ) 16 2 Nr
2
2
= = . Cele 16 funcii binare distincte sunt redate de ceea ce
se numete Tabelul lui Wittgenstein
5
.

p q ( ) q p,
1

6

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16


1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
T p q / + q # p C

8
2
Nr
1
= =

L ; 4
2
Nr
2 2
= =

L ; 2
2
Nr
3 3
= =

L ; 1
2
Nr
4 4
= =

L

Tabelul conine 18 coloane i 4 linii. Primele dou coloane reprezint toate categoriile
de asignri fcute variabilelor p i q, iar celelalte funciile binare corespunztoare.
Completarea liniilor o facem dup urmtorul algoritm simplu: n linia nti (
1
L ) vom scrie
alternativ valori omogene al cror numr este numrul total al funciilor (16) mprit la 2,
pentru linia a doua vom mpri acest numr la
2
2 , apoi la
3
2 pentru linia a treia i, n fine, la
4
2 pentru linia a patra. Cele 16 funcii binare sunt, corespunztor: tautologia (T ), disjuncia
neexclusiv ( ), implicaia convers ( ), prependena ( p), implicaia ( ), postpendena (q),
echivalena ( ), conjuncia ( ), incompatibilitatea ( / ), disjuncia exclusiv ( + ),
postnonpendena ( q ), non-implicaia ( # ), prenonpendena ( p ), nonimplicaia convers
( ), rejecia ( ) i contradicia (C).
Din construcia tabelului se poate observa c funciile
16 9
se pot obine,
corespunztor, din negarea funciilor
1 8
, motiv pentru care incompatibilitatea de mai sus
se mai numete i anticonjuncie, disjuncia exclusiv antiechivalen, rejecia
antidisjuncie etc.
Tot n construcia tabelului observm c
1
este ntotdeauna adevrat,
16
este
ntotdeauna fals, iar celelalte funcii conin n matricea lor valori de adevr neomogene.
Motiv pentru care putem opera urmtoarea clasificare a funciilor de adevr: valide
(tautologii, adevruri logice), nesatisfiabile (contradicii, falsiti logice) i satisfiabile
(realizabile), terminologie pe care o vom aplica cu referire la orice formul a
p
L (aa cum
vom arta mai jos).




5
Comp. L. Wittgenstein, Tractatus logico-philosophicus, 5.101.
6
Din motive tipografice pentru celelalte funcii vom omite argumentele.
5
2.1.2.2. Dualitatea

Definiie. Doi operatori logici
7
se numesc duali dac matricea unuia se obine din
matricea celuilalt nlocuind reciproc valorile logice 1 i 0 n toate ocurenele lor.
Exemplu. Dac n matricea operatorului executm aceste nlocuiri obinem matricea
operatorului + .

p q q p p q q p +

1 1 1 0 0 0
1 0 0 0 1 1
0 1 0 1 0 1
0 0 1 1 1 0


Dac i n celelalte cazuri procedm similar, vom gsi urmtoarele perechi de
operatori duali: T - C , , , # (exerciiu).
Ceilali, p q p , , i q , constituie gama operatorilor autoduali. Operatorul unar
este de asemenea autodual (de ce?).


2.1.2.3. Procedeul matriceal ca procedeu de decizie n
p
L

Definiie 1. O formul a
p
L se numete valid (simbolic: ) dac pentru orice
interpretare a variabilelor sale ia valoarea logic adevrat.

Definiie 2. O formul a
p
L se numete nesatisfiabil dac pentru orice
interpretare a variabilelor sale ia valoarea logic fals.

Definiie 3. O formul a
p
L se numete satisfiabil dac exist dou interpretri
ale variabilelor ei n care ia valori logice opuse.

Remarc. n sens larg satisfiabilitatea nu exclude validitatea, fiind satisfiabil dac
exist (cel puin) o interpretare n care este adevrat.

Pentru a constata validitatea unei formule (valide!) procedeul matriceal este unul
foarte practic, atunci cnd numrul variabilelor formulei nu este prea mare (mai mare de 3).

S lum un exemplu:

8
( ): , , r q p [( q p
1
/ ) r
2
3
]
6
( p q
4
5
)

Numrul liniilor matricei este
n
2 , unde n reprezint numrul variabilelor
propoziionale. Numrul coloanelor este dat de numrul operatorilor logici ai formulei plus
numrul variabilelor propoziionale. Vom construi aadar o matrice (tabel de adevr) cu 8 linii

7
Corespunztor, funcii de adevr, n cele ce urmeaz vom considera cele dou expresii interschimbabile.
8
Menionarea variabilelor, dup simbolul , nu este necesar.
6
i 9 coloane. Pentru a facilita construcia matricei, putem nota operatorii logici n ordinea
executrii operaiilor.

p q r
1
/
2

3

4

5

6


1 1 1 0 0 1 0 1 1
1 1 0 0 1 1 0 1 1
1 0 1 1 0 0 0 0 0
1 0 0 1 1 1 0 0 0
0 1 1 1 0 0 1 1 0
0 1 0 1 1 1 1 1 1
0 0 1 1 0 0 1 1 0
0 0 0 1 1 1 1 1 1

Completarea interpretrilor variabilelor o facem i n acest caz dup algoritmul mai
sus aplicat (n cazul Tabelului lui Wittgenstein), numai c aici avem, corespunztor, coloane,
nu linii.
Coloana ultimei operaii menionate,
6
, reprezint valorile logice ale formulei ,
pentru toate cele 8 interpretri ale variabilelor sale. Aa cum ne arat matricea, avem o funcie
realizabil.

S mai lum un exemplu. Fie : [ ( ) q r p / ] [ ( ) p q p ].
Facem, corespunztor, matricea, fr a mai numerota operatorii logici.

p q r r r p ( ) q r p / p q q p ( ) p q p

1 1 1 0 0 1 0 0 1 1 1
1 1 0 1 1 0 0 0 1 1 1
1 0 1 0 0 1 0 1 0 1 1
1 0 0 1 1 1 0 1 0 1 1
0 1 1 0 0 1 1 0 0 1 1
0 1 0 1 0 1 1 0 0 1 1
0 0 1 0 0 1 1 1 0 1 1
0 0 0 1 0 1 1 1 0 1 1

Cum coloana final a matricei formulei conine o serie omogen de valori de 1,
rezult c este o formul valid.











7
Formule valide remarcabile ale
p
L

Prezentm mai jos cteva tautologii remarcabile ale
p
L , cu referire la operatorii
menionai n frontul fiecrei grupe ( ) , , , , . n dreptul fiecrei formule vom specifica
denumirea uzual a tautologiei respective n
p
L .
( ) 1. p p
k

2
... ; ,... 2 , 1 , 0 = k ; 1 i 2 Eliminarea negaiilor multiple
2. p p
k

+1 2
... ; ,... 2 , 1 , 0 = k

( ) 3. ( ) p p p ; idempotena conjunciei
4. ( ) ( ) p q q p ; comutativitatea conjunciei
5. ( ) [ ] ( ) [ ] r q p r q p ; asociativitatea conjunciei
6. ( ) [ ] ( ) ( ) [ ] r p q p r q p ; distributivitatea conjunciei (n raport cu
disjuncia)
7. ( ) [ ] p q p p ; 7 9 Absorbia conjunciei
8. ( ) [ ] ( ) q p q p p
9. ( ) [ ] p q q p
10. ( ) p q p ; 10 13 Atenuarea conjunciei
11. ( ) q q p
12. ( ) ( ) q p q p
13. ( ) ( ) q p q p
14. ( ) ( ) q p q p ; 14 i 15 Legile lui De Morgan
15. ( ) ( ) q p q p
16. ( ) p p ; principiul noncontradiciei

( ) 17. ( ) p p p ; idempotena disjunciei
18. ( ) ( ) p q q p ; comutativiatea disjunciei
19. ( ) [ ] ( ) [ ] r q p r q p ; asociativitatea disjunciei
20. ( ) [ ] ( ) ( ) [ ] r p q p r q p ; distributivitatea disjunciei (n raport cu
conjuncia)
21. ( ) [ ] ( ) q p q p p ; 21 23 Absorbia disjunciei
22. ( ) [ ] p q p p
23. ( ) [ ] p q q p
24. ( ) q p p ; 24 i 25 Introducerea disjunciei
25. ( ) q p q
26. ( ) ( ) q p q p ; 26 i 27 Legile lui De Morgan
27. ( ) ( ) q p q p
28. p p ; principiul terului exclus

( ) 29. p p ; reflexivitatea implicaiei
30. ( ) ( ) [ ] ( ) r p r q q p ; tranzitivitatea implicaiei
31. ( ) [ ] ( ) [ ] r q p r q p ; legea importaiei / exportaiei
8
32. ( ) [ ] ( ) [ ] r p q r q p ; permutarea premiselor
33. ( ) [ ] ( ) q p q p p ; absorbia implicaiei
34. ( ) [ ] ( ) ( ) [ ] r p q p r q p ; autodistributivitatea implicaiei
35. ( ) ( ) p q q p ; 35 37 Legi ale contrapoziiei
36. ( ) ( ) p q q p
37. ( ) ( ) p q q p
38. ( ) p q p ; 38 i 39 Paradoxurile implicaiei
39. ( ) q p p
40. ( ) q p p ; ex falso quodlibet
41. ( ) ( ) [ ] q r p q p ; 41 44 atenuarea implicaiei
42. ( ) ( ) ( ) [ ] q r p r q p
43. ( ) ( ) ( ) [ ] r p r q q p
44. ( ) ( ) ( ) [ ] r q r p q p
45. ( ) [ ] q q p p ; modus ponens
46. ( ) [ ] q q p p ; modus ponendo ponens
47. ( ) [ ] q p q p ; 47 i 48 modus tollendo tollens
48. ( ) [ ] p q q p
49. ( ) ( ) [ ] q q p q p ; dilema constructiv
50. ( ) p p p ; 50 52 reductio ad absurdum
51. ( ) p p p
52. ( ) ( ) [ ] p q p q p
53. ( ) [ ] p p q p ; legea lui Peirce

( ) 54. p p ; reflexivitatea echivalenei
55. ( ) ( ) p q q p ; simetria echivalenei
56. ( ) ( ) [ ] ( ) r p r q q p ; tranzitivitatea echivalenei
57. ( ) [ ] ( ) [ ] r q p r q p ; asociativitatea echivalenei
58. ( ) ( ) q p q p ; 58 i 59 contrapoziia echivalenei
59. ( ) ( ) q p q p
60. ( ) ( ) q p q p ; 60 i 61 atenuarea echivalenei
61. ( ) ( ) p q q p
62. ( ) ( ) q p q p ; respingerea echivalenei
63. ( ) ( ) ( ) [ ] q p q p q p ; condiiile de adevr ale echivalenei










9
2.1.2.4. Relaia de consecin semantic

Pentru explicitarea nelesului acestui concept s dm mai nti un exemplu. Fie
urmtoarele formule ale
p
L : ( ) ( ) q p q p : , ( ) r q p : i q p : . S prezentm
n tabelul de mai jos matricea celor trei formule.

p q r q p q p r

1 1 1 1 1 0 0 0 1
1 1 0 1 1 0 1 1 1
1 0 1 0 0 1 0 1 1
1 0 0 0 0 1 1 1 1
0 1 1 0 0 1 0 1 1
0 1 0 0 0 1 1 1 1
0 0 1 1 0 0 0 1 0
0 0 0 1 0 0 1 1 0


Pe baza acestei matrice putem observa c de ori cte ori formulele i sunt
simultan adevrate i formula este adevrat (conversa nefiind valabil). n acest caz vom
spune c formula este o consecin semantic a formulelor i . Mai putem constata c
de ori cte ori este adevrat i este adevrat (reciproca nefiind nici n acest caz
valabil). i n acest caz vom spune c este consecin semantic a lui .

Definiie. Fie , ,...,
1 n
formule ale
p
L . este o consecin semantic a
formulelor
n
,...,
1
(simbolic
n
,...,
1
) dac pentru orice interpretare a variabilelor
propoziionale care apar n , ,...,
1 n
, formula este adevrat de ori cte ori
n
,...,
1

sunt simultan adevrate (
n
,...,
1
sunt premisele iar este consecina lor semantic).

Exerciii.
1. Se dau urmtoarele formule ale
p
L : ( ) ( ) q p q p :
1
, ( ) ( ) q p q p :
2
,
( ) ( ) q p q p :
3
, ( ) ( ) [ ] q r p q p :
4
. Stabilii cazurile n care relaia
de consecin semantic are loc.
2. Ce putem spune despre relaia dac este o formul valid a
p
L ? Dar
dac este o formul nesatisfiabil?
3. Construii o demonstraie pentru urmtoarele enunuri:
a) Dac i , atunci .
b) Dac i , atunci .
4. Argumentai c urmtorul condiional are loc:
Pentru
n
n ,..., : 1
1
ddac
n
...
1
.





10
2.1.2.5. Scheme deductive cu operatori ai
p
L

Din cele 16 funcii de adevr binare, 10 pot figura n scheme deductive valide.
Celelalte 6 (p, q, p , q , T , C ), numite i funcii degenerate, nu exprim propriu-zis
corelaii logice ntre argumentele lor, motiv pentru care nu pot construi scheme deductive
valide. S considerm n continuare cteva exemple de scheme valide.

Cu ajutorul implicaiei materiale putem construi urmtoarele scheme:

q p q p p q q p
p q
q p 1 1 1
modus ponens modus tollens 1 0 0
0 1 1
0 0 1

Verificarea validitii lor o putem face fie construind o formul implicativ de genul
premise concluzie, pe care-o verificm cu ajutorul procedeului matriceal, adic
( ) [ ] q p q p , fie o justificm pe baza matricei (i.e. definiiei semantice a) implicaiei. n
acest din urm caz, alegem din matrice liniile care stipuleaz condiiile din premisele schemei,
adic 1 = p i ( ) 1 = q p , respectiv doar prima linie. Pentru concluzie ne rmne o singur
alegere, 1 = q . La fel putem justifica i modus tollens.

n schimb, urmtoarele scheme sunt nevalide (de ce?):

q p q p
p q
q p

Cu incompatibilitatea putem construi alte scheme deductive:

p / q p / q
p sau q
q p



Exerciii.

1. Se dau urmtoarele definiii:
Def. 1. O formul a
p
L este satisfiabil dac exist dou interpretri distincte ale
variabilelor sale astfel nct formula ia, corespunztor, valori logice distincte.
Def. 2. O formul a
p
L este satisfiabil dac exist cel puin o interpretare n care
formula este adevrat.
Def. 3 O formul a
p
L este satisfiabil dac formula nu este nesatisfiabil.
Ce raporturi logice putem stabili ntre cele trei definiii?

11
2. Unele funcii din tabelul lui Wittgenstein exprim raporturi de condiionare
( , , , , i T ), altele exprim raporturi de opoziie (negaiile funciilor precedente) iar
altele exprim raporturi mixte (p, q, p i q ).
a) Artai c funciile p, q, p i q exprim raporturi mixte (i.e. pot fi redate,
fiecare, ca o conjuncie dintre o funcie care exprim un raport de condiionare i una care
exprim un raport de opoziie).
b) Verificai, prin transformri sintactice adecvate, c relaiile respective au loc.

3. Construii toate schemele valide n care figureaz operatori binari ai
p
L .
Argumentai validitatea lor.

4. Formulai concluzia, n termenii incompatibilitii, pe baza urmtoarelor premise:
(p/q)/[(p/p) / (q/q)]
q/q

5. Construii dou scheme deductive valide, una n care una dintre premise este
q p , iar cealalt n care una din premise este q p .

6. Formulai concluzia, n termenii rejeciei, pe baza urmtoarelor premise:
( ) ( ) q p q p
(p / p) / (p / p)

7. Explicai simbolic ideea excluderii covalenei propoziiilor.

8. S se determine, n termenii rejeciei, cea de-a doua premis mpreun cu care
expresia de mai jos poate constitui o schem deductiv valid. Formulai concluzia.
(p / p) / (q / q)

9. Constituie urmtoarea combinaie de premise o schem deductiv valid? De ce?
p / p
p / (q / q)

10. Ce concluzie se poate formula, n termenii rejeciei, pe baza urmtoarelor premise:
[( p p ) q ] [( p p ) q ]
( p p ) ( p p )

11. Construii o schem deductiv valid n care premisele sunt
( ) ( ) p q q p
p / p









12
2.1.3. Transformri echiveridice n logica propoziiilor

2.1.3.1. Conceptul echiveridicitii

Vom ilustra mai nti ideea de echiveridicitate, pe baza ctorva exemple simple.
a) Fie urmtoarele dou formule ale
p
L :
( ) r q p : ; ( ) ( ) r p q p :

S vedem n ce relaie logic se afl ele, comparnd matricele:

p q r r q ( ) r q p q p r p ( ) ( ) r p q p

1 1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1 1
1 0 1 1 1 0 1 1 1
1 0 0 0 0 0 0 0 1
0 1 1 1 0 0 0 0 1
0 1 0 1 0 0 0 0 1
0 0 1 1 0 0 0 0 1
0 0 0 0 0 0 0 0 1

Vom constata c valorile din coloana final (respectiv valorile acestor funcii de
adevr pentru asignrile corespunztoare) sunt identice. Vom spune c i sunt formule
echiveridice.

b) Fie acum formulele q p : i q p : . Similar,

p q q p p q p

1 1 1 0 1 1
1 0 0 0 0 1
0 1 1 1 1 1
0 0 1 1 1 1


i n acest caz este valabil constatarea de mai sus.

c) n fine, considerm formulele: ( ) [ ] ( ) [ ] q q p r q p + / : i
( ) s s : [ ( ) t q p ].
Fr s facem matricele corespunztoare putem constata c ambele formule sunt
valide: prima este o implicaie cu consecventul adevrat iar a doua o implicaie cu
antecedentul fals. i n acest caz cele dou formule sunt echiveridice.
S construim acum o definiie pentru conceptul echiveridicitii. Fie
n
p p ,...,
1
( 1 n )
toate variabilele care apar ntr-o formul , fie
m
q q ,...,
1
( 1 m ) toate variabilele care apar
ntr-o formul .

13
Definiie. Formulele i se numesc echiveridice (sau semantic echivalente) dac
pentru orice interpretare dat variabilelor
m
q p ,...,
1
ele iau aceeai valoare logic (simbolic
eq ).

Remarc 1. Pentru a fi echiveridice formulele nu trebuie s conin neaparat aceiai
operatori logici (comp. exemplul b) sau aceleai variabile (sintactic sau numeric) (comp.
exemplul c).

Remarc 2. Echiveridicitatea nu trebuie confundat cu operatorul echivalen, ,
din Tabelul lui Wittgenstein. Aceasta este un operator binar al limbajului obiect care, pus ntre
dou formule, i , formeaz o nou formul mai complex a limbajului obiect.
Eq este, n schimb, un operator binar al metalimbajului care, pus ntre simbolurile i ,
genereaz expresia eq , n care i sunt termenii relaiei eq i nu formule ca atare
( nseamn formula , iar formula ). Firete, aa cum am constatat din exemplele
de mai sus, ntre eq i exist urmtoarea relaie:
eq ddac este o formul valid (i.e. ).

Aadar, dou formule i ale
p
L sunt echiveridice ddac ele sunt logic
echivalente, adic pentru orice interpretare a variabilelor lor ele iau aceeai valoare logic i
deci .

Echiveridicitatea are urmtoarele proprieti:
1. Refl: eq .
2. Sym: Dac eq , atunci eq .
3. Trans: Dac eq i eq atunci eq .


2.1.3.2. Operatori fundamentali, operatori derivai

Definiie 1. Un operator logic introdus cu ajutorul unei definiii semantice (matrice)
se numete operator fundamental (la fel putem spune, corespunztor, despre o funcie de
adevr).

Definiie 2. Un operator logic introdus cu ajutorul unei definiii sintactice se numete
operator derivat (respectiv o funcie de adevr derivat).

Exemple: q p q p
df
= ; q p q p
df
= / etc.
Fie, n cele ce urmeaz, o mulime { }
n
O O M ,...,
1
= , 1 n , de operatori fundamentali.

Definiie 3. Un operator
i
O se numete funcional independent de ceilali operatori
din mulimea M dac el nu se poate defini sintactic prin ceilali operatori.

Definiie 4. O mulime de operatori fundamentali { }
n
O O M ,...,
1
= , 1 n , se numete
independent dac fiecare operator este funcional independent de ceilali operatori.



14
Exemple.
1. Fie { } = , , M . M nu formeaz o mulime independent, deoarece se poate
defini sintactic prin i :
( ) q p q p
df
=
Similar, se poate defini prin i .

2. { } = , M este independent.
Argument. Trebuie s artm c operatorul nu poate fi definit doar cu operatorul
i invers. Din variabile i din negaie putem construi doar formule de forma
p p p p ... , , , etc. Aceste formule sunt fie echiveridice cu p, fie cu p , pe baza
formulelor 1 i 2, 2.3.
Cu ajutorul negaiei se pot construi aadar numai acele funcii binare care sunt
echiveridice fie cu p, fie cu q, fie cu p , fie cu q , adic:

p q ( ) q p,
1
( ) q p,
2
( ) q p,
3
( ) q p,
4


1 1 1 1 0 0
1 0 1 0 0 1
0 1 0 1 1 0
0 0 0 0 1 1


ntruct nici una din aceste funcii nu este echiveridic cu conjuncia, conchidem c
operatorul nu poate fi definit doar prin intermediul negaiei. Similar, nu poate fi definit
doar cu ajutorul . Cu ajutorul nu pot fi construite dect formule de forma
p p p p ... , , toate fiind echiveridice cu p.


2.1.3.3.Completitudine funcional

Definiia 3.3. O mulime M de operatori fundamentali se numete funcional complet
dac orice alt operator al
p
L se poate defini prin operatorii mulimii M.
Vom da n continuare cteva exemple de mulimi funcional complete de operatori
logici: { } = ,
1
M , { } = ,
2
M , { } = ,
3
M , { } /
4
= M i { } =
5
M . Vom considera n cele
ce urmeaz doar urmtorii operatori din tabelul lui Wittgenstein: + /, , , , , , .

{ } = ,
1
M este funcional complet { } = ,
2
M este funcional complet
q p eq ( ) q p q p eq ( ) q p
q p eq ( ) q p q p eq q p
q p eq ( ) q p ( ) p q q p eq ( ) ( ) [ ] p q q p eq
( ) ( ) ( ) p q q p
q p + eq ( ) ( ) [ ] p q q p q p + eq ( ) ( ) p q q p
q p / eq ( ) q p q p / eq q p
q p eq q p q p eq ( ) q p


15
{ } = ,
3
M este funcional complet
q p eq ( ) q p
q p eq q p
q p eq ( ) ( ) [ ] p q q p eq ( ) ( ) [ ] p q q p
q p + eq ( ) ( ) [ ] p q q p
q p / eq q p
q p eq ( ) q p

{ } /
4
= M este funcional complet
p eq p/q
q p eq ( ) q p / eq ( ) ( ) q p q p / / /
q p eq ( ) ( ) q q p p / / /
q p eq q p eq ( ) q q p / /
q p eq ( ) ( ) ( ) [ ] q q p p q p / / / / /
q p eq ( ) ( ) q p q p eq ( ) ( ) ( ) [ ] q p q p eq
( ) ( ) [ ] q p q p / / eq ( ) ( ) q p q p / / / eq ( ) ( ) ( ) [ ] q q p p q p / / / / / .
q p + eq ( ) [ ] ( ) [ ] p p q q q p / / / / /
q p + eq ( ) ( ) q p q p eq ( ) ( ) [ ] q p q p eq
( ) ( ) q p q p / eq ( ) ( ) q p q p / / / eq ( ) [ ] ( ) [ ] q p p q q p / / / / /
q p eq ( ) ( ) [ ] ( ) ( ) [ ] q q p p q q p p / / / / / / /
q p eq ( ) q p eq q p eq ( ) q p eq ( ) q p / eq
( ) ( ) [ ] q q p p / / / eq ( ) ( ) [ ] ( ) ( ) [ ] q q p p q q p p / / / / / / /

{ } =
5
M este funcional complet
p eq p p
q p eq ( ) ( ) q q p p
q p eq ( ) ( ) q p q p
q p eq [ ( ) q p p ] [ ( ) q p p ]
q p eq [ ( ) q p p ] [ ( ) p q q ]
q p eq ( ) ( ) p q q p eq ( ) ( ) p q q p eq ( ) ( ) p q q p
eq [ ( ) ( ) p q q p ] eq ( ) ( ) p q q p eq
[ ( ) q p p ] [ ( ) p q q ]
q p + eq [ ( ) ( ) q q p p ] ( ) q p
q p + eq ( ) ( ) q p q p eq ( ) ( ) [ ] q p q p eq
( ) ( ) [ ] q p q p eq ( ) ( ) [ ] q p q p eq
[ ( ) ( ) q p q p ] eq ( ) ( ) q p q p eq [ ( ) ( ) q q p p ] ( ) q p
q p / eq ( ) q p eq q p eq ( ) q p eq ( ) q p eq
( ) ( ) q p q p eq [ ( ) ( ) q q p p ] [ ( ) ( ) q q p p ].

16
Dup cum am artat mai sus, operatorii / i pot reda, fiecare, orice alt operator al
p
L . Mai mult, demonstrm mai jos urmtorul rezultat.

Teorem. Operatorii / i sunt singurii operatori binari care pot constitui, fiecare,
mulimi funcional complete de operatori fundamentali.
Demonstraie. Presupunem c este un operator binar, altul dect / i , prin
intermediul cruia orice alt operator poate fi definit. Fie p i q dou variabile propoziionale.
Dac pentru 1 = p i 1 = q vom avea 1 = q p , atunci orice formul construit din p, q i
operatorul ar lua ntotdeauna valoarea logic 1 dac variabilele propoziionale p i q ar lua
valoarea logic 1. n acest caz negaia n-ar putea fi definit cu ajutorul acestui operator.
Similar, dac pentru 0 = p i 0 = q vom avea 0 = q p , atunci orice formul construit
numai din variabilele p i q i operatorul ar fi ntotdeauna fals, dac ambele variabile iau
valoarea logic fals. Nici n acest caz negaia n-ar putea fi definit utiliznd doar operatorul .
De aici rezult c pentru a putea reda negaia matricea operatorului trebuie s aibe
urmtoarea form:
p q q p

1 1 0
1 0
0 1
0 0 1


Dac n ocurenele rmase (liniile 2 i 3) vom pune 1, 1 respectiv 0, 0, atunci vom
obine matricele operatorilor / i . n schimb, dac vom pune celelalte posibiliti de
combinare ale valorilor logice, respectiv 0, 1 sau 1, 0, vom obine, corespunztor, p i q ,
adic q p eq p i q p eq q . n aceste din urm cazuri ar nsemna c operatorul binar
poate fi definit doar cu ajutorul negaiei. Am vzut ns mai sus c negaia nu poate forma,
singur, o mulime funcional complet de operatori fundamentali (conjuncia n-a putut fi
definit doar cu ajutorul negaiei!).


2.1.3.4. Demonstraii de completitudine funcional

n paragraful precedent am vzut c anumite mulimi de operatori pot traduce
echiveridic orice alt operator. Ele au fost numite mulimi funcional complete. De data aceasta
vom demonstra cteva rezultate cu privire la completitudinea funcional.

Teorema 1. { } = , M este funcional complet. (Echivalent: orice funcie de adevr
a
p
L poate fi generat de o expresie care conine strict operatorii negaie i conjuncie).
Demonstraie. Fie ( )
n
p p ,...,
1
o funcie n-ar de adevr. Dup cum tim, matricea
unei asemenea funcii va conine
n
2 linii, corespunztoare celor
n
2 interpretri diferite ale
variabilelor sale. Numerotm aceste interpretri de la 1 la
n
2 . Fie acum o funcie
ik
f definit
astfel:
ik
f =
k
p , dac 1 =
k
p

ik
f =
k
p , dac 0 =
k
p ,
17
unde i enumer interpretrile (
n
i 2 ,..., 1 = ), iar k enumer variabilele funciei ( n k ,..., 1 = ). Din
construcia acestei funcii rezult c, n interpretarea i,
ik
f este adevrat.
Construim acum o funcie
i
g , corespunztoare unei interpretri i, astfel:

i
g =
in i
f f ...
1

Din definiia funciei
ik
f i din definiia semantic a conjunciei rezult c funcia
i
g
este adevrat n interpretarea i. ns
i
g este totodat fals n orice alt interpretare, diferit
de interpretarea aleas, i. Acest lucru rezult din faptul c ntr-o interpretare j, diferit de i, cel
puin o funcie
ik
f are un argument care difer de valoarea de adevr pe care
k
p o ia n
interpretarea i; adic funcia
ik
f ia valoarea logic fals i cu aceasta ntreaga conjuncie
in i
f f ...
1
devine fals.
Dup cum funcia ( )
n
p p ,...,
1
este sau nu o formul valid a
p
L vom avea,
corespunztor, urmtoarele dou cazuri:

1. ( )
n
p p ,...,
1
ia valoarea logic adevrat pentru toate cele
n
2 interpretri, adic este o
formul valid. n acest caz ( )
n
p p ,...,
1
poate fi scris, echivalent / echiveridic n forma:
( ) ( ) ( )
n n n
p p p p p p ... ...
2 2 1
. i astfel, funcia ( )
n
p p ,...,
1
a fost
definit utiliznd doar i .

2. ( )
n
p p ,...,
1
nu este o formul valid. n acest caz fie
m
i i ,...,
1
cele m interpretri n care
( )
n
p p ,...,
1
ia valoarea logic fals. Construim acum o funcie de adevr h astfel:

m
i i
g g h = ...
1

Funcia h va fi fals doar dac cel puin un conjunct este fals, echivalent, doar dac cel
puin o funcie
r
i
g ( m r ,..., 1 = ) este adevrat. Echivalent, funcia h va fi fals ntr-o
interpretare
r
i n care i ( )
n
p p ,...,
1
este fals, motiv pentru care vom pune ( )
n
p p ,...,
1
h = .
i deci i n acest caz funcia ( )
n
p p ,...,
1
a fost definit doar pe baza i .
S revenim acum cu explicaii i exemple la teorema de mai sus.

S presupunem c funcia de adevr (i.e. formula) considerat este ( ) ( )
2 1
, p p q p = a crei
matrice este:


1
p
2
p
2 1
p p 4 ,..., 1 = i
2 , 1 = k ;
ik
f =
k
p , dac 1 =
k
p

1
i 1 1 1
ik
f =
k
p , dac 0 =
k
p

2
i 1 0 0

3
i 0 1 0

4
i 0 0 1

Avem, aadar, pentru linia nti:
1 11
p f = ,
2 12
p f = ; pentru linia a doua:
1 21
p f = ,
2 22
p f = , pentru linia a treia:
1 31
p f = ,
2 32
p f = ; pentru linia a patra:
1 41
p f = ,
2 42
p f = .
Iar acum funcia
i
g =
in i
f f ...
1
:
1 = i : =
1
g 1 1 1
2 1 12 11
= = = p p f f
18
2 = i : 1 1 1
2 1 22 21 2
= = = = p p f f g
3 = i : 1 1 1
2 1 32 31 3
= = = = p p f f g
.
4 = i : 1 1 1
2 1 42 41 4
= = = = p p f f g
Aadar, funcia
i
g este adevrat n interpretarea i. S artm c
i
g este fals n orice
alt interpretare. S lum funcia
2
g citit n interpretarea 1. n acest caz,
0 0 1
2 1 2
= = = p p g (deoarece n interpretarea 1 1
2
= p i deci 0
2
= p ). Dup cum
rezult din acest exemplu, funcia
i
g este fals n orice alt interpretare, deoarece cel puin un
conjunct al funciei
i
g este fals (deoarece exist cel puin un k astfel c
k
p ia valoarea logic
opus valorii ei din interpretarea i) i astfel ntreaga conjuncie este fals.
Pentru cele dou cazuri mai sus menionate:
1. ( )
n
p p ,...,
1
este valid. Fie ( ) ( ) ( )
1 2 2 1 2 1
, p p p p p p = eq
( ) ( )
1 2 2 1
p p p p eq ( ) ( )
1 2 2 1
p p p p eq ( ) ( )
1 2 2 1 2 1
p p p p p p eq
( ) ( )
2 2 1 1
p p p p eq ( ) ( )
2 2 1 1
p p p p . i deci ( )
2 1
, p p a fost definit doar
prin intermediul i .

2. ( )
n
p p ,...,
1
nu este valid. Fie ( ) ( ) [ ]
3 2 1 3 2 1
: , , p p p p p p .


1
p
2
p
3
p
2 1
p p ( )
3 2 1
p p p ( ) [ ]
3 2 1
p p p


1
i 1 1 1 1 1 0
1 1 0 1 0 1
1 0 1 0 0 1
1 0 0 0 0 1
0 1 1 0 0 1
0 1 0 0 0 1

2
i 0 0 1 1 1 0
0 0 0 1 0 1

Cele dou interpretri n care este fals sunt prima i a aptea; le renumerotm
1
i i
2
i . Construim acum funcia
m
i i
g g h = ...
1
, adic
( ) ( ) ( )
3 2 1 3 2 1 3 2 1
, ,
2 1
p p p p p p p p p g g h
i i
= = = . S artm
acum, prin transformri sintactice, c ( )
3 2 1
, , p p p poate fi redat n expresia de mai sus, care
conine doar operatorii i .
( )
3 2 1
, , p p p ( ) [ ]
3 2 1
p p p = eq {[ ( ) ( )
2 1 2 1
p p p p ]
3
p } eq
( ) ( ) [ ]
3 2 1 3 2 1
p p p p p p eq ( ) ( )
3 2 1 3 2 1
p p p p p p .
n cazul funciei ( ) ( ) q p p p =
2 1
, procedm similar.
Adic ( ) ( )
2 1 2 1
2 1
p p p p g g h
i i
= = eq ( ) ( )
2 1 2 1
p p p p eq
( ) ( )
1 2 2 1
p p p p eq
2 1
p p .
Teorema 1 exprim un rezultat fundamental cu privire la completitudinea funcional a
mulimilor de operatori. Fiindc conjuncia poate fi definit utiliznd i sau i (i.e.
( ) ( ) ( ) q p q p q p
df df
= = , rezult c { } = , M i { } = , M formeaz, de
asemenea, mulimi funcional complete de operatori. Mai mult, definiiile p p p
df
/ = i
19
( ) q p q p
df
/ = ne arat c { } / = M formeaz o astfel de mulime funcional complet. Iar
definiiile p p p
df
= i ( ) q p q p
df
= ne arat c i i pot fi reduse la . i
fiindc { } = , M este o mulime funcional complet de operatori, rezult c i { } = M
formeaz o astfel de mulime.
Cum { } = , M i { } = , M sunt mulimi funcional complete, conchidem c
{ } = , , M este funcional complet. Dei acest lucru rezult cu claritate din cele de mai
sus, vom demonstra acest fapt ntr-o teorem al crei rezultat este paralel celui coninut n
Teorema 1.

Teorema 2. { } = , , M este funcional complet. (Echivalent: orice funcie de
adevr a
p
L poate fi generat de o expresie care conine strict operatorii negaie, conjuncie
i disjuncie).
Demonstraie. Vom considera din nou funciile
ik
f i
i
g , aa cum au fost definite n
Teorema 1. Dup cum funcia ( )
n
p p ,...,
1
este sau nu o formul nesatisfiabil vom avea, din
nou, dou cazuri:
1. ( )
n
p p ,...,
1
este o formul nesatisfiabil. n acest caz ( )
n
p p ,...,
1
poate fi scris
echivalent / echiveridic n forma: ( ) ( ) ( )
n n
p p p p p p ...
2 2 1 1
.
Exemplu. ( )
n
p p ,...,
1
: ( ) ( ) [ ] ( ) { }
3 1 3 2 2 1
p p p p p p
( ) ( ) [ ] ( ) { }
3 1 3 2 2 1
p p p p p p eq ( ) ( ) [ ] ( ) { }
3 1 3 2 2 1
p p p p p p
eq ( ) ( ) [ ] ( )
3 1 3 2 2 1
p p p p p p eq ( ) ( ) [ ]
3 1 3 2 2 1
p p p p p p eq
( ) ( ) ( ) ( )
3 1 3 2 3 1 2 2 3 1 3 1 3 1 2 1
p p p p p p p p p p p p p p p p
eq ( ) ( ) ( ) ( )
3 3 2 2 3 3 1 1
p p p p p p p p eq ( ) ( ) ( )
3 3 2 2 1 1
p p p p p p .

2. ( )
n
p p ,...,
1
este o formul satisfiabil (n sens larg). n acest caz, din cele
n
2
interpretri vom alege, de data aceasta, acele interpretri (i.e. linii) n care ( )
n
p p ,...,
1
ia
valoarea logic adevrat. Fie
l
i i ,...,
1
toate aceste interpretri. Construim acum o funcie
l
i i
g g h =

...
1

i punem, simplu, ( )
n
p p ,...,
1

= h .
Exemplu. ( )
n
p p ,...,
1
: ( ) [ ]
3 2 1
p p p , adic formula luat la exemplul Th1, cazul
2. n acest caz ( )
n
p p ,...,
1

= h =
( ) ( ) ( ) ( )
3 2 1 3 2 1 3 2 1 3 2 1
p p p p p p p p p p p p ( )
3 2 1
p p p
( )
3 2 1
p p p . Putem verifica acest lucru, obinnd acelai rezultat prin transformri
sintactice corecte ale formule ( )
n
p p ,...,
1
.
( ) [ ]
3 2 1
p p p eq ( ) ( ) [ ] { }
3 2 1 2 1
p p p p p eq ( ) ( ) [ ]
3 2 1 2 1
p p p p p
eq ( ) ( ) [ ]
3 2 1 2 1
p p p p p eq ( ) ( ) ( ) ( )
3 2 2 1 2 2 1 1 1
p p p p p p p p p
eq ( ) ( )
3 2 1 2 1
p p p p p .
Pentru a ajunge la rezultatul cutat va trebui ca n fiecare disjunct s introducem
variabilele care lipsesc. n exemplul nostru, n primi doi disjunci lipsete variabila
3
p iar n
ultimul lipsesc variabilele
1
p i
2
p . Dac D este disjunctul considerat, atunci introducerea
unei variabile
i
p se face dup urmtoarea relaie:
20
D eq ( )
i i
p p D eq ( ) ( )
i i
p D p D .
Faptul c aceast relaie are loc este uor de remarcat. Cci
i i
p p ia ntotdeauna
valoarea logic adevrat, iar adugarea unui argument adevrat unei conjuncii (D fiind o
conjuncie de variabile propoziionale negate sau nenegate) nu-i altereaz valoarea de adevr.
Pe baza acestei relaii avem:
2 1
p p eq ( ) ( )
3 3 2 1
p p p p eq ( ) ( )
3 2 1 3 2 1
p p p p p p
2 1
p p eq ( ) ( )
3 2 1 3 2 1
p p p p p p
3
p eq ( ) ( )
1 3 1 3
p p p p eq
eq ( ) ( ) ( ) ( )
2 1 3 2 1 3 2 1 3 2 1 3
p p p p p p p p p p p p
n fine ( )
n
p p ,...,
1
( ) ( ) ( ) =
3 2 1 3 2 1 3 2 1
p p p p p p p p p
( ) ( ) ( )
3 2 1 3 2 1 3 2 1
p p p p p p p p p , de unde, prin reordonarea
disjuncilor (pe baza comutativitii), dup ce am eliminat disjuncii care se repet, obinem
rezultatul dorit.

Exerciii.
1. Se d urmtorul ir de valori de adevr, care reprezint valorile unei funcii de
adevr binare ( )
2 1
, p p , n asignarea standard: 1100.
a) S se determine, pe baza Th 1 i Th 2 de mai sus, dou expresii, una care conine strict
operatorii i iar cealalt operatorii , i i care pot genera funcia dat.
b) S se demonstreze, prin transformri sintactice corecte, echiveridicitatea ( )
2 1
, p p eq
1
p ,
n ambele cazuri.
Soluie. ( )
2 1
, p p este prependena, adic

1
p
2
p ( )
2 1
, p p

1 1 1
1 0 1
0 1 0
0 0 0

a) n acord cu Th 1 ( )
2 1
, p p ( ) ( )
2 1 2 1
p p p p h = = , iar n acord cu Th 2,
( )
2 1
, p p ( ) ( )
2 1 2 1
p p p p h = =

.
b) ( ) ( )
2 1 2 1
p p p p eq ( ) ( )
2 1 2 1
p p p p eq ( )
2 2 1
p p p eq
1
p .
Similar pentru cealalt expresie.

2. Aceleai cerine ca la exerciiu 1 pentru funciile p , q i q .

3. Se dau urmtoarele funcii de adevr:

1

9
( ) [ ] ( ) r p r q p = /
( ) [ ]/
2
r q p + = [ ( ) r q p ]
( ) [ ] ( ) r p r q p = /
3

( ) ( ) [ ] ( ) r p r p q p =
4


9
n cele ce urmeaz vom omite menionarea argumentelor dup simbolul , iar pentru variabile vom utiliza
simbolurile q p, ,..., n loc de
2 1
, p p ,...
21
( ) ( ) ( ) [ ] q p q p q p + =
5

a) Construii matricele acestor funcii de adevr.
b) Determinai, n fiecare caz, dou expresii, una care conine strict operatorii i iar
cealalt operatorii , i i care pot genera funcia dat.
c) Verificai acest fapt prin transformri sintactice adecvate.
d) Pentru
1
construii o expresie echiveridic n care operatorul nu mai apare; pentru
2
, una n care + i nu mai apar; pentru
3
, o expresie care nu conine iar
pentru
4
i
5
construii expresiile echiveridice corespunztoare care nu conin .


2.1.4. Procedee de decizie n
p
L

Aa cum am vzut n paragraful 2.1.2.1, formulele
p
L pot fi formule ntotdeauna
adevrate (valide), uneori adevrate (satisfiabile) sau niciodat adevrate (nesatisfiabile). n
practic este necesar ca, de fiecare dat, s putem spune crei clase i aparine o formul
oarecare a
p
L . nainte de toate ne intereseaz s putem decide dac o formul a
p
L este valid
sau nu.
Definiie 1. A decide n
p
L nseamn a gsi un procedeu efectiv prin care, ntr-un
numr finit de pai, s se poat stabili dac o formul arbitrar a
p
L este valid sau nu.
Aa cum vom vedea mai jos, prin aplicarea oricruia din procedeele descrise vom
putea stabili, n cazul n care formula este nevalid, dac formula respectiv este satisfiabil
sau nu.

2.1.4.1. Procedeul matriceal

Procedeul matriceal este cel descris n paragraful 2.1.2.3. Decizia cu ajutorul acestui
procedeu o facem n acord cu definiiile 1 3 ale acelui paragraf. S mai considerm un
exemplu simplu.
Fie ( ) [ ] r q p / : [ ( ) q r p ]
n acord cu algoritmul prezentat n 2.1.2.3 matricea formulei este:

p q r q q p / ( ) r q p / r r p ( ) q r p

1 1 1 0 1 1 0 0 0 0
1 1 0 0 1 0 1 0 0 1
1 0 1 1 0 1 0 0 0 0
1 0 0 1 0 1 1 0 0 0
0 1 1 0 1 1 0 1 1 1
0 1 0 0 1 0 1 0 0 1
0 0 1 1 1 1 0 1 0 0
0 0 0 1 1 0 1 0 0 1


n acord cu definiia 3 formula este satisfiabil (realizabil), deoarece coloana
final, care red valorile logice ale formulei , pentru toate cele 8 interpretri ale variabilelor
ei, conine valori neomogene de adevr.
22


2.1.4.2. Reductio test

Indiscutabil, procedeul matriceal devine inconvenabil atunci cnd numrul variabilelor
propoziionale crete. De aceea, pentru verificarea validitii unei formule a
p
L , putem
proceda prin reducere la absurd, n urmtorul fel. Presupunem c formula dat, , este
nevalid. Exist, aadar, o interpretare a variabilelor ei care falsific formula . Dac n
ncercarea de a gsi o astfel de interpretare ajungem la o contradicie, atunci formula nu poate
fi falsificat i deci este o formul valid. n caz contrar, este nevalid. Acest procedeu se
numete reductio test.
Exemplu.
( ) ( ) ( ) [ ] q r p r q p :
Presupunem c poate fi falsificat. Aceasta nseamn c ( ) 1 = q p , ( ) 1 = p r i
( ) 0 = q r . Din falsitatea formulei q r deducem 0 = r i 0 q = . Cum ( ) 1 = p r iar 0 = r ,
rezult c 1 p = . Dac transferm aceste valori logice n antecedentul implicaiei, q p ,
rezult c implicaia q p este adevrat (n acord cu presupunerea fcut) atunci cnd
1 = p i 0 = q . Contradicie! i deci nu poate fi falsificat, echivalent este o formul
valid a
p
L .

Exerciii. Decidei cu ajutorul reductio test asupra urmtoarelor formule:
( ) ( ) [ ] ( ) r p r q q p :
1

( ) [ ] ( ) r p r q p / :
2

( ) r q q p + :
3

( ) [ ] ( ) r p r q p :
4



2.1.4.3. Procedeul Quine

Este un procedeu de decizie mai elegant dect cel matriceal, mai ales atunci cnd
numrul variabilelor propoziionale este mare.
Procedeul Quine
10
se bazeaz pe asignarea succesiv de valori de adevr variabilelor
formulei considerate i pe aplicarea regulilor de adevr ale operatorilor logici din formul. De
regul, pentru a simplifica ct mai mult formula care trebuie evaluat se alege mai nti
variabila care apare cel mai frecvent i i se atribuie, alternativ, valorile logice 1, respectiv 0.
Dac n felul acesta nu se ajunge la o valoare de adevr determinat, procedeul continu cu
variabila urmtoare, pn cnd se obin doar valori de adevr. Decizia o vom face similar
procedeului matriceal, adic pe baza definiiilor 1 3 din 2.1.2.3.
Formularea regulilor de adevr ale operatorilor logici o facem pe baza matricei
operatorului respectiv. Fiecare operator este explicitat prin dou reguli, una pentru cazul n
care un argument este adevrat iar cealalt pentru cazul n care un argument este fals. Prin
aplicarea unei reguli asupra formulei care-l conine, formula se reduce fie la o valoare de
adevr, fie la cellalt argument negat sau nenegat.



10
Cf. W.v.O. Quine, Methods of Logic, Holt, Rinehort and Winston, Inc., 1972.
23

Regulile de adevr ale operatorilor logici.
: ( ) .
1
R . Dac ntr-o conjuncie un argument este adevrat, atunci valoarea
logic a conjunciei se reduce la valoarea celuilalt argument.

2
R . Dac ntr-o conjuncie un argument este fals, atunci valoarea logic
a conjunciei se reduce la fals.

: ( ) (Exerciiu)

: ( )
1
R . Dac ntr-o implicaie un argument este adevrat, atunci valoarea
logic a implicaiei se reduce la valoarea consecventului.

2
R . Dac ntr-o implicaie un argument este fals, atunci valoarea logic
a implicaiei se reduce la valoarea negat a antecedentului.
Formularea acestor reguli pentru implicaie o facem cu uurin comparnd, n
matricea implicaiei, valorile funciei cu valorile argumentelor ei. Pentru
1
R , de exemplu,
lum cazurile (i.e. liniile) n care (cel puin) un argument este adevrat, adic primele trei linii.
Observm c valorile funciei, pentru primele trei categorii de asignri, coincid cu valorile
consecventului. Pentru
2
R procedm similar: lum liniile n care (cel puin) un argument este
fals, adic liniile 2, 3 i 4, i observm c valorile funciei coincid cu valorile negate ale
antecedentului. La fel procedm i n stabilirea regulilor operatorilor , i # (Exerciiu).

: ( )
1
R . Dac ntr-o echivalen un argument este adevrat, atunci valoarea
logic a echivalenei se reduce la valoarea celuilalt argument.

2
R . Dac ntr-o echivalen un argument este fals, atunci valoarea
logic a echivalenei se reduce la valoarea negat a celuilalt argument.

: + ( ) + (Exerciiu)

: / ( ) /
1
R . Dac ntr-o incompatibilitate un argument este adevrat, atunci
valoarea logic a incompatibilitii se reduce la valoarea negat a celuilalt argument.

2
R . Dac ntr-o incompatibilitate un argument este fals, atunci valoarea
logic a incompatibilitii se reduce la adevrat (de ce?)

: ( ) (Exerciiu)
Remarc.
Cele ase funcii din tabelul lui Wittgenstein ( ) C T , , , , , q p q p rmn n afara
consideraiilor, deoarece ele nu coreleaz n vreun fel valorile logice ale argumentelor lor.
Exemplu. Fie ( ) [ ] ( ) q p r q p / : .
1 = p 0 = p
( ) [ ] ( ) q r q / 1 1 ( ) [ ] ( ) q r q / 0 0
( ) q r q ( ) 1 0 r
1 = q 0 = q 1 1
( ) 1 1 r ( ) 0 0 r 1
1 r 0 1
1 0
24

Exerciii. Decidei cu ajutorul procedeului Quine asupra urmtoarelor formule ale
p
L :
( ) ( ) ( ) [ ] r p r q q p :
1

( ) ( ) [ ] ( ) r p r q q p :
2

( ) [ ] ( ) [ ] t s p q q p + / / :
3

:
4
[ ( ) r q p ] ( ) [ ] q p t
( ) ( ) [ ] p q p q p :
5

( ) ( ) [ ] ( ) s s r r q p / / :
6

( ) ( ) [ ] ( ) ( ) [ ] s q r p s r q p :
7

Remarc. Artai c formula din
7
rmne o formul valid a
p
L dac operatorul
din consecventul implicaiei este nlocuit cu oricare din urmtorii operatori binari ai
p
L :
+ , /, , , , , , ,#.

2.1.4.4. Formele normale n
p
L

Definiie 1. Formele normale sunt expresii a cror structur sintactic ne permite s
decidem asupra unei formule a
p
L .
Aadar, atunci cnd decidem cu ajutorul formelor normale nu mai asignm valori de
adevr variabilelor propoziionale, ci construim nite expresii, logic echivalente formulei
asupra creia vrem s decidem, i decidem doar pe baza configuraiilor de simboluri. n toate
transformrile sintactice efectuate dimensiunea semantic e una implicit.
n logic, n general, formele normale sunt de o mare varietate. Lucrarea de fa
trateaz doar cazul n care n aceste construcii apar doar operatorii , , , numii operatori
booleeni (motiv pentru care ele se mai numesc i forme normale booleene).
Formele normale booleene se constituie n dou clase distincte, dup cum operatorul
principal (cel care d numele expresiei) este conjuncia sau disjuncia.

Definiie 2. O formul a
p
L este n forma normal conjunciv (abreviat:
c
) dac
are forma unei conjuncii
n
...
1
( ) 1 n , n care fiecare conjunct
i
( ) n i ,..., 1 = are
forma unei disjuncii
m
i i
...
1
( ) 1
i
m , ai crei membri sunt variabile propoziionale
nenegate sau negate o singur dat.

Teorema 1. Orice formul a
p
L admite o form normal conjunctiv logic echivalent
(i. e.
c
).
Demonstraie. Demonstraia acestei teoreme o vom face, simplu, indicnd algoritmul
aducerii unei formule date la forma normal conjunctiv. Algoritmul are urmtorii pai:
1. Se nlocuiesc toate subformulele care conin ali operatori dect operatorii , , cu
expresii echivalente care conin doar aceti operatori. n felul acesta obinem o formul,
echivalent formulei date, dar care conine numai operatori booleeni. De exemplu, dac
este formula ( ) [ ] ( ) q q r q p / , atunci avem, corespunztor, subformulele q p i
q q / care trebuie transformate echivalent n q p i ( ) q q . i obinem astfel formula
( ) [ ] ( ) q q r q p :
1
, echivalent formulei ; aadar
1
.
25
2. Se nlocuiesc toate subformulele n care negaia neag o expresie care conine un
operator binar, cu expresii echivalente n care negaia neag numai variabile propoziionale.
n
1
, ( ) q q devine q q , i deci
1
devine, echivalent,
( ) [ ] ( ) q q r q p :
2
. i deci
2 1
.
3. Se nlocuiesc toate subformulele de forma
i
p , unde
i
p este o variabil
propoziional, cu
i
p . Firete, dac avem mai multe negaii, eliminarea lor se face astfel nct
ceea ce pstrm este o variabil propoziional nenegat sau negat o singur dat (cf.
formulelor 1 i 2, 2.1.2.3). i obinem astfel ( ) [ ] ( ) q q r q p :
3
, astfel c
3 2
.
4. Se nlocuiesc succesiv toate acele subformule de forma ( )
3 2 1
cu expresiile
echivalente corespunztoare, de forma ( ) ( )
3 1 2 1
. i n felul acesta din
3
obinem
formula echivalent ei: ( ) ( ) q q r q q q p
c
: , i care este, n acord cu Def. 2,
forma normal conjunctiv a formulei iniiale . i astfel
c

3
. De unde, pe baza
tranzitivitii echivalenei obinem
c
.
Remarc. n aceste transformri echiveridice adesea aplicarea algoritmului nu este
obligatorie, deoarece se pot executa simultan mai muli pai ai algoritmului.
Teorema urmtoare ne spune cum stabilim cu ajutorul formelor normale conjunctive
dac o formul a
p
L este valid sau nu.

Teorema 2. O formul a
p
L , aflat n forma normal conjunctiv, este o formul
valid a
p
L ddac fiecare conjunct conine cel puin o variabil propoziional att negat
ct i nenegat.
Demonstraie. Dac formula este valid, atunci ea este adevrat n orice
interpretare a variabilelor sale. Cum
c
i , rezult c
c
este o formul valid, fapt
evident deoarece fiecare conjunct conine formula valid
i i
p p . Reciproc, dac fiecare
conjunct al formulei
c
are forma
m i i
p p p p ... ...
1
, atunci, pe baza matricei
operatorului conchidem c un astfel de conjunct este ntotdeauna adevrat (i.e. valid),
deoarece conine disjuncia valid
i i
p p . i astfel, indiferent de asignrile fcute celorlalte
variabile propoziionale din conjunct, el este unul valid. i astfel
c
este o formul valid.
ns este echivalent cu
c
. i deci este o formul valid.
Dac, dimpotriv,
c
nu are forma menionat de teorem, adic cel puin un conjunct
nu conine o variabil propoziional att negat ct i nenegat, atunci este nevalid
(argumentai).

Definiie 3. O formul a
p
L este n forma normal conjunctiv perfect (abreviat:
x
c
) dac este n forma normal conjunctiv i fiecare conjunct conine toate variabilele
propoziionale ale formulei, negate sau nenegate.
Teorema 3. Orice formul a
p
L admite o form normal conjunctiv perfect logic
echivalent (i.e.
x
c
).
Demonstraie. Vom proceda ca mai sus, la Th. 1, indicnd algoritmul aducerii unei
formule date la forma normal conjunctiv perfect. Potrivit teoremei 1, formula admite
forma normal conjunctiv
c
. Dac unul dintre conjunci,
i
nu conine variabila
26
propoziional
k
p , atunci aceast variabil se introduce n conjunctul
i
pe baza urmtoarei
transformri echivalente: ( ) [ ] ( ) ( ) [ ]
k i k i k k i i
p p p p . Pe baza acestor
echivalene putem introduce, n fiecare conjunct, toate variabilele formulei . Forma normal
conjunctiv perfect astfel obinut este echivalent cu
c
i deci cu (prin tranzitivitatea
). Aadar, o formul a
p
L este valid ddac forma ei normal conjunctiv perfect este
valid.
n formula
c
, din exemplul de mai sus, n primul conjunct lipsete r iar n al doilea q.
Introducem aceste variabile, corespunztor, n modul mai sus indicat.
Primul conjunct, q q q p , devine, echivalent, ( ) ( ) r r q q q p ,
respectiv ( ) ( ) r q q q p r q q q p . Al doilea, q q r , devine
( ) ( ) p p q q r , adic ( ) ( ) p q q r p q q r . i astfel,
x
c
: ( ) ( ) r q q q p r q q q p ( ) ( ) p q q r p q q r .

Definiie 4. O formul a
p
L este n forma normal disjunctiv (abreviat:
d
) dac
are forma unei disjuncii
n
...
1
( ) 1 n , n care fiecare disjunct
i
( ) n i ,..., 1 = are forma
unei conjuncii
m
i i
...
1
( ) 1
i
m , ai crei membri sunt variabile propoziionale nenegate
sau negate o singur dat.
Teorema 4. Orice formul a
p
L admite o form normal disjunctiv logic echivalent
(i.e.
d
).
Demonstraie. Similar teoremei 1, vom indica algoritmul aducerii unei formule date la
forma normal disjunctiv. Primii 3 pai sunt cei menionai la teorema 1.
Pasul 4. Se nlocuiesc succesiv toate acele subformule de forma ( )
3 2 1
cu
expresiile echivalente corespunztoare, de forma ( ) ( )
3 1 2 1
. n felul acesta obinem
forma normal disjunctiv,
d
, a formulei , astfel c
d
.
Din formula din exemplul precedent (din pasul 3) ( ) [ ] ( ) q q r q p obinem
astfel, n pasul 4, ( ) ( ) q q r q r p
d
: .
Dac prin intermediul formelor normale conjunctive putem decide dac o formul este
valid sau nu, cu ajutorul formelor normale disjunctive putem testa nesatisfiabilitatea
formulei n cauz.

Teorema 5. O formul a
p
L , aflat n forma normal disjunctiv, este o formul
nesatisfiabil a
p
L ddac fiecare disjunct conine cel puin o variabil propoziional att
negat ct i nenegat.
Demonstraie. Dac formula este nesatisfiabil, atunci ia valoarea logic fals
pentru orice interpretare a variabilelor sale. Cum
d
, rezult c i
d
este
nesatisfiabil. ns cum
d
este o disjuncie de conjunci, rezult c fiecare disjunct este
nesatisfiabil, fapt evident din construcia lui sintactic, deoarece este o conjuncie care conine
conjuncia nesatisfiabil
i i
p p . Reciproc (similar).
Dac, dimpotriv,
d
nu are forma menionat de teorem, adic cel puin un disjunct
nu conine o variabil propoziional mpreun cu negaia ei, atunci formula nu este
nesatisfiabil (de ce?).

27

Exemplu. ( ) [ ] ( ) ( ) [ ] r q r q q q p / :
Aducem formula la forma normal disjunctiv.
1. ( ) [ ] ( ) ( ) [ ] { } r q r q q q p ( ) ( ) ( ) [ ] r q r q q q p
2. ( ) ( ) ( ) [ ] r q r q q q p
3. ( ) ( ) ( ) [ ] r q r q q q p
4. ( ) ( ) ( ) [ ]
d
r q r r q q q q p
Aadar, formula este nesatisfiabil.
Remarc 1. Dac o formul a
p
L nu satisface nici teorema 2 i nici teorema 5,
atunci este o formul satisfiabil.

Definiie 5. O formul a
p
L este n forma normal disjunctiv perfect (abreviat:
x
d
) dac este n forma normal disjunctiv i fiecare disjunct conine toate variabilele
propoziionale ale formulei, negate sau nenegate.
Teorema 6. Orice formul a
p
L admite o form normal disjunctiv perfect logic
echivalent (i.e.
x
d
).
Demonstraie. Vom proceda similar demonstraiei teoremei 3 ndicnd algoritmul
construciei formulei
x
d
. Potrivit teoremei 4, orice formul a
p
L admite o form normal
disjunctiv logic echivalent. Dac, o dat construit
d
, unul dintre conjunci,
i
, nu conine
o variabil propoziional
j
p , atunci vom introduce aceast variabil n disjunctul respectiv,
pe baza urmtoarelor echivalene:
i
[ ( )
j j i
p p ] [ ( ) ( )
j i j i
p p ]. n felul
acesta putem introduce, n fiecare disjunct, variabilele care apar n formula , obinnd astfel
x
c
astfel nct
x
c
.
n exemplul de mai sus, fiecare dintre cei trei disjunci are o variabil lips. n primul
disjunct, de exemplu, putem introduce variabila r astfel:
( ) q q p ( ) ( ) [ ] ( ) ( ) [ ] r q q p r q q p r r q q p .
Similar procedm cu ceilali disjunci i, n final, construim
x
d
(exerciiu).
n fine, ncheiem acest paragraf cu cteva consideraii privitoare la relaia dintre
formele normale perfecte i relaia de consecin semantic.
Pe baza formelor normale perfecte putem determina:
a) toate consecinele semantice ale unei formule date
b) toate premisele unei formule date
n primul caz, construim mai nti forma normal conjunctiv perfect,
x
c
, a formulei
date, . Consecinele semantice ale formulei vor fi:
a) fiecare conjunct al
x
c

b) fiecare conjuncie de conjunci din
x
c

c) formula ca atare,
x
c
.
n al doilea caz, construim mai nti forma normal disjunctiv perfect,
x
d
, a
formulei date, . Vor fi premise ale formulei:
a) fiecare disjunct al
x
d

b) fiecare disjuncie de disjunci din
x
d

28
c) formula ca atare,
x
d
.
Remarc 2. O dat construit matricea unei formule, formele normale perfecte pot fi,
la rndul lor, construite direct de pe matrice. Fie, de exemplu, formula din 2.1.4.1. Dac
din matricea acestei formule alegem acele linii n care ia valoarea logic adevrat, atunci
forma normal disjunctiv perfect a formulei se obine legnd conjunctiv variabilele fiecrei
linii dintre cele alese (n raport cu valoarea logic a variabilei respective) i, apoi, conectnd
disjunctiv liniile. Pentru formula din 2.1.4.1. avem:
( ) ( ) ( ) ( ) r q p r q p r q p r q p
x
d
:
Pentru construirea formei normale conjunctive perfecte procedm dup cum urmeaz.
Alegem acele linii n care ia valoarea logic fals, legm disjunctiv variabilele
propoziionale n raport invers cu valoarea lor logic, iar apoi conectm conjunctiv aceste
linii. Pentru formula din 4.1 avem:
( ) ( ) ( ) ( ) r q p r q p r q p r q p
x
c
:
Dac aducem formula la
x
d
i
x
c
vom obine, corespunztor, expresiile de mai sus
(exerciiu).



Exerciii.

a) Se dau urmtoarele formule ale
p
L :
( ) ( ) ( ) [ ] r q r p q p :
1

( ) [ ] ( ) r p r q p + / :
2

( ) [ ] ( ) r r r q p :
3

( ) ( ) q p q p :
4

( ) [ ] p r r p + / :
5

1. Decidei cu ajutorul procedeului matriceal asupra acestor formule.
2. Pe baza matricelor astfel obinute construii formele normale perfecte ale
lor.
3. Verificai rezultatul astfel obinut, cu ajutorul procedeului formelor
normale.
4. Determinai toate consecinele i toate premisele fiecrei formule.

b) Ce corelaie exist ntre funciile h i

h din 3.4 i formele normale perfecte?

2.1.5. Teoreme fundamentale ale
p
L

S vedem, n fine, n acest paragraf, cteva teoreme importante ale
p
L , altele dect
cele menionate n paragrafele anterioare.
S lum mai nti un exemplu. Formula ( ) p q p : este o formul valid a
p
L
(verificai acest lucru). Dac n aceast formul n locul variabilei p, n cele dou ocurene ale
sale, vom pune o formul oarecare a
p
L , fie aceasta p/r, iar n locul variabilei q vom pune
r q , atunci vom obine urmtoarea formul a
p
L : ( ) ( ) ( ) [ ] r p r q r p / / . Cum formula
este o formul valid i formula obinut din , prin substituiile menionate, este tot o
29
formul valid (exerciiu). Aadar, orice formul de forma formulei este o formul valid.
Iar acest lucru este valabil nu numai despre formula de mai sus, ci despre orice formul
valid a
p
L n care facem substituii.

Teorema substituiei. Fie ( )
n
p p ,...,
1
o formul a
p
L care conine variabilele
propoziionale
n
p p ,...,
1
. Fie ( )
n n
p p / ,..., /
1 1

formula obinut din ( )

n
p p ,...,
1
prin
substituia variabilelor
n
p p ,...,
1
n toate ocurenele lor, cu formule arbitrare
n
,...,
1
.
Atunci
Dac , atunci

.
Demonstraie.
Dac , atunci ia valoarea logic adevrat pentru orice interpretare a variabilelor
n
p p ,...,
1
; aadar, valoarea logic a formulei este independent de asignrile fcute
variabilelor ei. ns, n

, n locul variabilelor
n
p p ,...,
1
intr formulele
n
,...,
1
care, pentru
orice interpretare a variabilelor care le conin, iau succesiv valorile 1 i 0, adic valorile logice
posibile ale celor n variabile propoziionale din . i deci i formula

este indiferent la
aceste valori logice ale formulelor
n
,...,
1
; aadar

este o formul valid.

Remarci. 1. Conversa acestei teoreme nu este n general valabil. Formula
( ) ( ) q p q p este o formul valid a
p
L . Fie q p :
1
iar q p :
2
. Dac n locul
acestor formule punem, corespunztor, variabilele r i s, atunci, prin substituia fcut,
obinem formula s r a
p
L .
2. Enunul teoremei substituiei conine ideea substituiei simultane a
variabilelor propoziionale
n
p p ,...,
1
cu formule arbitrare
n
,...,
1
. ns ntr-o formul valid
a
p
L putem alege orice numr de variabile n vederea substituirii lor, nu neaparat toate. n
formula de mai sus puteam s-l substituim pe p cu p/r i att. q putea rmne q (de altfel, n
acest din urm caz, puteam considera substituia redundant a variabilei q cu ea nsi).
3. Prin substituie, dintr-o formul valid a
p
L putem construi o
infinitate de formule ale
p
L . Prin teorema substituiei i aceste formule vor fi valide, fr a fi
nevoie s le testm validitatea.

S lum acum urmtorul exemplu. Fie ( ) ( ) [ ] ( ) q p r q q p / :

, o formul a
p
L care conine subformula : q p . Fie ( ) ( ) [ ] ( ) q p r q q p / :

formula

de
mai sus n care n locul subformulei am pus formula : q p . Atunci, cum este
echivalent cu , rezult c

(exerciiu). Aceasta este teorema nlocuirii, pe care am
utilizat-o n cteva rnduri n paragrafele anterioare
11
, chiar dac n-am menionat-o.

Teorema nlocuirii (echivalenilor). Dac este o subformul a lui (simbolic

)
iar

se obine din nlocuirea a zero sau mai multe ocurene ale subformulei n cu o
formul , atunci
Dac , atunci

.
Demonstraie (inducie pe gradul formulei ).

11
Comp. Formele normale n
p
L .
30
n demonstraia acestei teoreme ne limitm la cazul n care n nlocuim o singur
ocurene a subformulei cu formula . n felul acesta nu se restrnge nicidecum
generalitatea teoremei, deoarece, evident, n cazul n care nlocuim zero ocurene ale
subformulei cu , atunci

este tocmai formula , iar dac vrem s nlocuim mai multe

ocurena ale lui cu n formula , atunci repetm aplicarea teoremei n varianta pe care-o
demonstrm.
1. nu conine nici un operator. este aadar o variabil propoziional, p,
subformula este tot p, iar

este . Cu ipoteza din enunul teoremei (i.e. ),

teorema nlocuirii are loc.
2. Presupunem c teorema are loc pentru orice formul al crei grad este mai mic
dect n ( ) 1 n i artm, n pasul inductiv, c teorema are loc i pentru o formul al crei
grad este n.
n acord cu definiia conceptului de formul, are, n acest caz, una din urmtoarele
forme: a) ; b) , unde denot orice operator binar menionat n definiie.
n toate aceste cazuri gradul formulelor i este mai mic dect n i potrivit ipotezei
induciei, teorema are loc pentru formulele i ; aadar
Dac , atunci 1.

i 2.


n cazul a) are forma . i deci dac , atunci

(prin ipoteza
induciei). ns (

) (

). i astfel, dac , atunci

,
adic

.
n cazul b) are forma . Prin ipoteza induciei teorema are loc pentru i . i
astfel obinem ( ) ( )

(prin Remarc 4.3), unde

este ( )

, iar


este ( )

.

Remarc. ntre substituie i nlocuire exist urmtoarele deosebiri:
a) Operaia substituiei nseamn substituia unei / unor variabile propoziionale cu formule
arbitrare ale
p
L (nu substituim formule arbitrare cu formule arbitrare!). n cazul nlocuirii, n
cazul unei subformule din formula dat punem o formul arbitrar a
p
L (sub asumpia
echivalenei lor).
b) Substituia unei variabile propoziionale p cu o formul arbitrar a
p
L trebuie realizat n
toate ocurenele variabilei p; nlocuirea, n schimb, se poate realiza numeric arbitrar.

Teorema de normalitate. Pentru 1 n :
n n
, ,...,
1 1
ddac
1 1
,...,
n

n
.
Demonstraie (reductio ad absurdum)
a) Dac
n n
, ,...,
1 1
atunci
1 1
,...,
n

n
.
Presupunem 1.
n
,...,
1
i 2 non
1 1
,...,
n

n
. Din 1 deducem c pentru orice
interpretare a variabilelor propoziionale care apar n
n
,...,
1
, are loc: 3. dac
1 ...
1
=
n
, atunci 1 = (prin definiie). Din 2 deducem c exist o interpretare a
variabilelor formulelor date astfel c 4. 1 ...
1 1
=
n
i 5. 0 =
n
. Din 5 deducem 6.
1 =
n
i 7. 0 = . ns 7 contrazice 3, cci dac 1 =
n
, atunci 1 ...
1
=
n
i deci 1 = .
b) Dac
1 1
,...,
n

n
, atunci
n
,...,
1
.
31
Presupunem 1.
1 1
,...,
n

n
i 2. non
n
,...,
1
. Din 1 deducem c n orice
interpretare a variabilelor din formulele date avem: 3. dac 1 ...
1 1
=
n
atunci
1 =
n
. Iar din 2 deducem c exist o interpretare astfel c 4. 1 ...
1
=
n
i 5. 0 = .
ns, sub asumpia adevrului formulelor
1 1
,...,
n
(din 3) am dedus 1 =
n
. Cum
1 =
n
(din 4) rezult c 1 = , ceea ce contrazice 5.

Corolar. Pentru 1 n :
n n
, ,...,
1 1
ddac ( ) ( ) ... ...
1 1

n n
.

Demonstraie (prin n aplicri succesive ale teoremei de normalitate). Semnificaia
acestui corolar rezid n aceea c problema referitoare la consecinele semantice ale unei
mulimi de formule se reduce la problema ce formule sunt valide.


Teorema (*). Fie ( )
n
p p ,...,
1
o formul a
p
L , care conine variabilele propoziionale
n
p p ,...,
1
negate sau nenegate. Fie

formula care rezult din prin nlocuirea

operatorilor formulei cu dualii corespunztori i a variabilelor propoziionale
n
p p ,...,
1
cu
negaiile lor. Atunci,

(echivalent:

).


Demonstraie.
Este suficient s demonstrm teorema pentru cazul n care singurii operatori binari
sunt i , cci utiliznd orice formul a
p
L poate fi exprimat printr-o formul care
conine doar aceti trei operatori (cf. Th. 2, 2.1.3.4). O dat adus ntr-o asemenea form, pe
baza legilor lui De Morgan (15, 27)
12
negaia unei formule care conine operatori binari se
deplaseaz succesiv n interiorul formulei, permutnd reciproc operatori binari ai formulei.
Utiliznd legile eliminrii negaiilor multiple (1, 2) simplificm formula astfel nct orice
variabil propoziional a formulei va fi negat cel mult o dat.

Exemplu.
Fie ( ) r q p : . Atunci ( ) r q p +

/ : .
Transformm formula ntr-o formul echiveridic (i deci echivalent) care conine
doar operatorii , i .
( ) r q p : eq ( ) ( ) [ ] { } r q p q p eq ( ) ( ) [ ] r q p q p eq
( ) ( ) [ ] r q p q p eq ( ) ( ) r q p q p eq
eq ( ) ( ) r q p q p .

La fel procedm cu

.
( ) r q p +

/ : eq ( ) ( ) [ ] { } r q p q p eq
( ) ( ) [ ] r q p q p eq ( ) ( ) [ ] r q p q p eq
( ) ( ) [ ] r q p q p eq ( ) ( ) [ ] r q p q p

Aceast din urm formul poate fi mai departe transformat echiveridic, astfel nct
negnd formula , de mai sus, s obinem exact formula

. Aadar,

12
Cifrele indic formulele corespunztoare din lista paragrafului 2.1.2.3.
32
( ) ( ) [ ] r q p q p eq ( ) ( ) ( ) ( ) q q q p q p p p r eq
( ) ( ) q p q p r .

Acum, dac negm formula obinem:
: ( ) ( ) [ ] r q p q p eq ( ) ( ) [ ] { } r q p q p (prin 5) eq
eq ( ) ( ) [ ] r q p q p eq ( ) ( ) r q p q p eq
eq ( ) ( ) r q p q p eq ( ) ( ) r q p q p eq

.

Teorema dualitii.
Fie , formule ale
p
L n care apar variabilele propoziionale
n
p p ,...,
1
, negate sau
nenegate. Fie

formulele care rezult din , respectiv , nlocuind operatorii

logici cu dualii corespunztori. Atunci:
1. Dac , atunci

.
2. Dac , atunci

.
3. Dac , atunci

.
4. Dac , atunci

.

Demonstraie. Pentru considerentele menionate n demonstraia teoremei precedente,
vom considera c singurii operatori binari ai formulelor , sunt i .

1. Presupunem . Prin Teorema (*) i exerciiul 3b din 2.1.2.4 rezult

.
ns dac n aceast formul valid,

, substituim simultan variabilele propoziionale

n
p p ,...,
1
cu negaiile lor, atunci obinem formula

, de asemenea valid (prin teorema
substituiei). Iar dac n aceast formul eliminm negaiile multiple, obinem formula valid

. Aadar,

.

Exemplu. Fie ( ) ( ) ( ) [ ] r p r q q p : ; atunci

: ( ) ( ) ( ) [ ] { } r p r q q p ; prin Th (*) i exerc. 3b (paragr.

2.1.2.4).


: ( ) ( ) ( ) [ ] { } r p r q q p ; prin Th substituiei

: ( ) ( ) ( ) [ ] { } r p r q q p ; prin eliminarea negaiilor multiple

(Verificarea validitii formulei

: exerciiu).

2. (similar).

3. Presupunem antecedentul condiionalului . i astfel (prin
contrapoziia implicaiei). i deci

(cci dac n formulele i nlocuim
operatorii cu dualii corespunztori i variabilele propoziionale cu negaiile lor, atunci
obinem, prin Th (*), formulele echivalente

, adic

; de unde, prin
exerc 3b, obinem

). i astfel

(prin th. substituiei) i deci


(eliminarea negaiilor multiple).

4. (similar).

33
Exerciii.

1. Construii, pe baza teoremei (*),

corespunztoare urmtoarelor formule:

( ) [ ] r r q p / :
1

( ) [ ] ( ) q p r q p + :
2

:
3
[ ( ) r q p ] ( ) [ ] r q p /
( ) [ ] r r q p :
4


2. Artai c

n fiecare caz n parte.

3. Fie ( ) ( ) [ ] ( ) p p r r q p / : . Aplicai teorema dualitii formulei i
artai, cu ajutorul procedeului matriceal c relaia condiional: dac , atunci

are
loc.