Laborator 1 Logica matematica si computationala

Autor: dr. ing. Alexandrescu Adrian

Calculul propozitional (1)

 Sintaxa calculului propozitional
 Reprezentarea expresiilor prin structuri arborescente
 Semantica pt. calculul propozitional
 Interpretare totala
 Interpretare partiala
 Metoda tabelelor de adevar
 Tipuri de expresii din calculul propozitional
 Aplicatia TA (Tabele de adevar)
 Probleme propuse

2021
 Sintaxa calculului propozitional

 Propozitie: un enunt care poate fi adevarat sau fals.

 Conectori logici de baza:
Operator Simbol uzual Tip Alte simboluri
Negatia  Unar Not, -, ~
Conjunctia  Binar And, &, .
Disjunctia  Binar Or, |
Implicatia  Binar , 
Echivalenta  Binar , , ≈

 Reguli de formare pentru conceptul de expresie a calculului propozitional:

• Baza: orice propozitie sau constanta logica (Adevarat, Fals) este o
expresie.
• Inductie: daca X si Y sunt expresii, atunci  X, ( X  Y), ( X  Y),
( X  Y), ( X  Y) sunt expresii.
• Inchidere: o expresie se obtine plecand numai de la regulile de baza si
inductie.
 Sintaxa calculului propozitional
(continuare)

 Metasimboluri. S-au introdus literele majuscule X si Y. Acestea sunt

numite metasimboluri, adica notatii care, fara sa apartina limbajului,
permit introducerea conceptelor si proprietatilor acelui limbaj.

 Literele p, q, r reprezinta propozitii (variabile propozitionale),

metasimbolurile X si Y servesc la denumirea expresiilor in general.

 Daca pentru constructia unei expresii X, se utilizeaza expresie Y ca

argument al regulei inductive, Y este numita sub-expresie a lui X.

 Literali. Un literal este o propozitie sau negata unei propozitii. Literalii p

si  p sunt opusi. P este numit literal pozitiv iar  p este numit literal
negat.
 Reprezentarea expresiilor prin structuri arborescente

 Fie expresiile (p  (q  r)) si ( q)  ( p  (r  q)).

Ele pot fi reprezentata prin următoarele structuri arborescente:

 Radacina arborelui corespunzator unei expresii este un conector numit

conector principal al expresiei.

 O expresie in care conectorul principal implicatia este numita uneori

conditionala. Exemplu: (p  q)  (q   p)
 Semantica pt. calculul propozitional

 Semantica atribuie o semnificatie constructiilor realizate in calculul

propozitional.

 O propozitie este fie adevarata fie falsa. Aceasta conduce la introducerea

notiunii de domeniu semantic {A,F}, in care A reprezinta valoarea adevarat
iar F valoarea fals.

 A interpreta o expresie consta in a-i atribui una din cele doua valori de
adevar, A sau F. Uneori se reprezinta valoarea adevarat prin simbolul 1 iar
valoarea fals prin prin simbolul 0.

 Semantica, adica multimea regulilor de interpretare a expresiilor este

compozitionala: semnificatia unei expresii va fi determinata in functie de
valoarea constituentilor sai. Mai exact, valoarea de adevar a unei expresii
depinde unic de structura acelei expresii si de valorile de adevar atribuite
variabilelor propozitionale pe care le contine.
 Semantica pt. calculul propozitional
(continuare)

 Semantica negatiei:
X X
A F
F A

 Semantica pentru conectorii binari:

X Y XY XY XY XY
A A A A A A
A F F A F F
F A F A A F
F F F F A A
 Interpretare totala

 O functie de interpretare totala sau interpretare totala, este o functie I care

asociaza la orice variabila propozitionala dintr-o expresie, o valoare din
domeniul semantic {A,F}.

 Exemplu: pt. o expresie cu 3 variabile propozitionale p, q, r, o functie de

interpretare I ar putea fi:

I(p) = A
I(q) = A
I(r) = F

