Logica Propoziţiilor – LP

din
Logica Computatională -
LC

Curs 03

12/09/21 Conf.dr. I. Pop 1

 Logică - Ierarhie
Universul logicii poate fi stratificat astfel:

Logica de ordin zero (zeroth-order logic) cunoscută ca: funcţii

booleane sau calculul predicatelor monovalent sau calculul
propoziţiilor;
propoziţiilor

Logica de ordin unu (fist-order logic): o extensie a logicii propoziţiilor

numită şi calculul predicatelor sau logica predicatelor;
predicatelor

Logica de ordin doi (second-order logic): o extensie a logicii de ordin

I prin introducerea teoriei tipurilor (teorie care se referă la
proiectarea, analiza şi studiul sistemelor de tipuri);

Logica de ordin superior (higher-order logic): o extensie a logicilor de

ordin inferior prin introducerea tipurilor de variabile în cuantificare şi
prin introducerea predicatelor care pot avea ca argumente unul sau
mai multe predicate.
predicate

12/09/21 Conf.dr. I. Pop 2

 Logica Computaţională (LC)
 L C este:
 O ramură a matematicii care se ocupă cu

fundamentele teoretice a raţionamentului

automatizat;
 Se ocupă cu precizia şi eficienţa sintaxei,

semanticii, corectitudinii şi completitudinii

raţionamentului.
 Logica Computaţională include:
 Logica Propoziţiilor

 Logica Relaţională

 Logica Herbrand

 Aplicaţii ale raţionamentului automatizat.

12/09/21 Conf.dr. I. Pop 3
 Logica Computaţională vs
Logica Formală
LF LC
 Se ocupă în exclusivitate cu  Se ocupă cu precizia şi cu
precizia raţionamentului efecienţa raţionamentului
d.p.d.v. al: d.p.d.v. al:
 sintaxei,  sintaxei,
 semanticii,  semanticii,
 corectitudinii şi  corectitudinii şi
 completitudinii;  completitudinii

12/09/21 Conf.dr. I. Pop 4

 Limbaje formale
 Limbaj natural = comunicare între comunităţi de oameni – schimb de
