![Page 1: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/1.jpg)
![Page 2: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/2.jpg)
Pentru demonstratii in logica predicatelor, folosim toate
regulile din cadrul demonstratiilor din logica propozitiilor.
In plus, avem reguli de introducere si de eliminare pentru p , g p
fiecare din cei doi cuantificatori.
P l lil d i l i di d l l i ii i iil Pe langa regulile de inlocuire din cadrul logicii propozitiilor,
adaugam si unele specifice logicii predicatelor legate de
negarea cuantificatorilor.
![Page 3: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/3.jpg)
Daca stim xp(x) adevarat, este normal sa ne gandim ca p
este adevarat pentru oriceeste adevarat pentru orice.
Putem deduce p(a), p(b), p(c), p(a37), p(b89),…
Se poate deduce p(c) pentru orice constanta c.
m xP
P[c|x] Em
P[c|x] este o instanta de substitutie pentru P, adica variabila x este
inlocuita peste tot in P de constanta c.
Cu P am notat orice formula bine formata din logica predicatelor.
![Page 4: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/4.jpg)
Ex:
( ( ) ( d))1 x(p(x) r(x, d))2 p(a) r(a, d) E 13 p(d) r(d, d) E 1
![Page 5: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/5.jpg)
Cand putem deduce xp(x)?
D ti l t d di t l d ( ) di ibil i Daca stim ceva legat de predicatul p, de ex avem p(c) disponibil in
demonstratie.
m P
P[ || ] b i i
m P
xP[x||c] Im
P[x||c] nu este o substitutie.
Prin P[x||c] intelegem ca variabila x nu trebuie sa inlocuiasca
peste tot constanta c.
Putem alege ce aparitii sa fie inlocuite si care sa fie lasate cum erau.
![Page 6: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/6.jpg)
Ex:
1 p(a) r(a, d)
( ( ) ( )) I 2 x(p(a) r(a, x)) I 13 x(p(x) r(x, d)) I 14 x(p(x) r(a, d)) I 15 xy(p(x) r(y, d)) I 16 xyz(p(x) r(y, z)) I 1
![Page 7: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/7.jpg)
O afirmatie precum xp(x) poate fi dovedita daca fiecare substitutie posibila (p(a) p(b) ) ar fi dovedita anteriorsubstitutie posibila (p(a), p(b), …) ar fi dovedita anterior.
Exista o infinitate de constante in logica predicatelor, deci nu pot sa apara toate in demonstratie anteriorpot sa apara toate in demonstratie anterior.
Cum se poate demonstra ca:
xp(x)yp(y)
![Page 8: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/8.jpg)
xp(x)
( )yp(y)
Nu are nicio importanta pentru propozitie daca folosim
variabila x sau variabila yvariabila x sau variabila y.
1 xp(x) vrem yp(y)2 p(a) E 1
La fel, putem deduce p(b), p(c), p(a32), …
p
p p p p
Se poate asadar deduce p(c) pentru orice constanta c.
Din aceasta ne rezulta yp(y)Din aceasta, ne rezulta yp(y).
![Page 9: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/9.jpg)
xp(x)
( )yp(y)
Este important de observat ca a este o constanta aleasa
arbitrararbitrar.
Daca p(a) era o premisa, nu puteam deduce ceva despre orice y.
1 xp(x) vrem yp(y)2 p(a) E 13 yp(y) I 2
![Page 10: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/10.jpg)
Contraexemplu:
1 xp(x, a)2 p(a a) E 12 p(a, a) E 13 yp(y, y) NU ESTE CORECT!
Trebuie sa luam o constanta care nu mai apare in cadrul pdemonstratiei.
![Page 11: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/11.jpg)
1 xp(x, a)2 p(a a) E 1
T b i l i i d l
2 p(a, a) E 13 yp(y, y) NU ESTE CORECT!
Trebuie sa luam o constanta care nu mai apare in cadrul demonstratiei.
CORECT1 xp(x, a)2 p(b, a) E 1
CORECT
3 yp(y, a) I 2
![Page 12: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/12.jpg)
Constanta poate insa aparea in presupunerea unei
subdemonstratiisubdemonstratii.
De exemplu, se poate dovedi x(p(x) p(x)) fara nicio
premisa.
1 p(c)1 p(c)2 p(c) R1
( ) ( ) I 3 p(c) p(c) I 1‐24 x(p(x) p(x)) I 3
![Page 13: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/13.jpg)
O i i ifi i i l i O propozitie cu un cuantificator existential ne spune ca exista
vreun element din univers care satisface fromula.
De exemplu, xp(x) ne spune ca exista cel putin un element
care il face pe p adevarat, dar nu stim care element din U.
Daca stim xp(x) si x(p(x) q(x)), avem urmatorul p( ) (p( ) q( )),
rationament:
Exista un “c” pentru a avea p(c) adevarat Exista un c pentru a avea p(c) adevarat.
Din x(p(x) q(x)) obtinem ca si q(c) este adevarat, adica…
( )xq(x)
![Page 14: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/14.jpg)
1 xp(x) 2 x(p(x) q(x)) vrem xq(x)3 p(a)3 p(a)4 p(a) q(a) E 2
( ) E 5 q(a) E 3, 46 xq(x) I 57 xq(x) E 1, 3‐6
![Page 15: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/15.jpg)
m xPn P[x|c]*n P[x|c]p Q
Q E m, n‐p
* Constanta c nu apare in xP, in Q sau in orice alta parte a
demonstratiei.
![Page 16: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/16.jpg)
1 xp(x) vrem xp(x)2 xp(x) RA
3 p(c) Pt E4 xp(x) RA4 p( )5 p(c) E 46 p(c) R36 p(c) R3
7 xp(x) I 4‐6
8 ( ) E 8 xp(x) E 2, 3‐79 xp(x) R1
10 xp(x) I 2‐9
![Page 17: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/17.jpg)
Am aratat ca pornind de la xp(x) se ajunge la xp(x).
P t t l d t hi l t t b i i d l Pentru a arata ca cele doua sunt echivalente, trebuie sa pornim de la
cea de a doua sa ajungem la prima.
In demonstratii vom putea folosi in continuare urmatoarele In demonstratii, vom putea folosi in continuare urmatoarele
doua reguli de inlocuire de la Negarea Cuantificatorilor
(notate cu NC)
xp(x) xp(x)
xp(x) xp(x)
![Page 18: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/18.jpg)
Pentru a indica faptul ca o demonstratie este posibila, vom
folosi simbolul ⊢. A nu se confunda cu simbolul ⊨ pe care l‐am folosit pentru deductia
propozitiilor.p p
{A1, A2, ….} ⊢ B inseamna ca putem da o demonstratie pentru
B avand A A drept premiseB avand A1, A2, … drept premise.
A ⊢ B inseamna ca exista o demonstratie a lui B cu A drept
premisapremisa.
⊢ B inseamna ca exista o demonstratie a lui B care nu are
premise.
![Page 19: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/19.jpg)
D l i d iil l i i i d i i De multe ori, demonstratiile logice se mai numesc si derivari.
Deci A ⊢ B poate fi citita si ca “B este derivabil din A”.
O teorema este o propozitie care este derivabila fara nicio
premisa.
Adica T este o teorema daca si numai daca ⊢T.
Pentru a arata ca o propozitie este teorema trebuie sa dam o p p
demonstratie a acesteia.
Dar cum putem arata ca ceva nu este o teorema? Dar cum putem arata ca ceva nu este o teorema?
Daca negatia sa este o teorema, atunci problema este rezolvata.
![Page 20: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/20.jpg)
Dar pentru o propozitie care nu este nici teorema nici negatia unei Dar pentru o propozitie care nu este nici teorema, nici negatia unei
teoreme ar trebui sa aratam ca nicio demonstratie nu e posibila.
D i ii A i B d bil hi l d i i Doua propozitii A si B sunt demonstrabil echivalente daca si numai
daca fiecare poate fi derivata din cealalta.
Adica A ⊢ B si B ⊢A.
Pentru a demonstra ca doua propozitii sunt demonstrabil
echivalente, avem nevoie doar de o pereche de demonstratii.
Insa a arata ca doua propozitii nu sunt demonstrabil echivalente e p p
la fel de dificil precum a arata ca o propozitie nu este teorema.
![Page 21: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/21.jpg)
O multime de propozitii {A A } este demonstrabil O multime de propozitii {A1, A2, …} este demonstrabil
inconsistenta daca si numai daca se poate deriva o
di i di contradictie din aceasta.
Adica, avand propozitia B, {A1, A2, …} ⊢ B si {A1, A2, …} ⊢B.
Pentru a arata ca o multime este demonstrabil inconsistenta,
trebuie sa ne asumam propozitiile din multime si sa
demonstram o contradictie.
Pentru a arata insa ca o multime nu este demonstrabil Pentru a arata insa ca o multime nu este demonstrabil
inconsistenta ar necesita a dovedi ca demonstratiile de un
anumit tip sunt imposibile anumit tip sunt imposibile.
![Page 22: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/22.jpg)
Insa exista o conexiune intre teoreme si tautologii Insa exista o conexiune intre teoreme si tautologii.
Exista un mod formal de a arata ca o propozitie este o
i d iteorema: prin demonstratie.
Pentru a arata insa ca o propozitie este o tautologie ar fi
necesar un rationament in limbaj natural asupra tuturor
modelelor posibile.
Nu exista un mod formal de a verifica ca rationamentul este
corect.corect.
Daca putem alege intre a arata ca o propozitie este o teorema
sau ca este o tautologie ar fi mai usor de dovedit ca este o sau ca este o tautologie, ar fi mai usor de dovedit ca este o
teorema.
![Page 23: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/23.jpg)
Invers nu exista un mod formal de a arata ca o propozitie nu Invers, nu exista un mod formal de a arata ca o propozitie nu
este o teorema.
A i i i li b j l Ar necesita un rationament in limbaj natural asupra tuturor
demonstratiilor posibile.
Cu toate acestea, exista o metoda formala pentru a arata ca o
propozitie nu este o tautologie.
Trebuie doar sa construim un model in care propozitia este falsa.
Daca putem face o alegere intre a arata ca o propozitie nu p g p p
este o teorema sau ca nu este o tautologie, ar fi mai usor de
dovedit ca nu este o tautologiedovedit ca nu este o tautologie.
![Page 24: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/24.jpg)
Din fericire avem conexiunea care precizeaza ca o propozitie Din fericire, avem conexiunea care precizeaza ca o propozitie
este o teorema daca si numai daca este o tautologie.
D d d i A i f l Daca dam o demonstratie pentru ⊢A si astfel aratam ca este
o teorema, rezulta ca A este o tautologie, adica ⊨A.
In mod similar, daca vom construi un model in care A este
falsa si deci aratam ca nu este o tautologie, rezulta atunci ca A
nu este o teorema.
In general: A ⊢ B daca si numai daca A ⊨ B.In general: A ⊢ B daca si numai daca A ⊨ B.
Un rationament este valid daca si numai daca concluzia este
derivabila din premisederivabila din premise.
![Page 25: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/25.jpg)
Doua propozitii sunt logic echivalente daca si numai daca sunt
demonstrabil echivalente.demonstrabil echivalente.
O multime de propozitii este consistenta daca si numai daca
nu este demonstrabil inconsistentanu este demonstrabil inconsistenta.
Avand deci un rationament pe care il putem traduce in logica
predicatelor:
Daca este valid din punct de vedere deductiv, atunci putem sa ii dam o
demonstratie formala.
Daca este invalid, atunci putem da un contraexemplu formal.
![Page 26: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/26.jpg)
I t b DA NUIntrebare DA NU
Este A o tautologie? Demonstreaza⊢A Construieste un model in care A e falsa.
Este A o contradictie? Demonstreaza⊢A Construieste un model in care A e adevarata.
Este A contingenta? Construieste doua modele Demonstreaza⊢A sau ⊢ AEste A contingenta? Construieste doua modele,unul in care A este adevarata sialtul in care este falsa.
Demonstreaza⊢A sau ⊢A
SuntA si B echivalente? DemonstreazaA ⊢ B si B ⊢A Construieste un model in care SuntA si B echivalente? DemonstreazaA ⊢ B si B ⊢A Construieste un model in care A si B au valori diferite de adevar.
Este multimeaA consistenta? Construieste un model in care Luand propozitiile din A Este multimeaA consistenta? Construieste un model in care toate propozitiile din A suntadevarate.
Luand propozitiile din A, demonstreaza B siB.
Este deductia lui C din P Demonstreaza ca P⊢C Construieste un model in care Este deductia lui C din P valida?
Demonstreaza ca P⊢C Construieste un model in care P e adevarata si C falsa.
![Page 27: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/27.jpg)
Ex. 1:Dati o justificare (regula si numerele de linii) pentru
fiecare linie de demonstratie care necesita una.
( ( ) ( )) 1 x(p(x) q(x)) 2 xyr(x, y)3 xp(x)4 p(c)
5 p(c) q(c)6 q(c)
7 yr(c, y)8 r(c, c)( , )
9 q(c) r(c, c)
10 x(q(x) r(x x))10 x(q(x) r(x, x))
11 x(q(x) r(x, x))
![Page 28: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/28.jpg)
Ex. 2:Dati o justificare (regula si numerele de linii) pentru
fiecare linie de demonstratie care necesita una.
1 ( r( ) r( )) 1 x(yr(x, y) zr(z, x))
2 r(c, d)
3 yr(c,y) zr(z, c)4 yr(c,y) 5 zr(z, c)6 r(e, c)
7 yr(e, y) zr(z, e)8 yr(e, y)8 yr(e, y)9 zr(z, e)10 r(e e)10 r(e, e)
11 xr(x, x)
![Page 29: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/29.jpg)
Ex. 3:Dati o demonstratie pentru fiecare asertiune:
{x(p(x) q(x)) p(a) xr(x c)} ⊢ xq(x){x(p(x) q(x)), p(a) xr(x, c)} ⊢ xq(x)
x(p(x) q(t)) ⊢xp(x) q(t)
xyp(x y) ⊢ xp(x x) xyp(x, y) ⊢ xp(x, x)
{x(p(x) q(x)), xp(x)} ⊢ xq(x)
{ ( ) ( ( ) ( )) ( ) (b)} ⊢ ( ) {q(a) x(p(x) p(a)), p(a), p(b)} ⊢q(a)
![Page 30: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/30.jpg)
Ex. 4: Simbolizati fiecare dintre urmatoarele rationamente in
logica predicatelor si adaugati presupunerea aditionala “Exista logica predicatelor si adaugati presupunerea aditionala Exista
un P”. Demonstrati apoi ca formele suplimentare ale
argumentelor sunt valide in logica predicatelorargumentelor sunt valide in logica predicatelor.
Din “Toti P sunt Q. Toti P sunt R.” se deduce ca “Exista un Q care este R.”
Din “Niciun Q nu este R. Toti P sunt Q” se deduce ca “Exista un P care nu
este R.”
Din “Toti Q sunt R. Toti P sunt Q.” se deduce ca “Exista un P care este R.”
![Page 31: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/31.jpg)
Ex. 5:Aratati ca fiecare pereche de propozitii este
demonstrabil echivalenta:demonstrabil echivalenta:
x(p(x) q(x)), x(p(x) q(x))
x( p(x) q(c)) xp(x) q(c) x(p(x) q(c)), xp(x) q(c)
Ex. 6:Aratati ca fiecare din urmatoarele este demonstrabil
i i t tinconsistenta.
{p(c) q(d), q(d) p(c), q(d) p(c)}
{x(p(x) q(x)), z(p(z) r(z)), yp(y), q(a) r(b)}
![Page 32: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/32.jpg)
Ex. 7: Pentru fiecare din urmatoarele perechi de propozitii:
Daca sunt logic echivalente in logica predicatelor dati demonstratii Daca sunt logic echivalente in logica predicatelor, dati demonstratii
pentru a arata aceasta.
Daca nu sunt, construiti un model in acest sens:Daca nu sunt, construiti un model in acest sens:
xp(x) q(c) x(p(x) q(c)) xp(x) q(c), x(p(x) q(c))
xyzp(x, y, z), xp(x, x, x)
![Page 33: Curs 8. Demonstratii in logica predicatelor.pptid.inf.ucv.ro/~rstoean/courses/lc/c8.pdf · Pentru demonstratii in logica predicatelor, folosimtoate reguliledin cadrul demonstratiilor](https://reader030.vdocuments.mx/reader030/viewer/2022040313/5e0b387984ca8d4e5674a56c/html5/thumbnails/33.jpg)
Ex. 8: Pentru fiecare din urmatoarele argumente:
Daca este valid in logica predicatelor dati o demonstratie Daca este valid in logica predicatelor, dati o demonstratie.
Daca este invalid, construiti un model pentru a arata aceasta:
Din x(p(x) q(x)) se deduce x(p(x) q(x))
Di ( ( ) ( )) i (d) d d ( ) Din x(p(x) q(c)) si p(d) se deduce q(c)
Din x(p(x) q(x)) si x(q(x) r(x)) se deduce ca x(p(x) r(x))
Din x(p(x) q(x)), x(p(x) r(x)) se deduce ca x(p(x) r(x))