Pentru o expresie cu n variabile propozitionale, numarul interpretarilor este

2n .
 Interpretare totala (continuare)

 Functia de interpretare I, a carui domeniu de definitie este multimea

variabilelor propozitionale dintr-o expresie, este extinsa la multimea
expresiilor.
 Extensia corespunzatoare I este numita tot interpretare si se noteaza I(E),
unde E este o expresie din calculul propozitional.
 I(E) ia valori in multimea expresiilor din calculul propozitional.

I(p) = A
I(q) = A
I(r) = F

 Exemplu: pt. expresia E=p  (q  r), si interpretarea I de mai sus,

I(E) = I(p)  (I(q)  I(r)) = A  (A  F) = A  A = A

 Interpretare partiala

 O functie de interpretare partiala sau interpretare partiala, este o functie I

care asociaza la orice variabila propozitionala dintr-o submultime a multimii
variabilelor propozitionale dintr-o expresie, o valoare din domeniul semantic
{A,F}.

 Exemplu: pt. o expresie cu 3 variabile propozitionale p, q, r, o functie de

interpretare partiala I ar putea fi:

I(p) = A
I(r) = F

 Exemplu: pt. expresia E=p  (q  r),

I(E) = I(p)  (q  I(r)) = A  (q  F) = A  q = q

 Semantica pt. calculul propozitional
(continuare)

 Expresii logic echivalente: doua formule din calculul propozitional X si Y

spunem ca sunt logic echivalente (scriem X ≈ Y ) daca pentru toate
interpretarile, cele doua formule iau aceiasi valoare de adevar.

 Echivalarea conectorului implicatie:

(X  Y) ≈  X  Y

 Echivalarea conectorului echivalenta:

(X  Y) ≈ (X  Y)  (Y  X) ≈ ( X  Y )  ( Y  X )

Obs. Aceste echivalari sunt necesare pentru implementarea conectorilor

implicatie si echivalenta, in limbajele de programare in care acesti operatori
nu sunt predefiniti.
 Semantica pt. calculul propozitional
(continuare)

 Evaluarea expresiilor din calculul propozitional ce contin constante logice:

1. A  X  A 5. A  X  X 9. A  X  X
2. F  X  X 6. F  X  A 10. F  X   X

3. A  X  X 7. X  A  A
4. F  X  F 8. X  F   X

 Evaluarea expresiilor din calculul propozitional ce contin subexpresii identice:

11. X  X  X 13. X  X  A 15. X   X  A

12. X  X  X 14. X  X  A 16. X   X  F

17.   X  X
 Metoda tabelelor de adevar

 Aceasta metoda pune in evidenta toate interpretarile posibile in numar de 2n,

unde n este numarul de variabile propozitionale, pentru o expresie data.

 Se construieste o tabela avand 2n linii, cate una pentru fiecare interpretare si

un numar de coloane dat de numarul variabilelor propozitionale si de
numarul sub-expresiilor ce apar in expresia data.

 Pentru a ilustra metoda tabelelor de adevar, vom demonstra ca expresia

(p  (q  r))  ((p  q)  r) este adevarata pentru toate interpretarile.

Numarul variabilelor propozitionale este 3, deci numarul interpretarilor va fi

8. Vom construi tabela de adevar cu 8 linii si 8 coloane.

Numarul de coloane este dat de numarul variabilelor propozitionale (3) la

care se adauga numarul sub-expresiilor (4) si in final se mai adauga o
coloana pentru expresia data.
 Metoda tabelelor de adevar
(continuare)

p q r qr p  (q  r) pq (p  q)  r (p  (q  r))  ((p  q)  r)

A A A A A A A A
A A F F F A F A
A F A A A F A A
A F F A A F A A
F A A A A F A A
F A F F A F A A
F F A A A F A A
F F F A A F A A

 Tabelele de adevar sunt utile atunci cand numarul variabilelor propozitionale