informaţii;
 Limbaj formal (abstract) = o mulţime de cuvinte (şiruri de caractere,
litere sau simboluri) - lucrează cu noţiuni, judecăţi:
 Alfabet – set de caractere (vocabular;
 Cuvânt – o secenţă finită (string) de simboluri;
 Gramatică – set de reguli construire şi utilizare a cuvintelor, propoziţiilor;
 Sintaxa – reguli de formare corectă a formulelor;
 Semantica – reguli de interpretare corectă a formulelor (sistem deductiv)

 Formalizare:
(a) un alfabet ce conţine toate simbolurile limbajului:
(b) o sintaxă care stabileşte cum sunt utilizate, simbolurile şi care este forma
corectă a propoziţiitor din limbaj;
(c) o semantică, pe baza căreia se stabileşte interpretarea şi semnificaţia
simbolurilor din limbaj.

12/09/21 Conf.dr. I. Pop 5

Limbajul Logicii Propoziţiilor (LLP)
 LLP abordează:
 Mulţimile de propoziţii simbolizate;
 Operatorii logici;
 Regulile sintactice;
 Interpretări semantice ale formulelor specificate
de regulile sintactice;
 Determinarea logică (identificarea tuturor
concluziilor logice care se desprind dintr-un set
de enunţuri propoziţionale);

12/09/21 Conf.dr. I. Pop 6

 Limbajul Logicii Propoziţiilor
 Mulţimi de propoziţii:
 Propoziţii simple (atomi) numite constante propoziţionale
(constante logice): p, q, ...; p1, p2, ...; p11, p12, ...; ...
 Propoziţii complexe (formule): F, G, ...; F1, F2, ...; ...

 Operatori logici: , , , , 
 Cu ajutorul lor se obţin propoziţii compuse: ((p ∨ q) ⇒ ¬r)

 Regulile sintactice: reguli de formare corectă a formulelor (vezi

regulile de construire din LF: principiul inducţiei structurale şi principiul
recursivităţii structurale)

 Semantica: reguli care interpretează formulele prin atribuirea de

înţeles (valori de adevăr: true, false)

 Determinarea (demonstraţia) logică: toate concluziile logice

12/09/21 Conf.dr. I. Pop 7

 Semantica LP (1)

 Interpretează înţelesul formulelor, proiectează

metode raţionale logice pentru demonstrarea
veridicităţii formulelor:
 O interpretare i pentru o formulă este o atribuire
de valori de adevăr (true sau false) fiecărei
constante logice (atom) din formulă:
 Ex: fie atomii p, q şi r dintr-o formulă, avem

interpretarea i definită astfel: pi = true, qi = false

şi ri = true.

12/09/21 Conf.dr. I. Pop 8

 Semantica LP (2)
 Evaluarea unei formule este tehnica de verificare prin
aplicarea tuturor interpretărilor posibile pe această
formulă.
 Ex. Tabele de adevăr

p q r  pr q  (p  r) p(q  (p 
q r)
T T T F T T T
T T F F F F F
T F T T T T T
T F F T F T T
F T T F F F T
F T F F F F T
F F T T F T T
F F F T F T T

12/09/21 Conf.dr. I. Pop 9

 Semantica LP (3)
Evaluarea inversă
 Evaluarea inversă este metoda
de a regăsi o formulă din
rezultatul unei evaluări.
 Presupunem că avem rezultatul
evaluării unei formule stabilit cu
ajutorul unui tabel de adevăr dar
nu cunoaştem formula.
 Ex: O formulă F cu trei constante
logice p, q şi r iar tabela de
adevăr cu rezultatul final este:

12/09/21 Conf.dr. I. Pop 10

 Semantica LP (4)
Evaluarea inversă (continuare)

Un algoritm de evaluare inversă:

 Pasul 1: Gasim toate
liniile care au un t în
ultima coloana ( 1, 5, 8 ).

 Pasul 2: F  f1  f5  f8 
(p q r)  (p q  r) 
(p  q  r).
12/09/21 Conf.dr. I. Pop 11
 Semantica LP – Forme Normale
 Definiţii:
 f1, f2,…,fn este o mulţime de n formule

 f1  f2  …  fn este numită disjuncţia formulelor f1, f2,…,fn

 f1  f2  …  fn este numită conjuncţia formulelor f1, f2,…,fn
 Fie p o propoziţie atomică. O formulă de forma p sau ￢ p
se numeşte literal
 Forma normală a unei formule este rezultatul transformării unei
formule oarecare în: seturi de conjuncţii de literali compuse
disjunctiv sau seturi de disjuncţii de literali compuse conjunctiv.

12/09/21 Conf.dr. I. Pop 12

 Semantica LP – Forme Normale
 Forma normală disjunctivă - FND:
 O formulă este în FND dacă ea este o disjuncţie
de conjuncţii de literali.
 Exemple: (p, q, r şi s propoziţii atomice)
 p  q

 ( ￢ p)  ( ￢ q)

 (p  q)  ( ￢ p  r  s)

12/09/21 Conf.dr. I. Pop 13

 Semantica LP – Forme Normale
 Forma normală conjunctivă - FNC:
 O formulă este în FNC dacă ea este o conjuncţie
de disjuncţii de literali.
 Exemple: ( p, q, r şi s propoziţii atomice)
 p  q

 ( ￢ p)  ( ￢ q)

 (p  q)  ( ￢ p  r  s)

12/09/21 Conf.dr. I. Pop 14

 Semantica LP – Forme Normale
In evaluarea inversă prezentată
găsim formula F în FND
 Pasul 1: Găsim toate
liniile care au un t în
ultima coloana ( 1, 5, 8 ).

 Pasul 2: F  F1  F5  F8
 (p q r)  (p q  r)
 (p  q  r).
12/09/21 Conf.dr. I. Pop 15
Semantica LP – Funcţii de adevăr
 O funcţie de adevăr este o funcţie  care atribuie
unui set de propoziţii atomice {p1,…, pN} un tabel
de adevăr  (p1,…, pN) în care este atribuită una din
valorile de adevăr t sau f unei combinaţii posibile de
valori de adevăr propoziţiilor atomice {p1,…, pN}
 O interpretare i dă un rezultat pe o linie din tabelul
de adevăr pe ultima coloană

12/09/21 Conf.dr. I. Pop 16

 Semantica LP – Funcţii de
adevăr
 p, q, r propoziţii atomice
 Exemplu de funcţie de adevăr
în {p, q}
 O interpretare i dă un rezultat
pe o linie din tabelul de adevăr
pe ultima coloană

12/09/21 Conf.dr. I. Pop 17

 Semantica LP – Funcţii de
adevăr
 p, q, r propoziţii atomice
 Exemple de funcţie de adevăr
în {p, q, r}
 O interpretare i dă un rezultat
pe o linie din tabelul de adevăr
pe ultima coloană

12/09/21 Conf.dr. I. Pop 18

Demonstraţia în LP (Determinarea)
O clasificare a propoziţiilor:
 Valide (Tautologii) – dacă şi numai dacă pentru

orice interpretare i au valoarea de adevăr true. In

tabelul de adevăr a unei asemenea propoziţii pe
ultima coloană a oricărei linii avem valoarea de
adevăr true.
 Satisfiabile – Există o interpretare i cu valoarea

de adevăr true.
 Nesafisfiabile (Contradicţii)– dacă şi numai

dacă pentru orice interpretare i au valoarea de

adevăr false.

12/09/21 Conf.dr. I. Pop 19

 Tautologii Importante

Tabel tautologii

 Se aplică la orice propoziţie; p, q şi r pot fi propoziţii atomice sau

propoziţii compuse.

12/09/21 Conf.dr. I. Pop 20

 Echivalenţe Logice Importante
¬(¬p)  p Legea Doublei Negaţii

pq  qp Legea Comutativităţii pentru conjuncţie

pq  qp Legea Comutativităţii pentru disjuncţie
(pq) r  p (qr) Legea Asociativităţii pentru conjuncţie
(pq) r  p (qr) Legea Asociativităţii pentru disjuncţie
¬(pq)  (¬p)  (¬q)
Legile DeMorgan
¬(pq)  (¬p)  (¬q)
p (qr)  (pq)  (pr)        
Legile Distributive
p (qr)  (pq)  (pr)
pp  p
Legile Absorţiei
pp  p
 Se aplică la orice propoziţie; p, q şi r pot fi propoziţii atomice sau
propoziţii compuse.

12/09/21 Conf.dr. I. Pop 21