este mic. Pentru un numar mare de variabile propozitionale tabelele de
adevar devin greu de utilizat.
 Tipuri de expresii din calculul propozitional

 Definitie. O expresie este semantic consistenta sau simplu, consistenta daca

ea admite cel putin o interpretare pentru care ia valoarea adevarat.

De exemplu formula p  q este consistenta deoarece ia valoarea adevarat

pentru interpretarea i(p) = A si i(q) = A. In particular, expresiilor formate
doar dintr-un singur literal sunt consistente.

 Definitie. O expresie care nu este consistenta se zice ca este inconsistenta.

O expresie inconsistenta are valoarea fals pentru toate interpretarile.
De exemplu expresia p   p este inconsistenta.

 Definitie. O expresie este valida sau tautologie daca pentru toate

interpretarile ia valoarea adevarat.
De exemplu, expresiile (p   p), (p  p) si ( p  p) sunt valide.
 Tipuri de expresii din calculul propozitional
(continuare)

 Definitie. O expresie se zice ca este invalida daca exista cel putin o

interpretare pentru care ia valoarea fals.

 Se observa ca negata unei expresii valide este inconsistenta si ca negata unei

expresii consistente este invalida.

 Definitie. Se denumeste contingenta o expresie care nu este nici valida nici

inconsistenta.

valida invalida

Intotdeauna Nu intotdeauna adevarata si Intotdeauna

adevarata nu intotdeauna falsa falsa
consistenta inconsistenta
contingenta
 Aplicatia TA (Tabele de adevar)

 Aplicatia TA a fost dezvoltata de autorul acestui suport de laborator si este

utila pentru studiul expresiilor din calculul propozitional.
 Ea este o aplicatie Windows executabila, TA.exe, realizata cu platforma Visual
Studio si limbajul C#.

Fereastra de start contine un buton

pt. selectia unui fisier text ce contine
date despre expresia sau expresiile
ce se doresc a fi studiate.

Fisierul contine la inceput, variabilele

propozitionale (cate una pe fiecare
linie) si apoi expresiile ce se studiaza
(cate una pe o linie).
 Aplicatia TA (Tabele de adevar)

De exemplu, daca vrem

sa studiem expresiile
p  q, p  q, p  q
fisierul va arata astfel:

p
q
p or q
p and q
not p or q

Obs. Singurii operatori logici

ce pot fi utilizati sunt:
and, or si not.
Se pot utiliza paranteze.
Ceilalti operatori trebuiesc exprimati in functie de cei trei.
 Aplicatia TA (Tabele de adevar)

Odata selectat fisierul,

se afiseaza in lista din
stanga, continutul fisierului
iar in dreapta, tabela de
adevar.
 Probleme propuse

1. Reprezentati printr-un arbore structura expresiei: p  (q  r)

2. Reprezentati printr-un arbore structura expresiei: (q)  ( p  (r  q))
3. Reprezentati sub-expresiile corespunzatoare expresiei: p  (q  r)
4. Reprezentati sub-expresiile corespunzatoare expresiei: (q)  ( p  (r  q))
5. Determinati I(E) pt. E= q  ( p  (r  q)) si I(p)=A, I(q)=F, I(r)=A
6. Determinati I(E) pt. E= (q  r)  (p  (r   q)) si I(p)=A, I(q)=F, I(r)=A
7. Determinati I(E) pt. E= q  ( p  (r  q)) si I(p)=A, I(q)=F
8. Determinati I(E) pt. E= q  ( p  (r  q)) si I(q)=F, I(r)=A
9. Determinati I(E) pt. E= (q  r)  (p  (r   q)) si I(q)=F, I(r)=F
10.Construiti tabela de adevar pt. expresia E= p  (q  r)
11.Construiti tabela de adevar pt. expresia E= (q)  ( p  (r  q))
12.Construiti tabela de adevar pt. expresia E= (p  q)  (p  (r  q))
13.Construiti tabela de adevar pt. expresia E= (p  p)  ((q  q)  r)
14.Construiti tabela de adevar pt. expresia E= (p  p)  (r  q)