Pag.

Cursul nr. 1 Calculul propoziltional

O propozitie este un enunt care poate fi adevarat sau fals. Multimea propozitiilor este numarabila, o propozitie fiind desemnata printr-o litera mica avand eventual un indice numar natural. Sunt utilizati 5 conectori care opereaza cu propozitii: Operator Negatia Conjunctia Disjunctia Implicatia Echivalenta Simbol uzual Tip Unar Binar Binar Binar Binar Alte simboluri Not, -, ~ And, &, . Or, | , , , ~

Exemplu. Fie enuntul: daca atunci cand ploua oseaua este umeda, inseamna ca atunci cand oseaua nu este umeda, nu plua. Enuntul de mai sus ce reprezinta de fapt un adevar logic, poate fi descris prin: (p q) (q p) De observat ca aceasta expresie ramane adevarata oricare ar fi enunturile reprezentate prin propozitiile p si q. Este cerut in mod natural ca toate aparitiile unei aceisi propozitii sa reprezinte acelasi enunt. Acest tip de inlocuire reprezinta substitutia uniforma. Sintaxa calculului propozitional Reguli de formare pentru conceptul de formula a calculului propozitional: Baza: Inductie: Inchidere: orice propozitie este o formula. daca X si Y sunt formule, atunci X, ( X Y), ( X Y), ( X Y), ( X Y) sunt formule. o formula se obtine plecand numai de la regulile de baza si inductie.

Parantezele, permit determinarea ordinii in care au fost aplicate regulile. Ele descriu o structura arborescenta pentru formule. Fie formula (p (qp r)) . Ea poate fi reprezentata prin urmtoarea structura arborescent: q r

Pag.2 Radacina arborelui corespunzator unei formule este un conector numit conector principal al formulei. O formula in care conectorul principal este implicatia este numita uneori conditionala. 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, metasimbolurile X si Y servesc la denumirea formulelor in general. Daca pentru constructia unei formule X, se utilizeaza formula Y ca argument al regulei inductive, Y este numita sub-formula a lui X. Cand contextul permite, anumite paranteze pot fi suprimate. Semantica pt. calculul propozitional In cazul limbajelor naturale sau formale, semantica atribuie o semnificatie constructiilor realizate in acele limbaje. Similar se procedeaza si in cazul calculului propozitional. Am pecizat anterior ca 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 formula 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 formulelor este compozitionala: semnificatia unei formule va fi determinata in functie de valoarea constituentilor sai. Mai exact, valoarea de adevar a unei formule depinde unic de structura acelei formule si de valorile de adevar atribuite propozitiilor pe care le contine. Semantica negatiei: x A F x F A

Semantica pentru conectorii binari:

Pag.3 X A A F F Y A F A F XY A F F F XY A A A F XY A F A A XY A F F A

O functie de interpretare sau interpretare este o functie i care asociaza la orice propozitie p o valoare de adevar. Aceasta functie i, al carui domeniu este multimea propozitiilor, este extinsa la multimea formulelor prin tabelele de adevar. Extensia corespunzatoare I este numita tot interpretare. Un literal este o propozitie sau negata unei propozitii. Literalii p si p sunt opusi. 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 formula 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 subformulelor ce apar in formula data. Se completeaza tabela cu valori de adevar pentru variabilele propozitionale si subformule, rezultand o valoare de adevar pentru formula data. Valoarea de adevar pentru subformule si formula finala va fi stabilita pe baza semanticii conectorilor logici. Pentru a ilustra metoda tabelelor de adevar, vom demonstra ca formula (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 subformulelor (4) si in final se mai adauga o coloana pentru formula data.

p A

q A

r A

q r p (q r) A A

pq A

(p q) r A

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

Pag.4 A A A F F F F A F F A A F F F A F A F A F F A A A F A A F A A A A A A A F F F F F F F A A A A A A A A A A A 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. Un alt conector logic utilizat uneori este disjuctia exclusiva (sau exclusiv) notata prin . Semantica acestui conector este: X A A F F Y A F A F XY F A A F

Semantica disjunctiei exclusive poate fi exprimata si printr-o formula in functie de conectorii conjunctie, disjunctie si negatie: (X Y ) ( X Y) Exista si conectori ce lucreaza cu trei operanzi. De exemplu conectorul daca X atunci Y altfel Z se poate descrie prin formula: (X Y) ( X Z) Conectorii prezentati anterior se pot exprima in functie de un singur conector binar (conjunctie, disjunctie, implicatie) si conectorul negatie. Exceptie face echivalenta si negatia ce nu pot defini pe toti ceilalti conectori. Daca am defini conjunctia, disjunctia si echivalenta in functie de negatie si implicatie, am obtine urmatoarele formule: XY XY este echivalent cu este echivalent cu (X Y) XY

Pag.5 XY este echivalent cu ( X Y) ( Y X)

Un alt conector binar este si negat notat cu . Pe baza lui se pot defini toti ceilalti conectori. Semantica sa este: X A A F F Y A F A F XY F A A A

In particular X X echivaleaza cu X. Aceasta proprietate a conectorului este utilizata in electronica digitala. Plecand de la circuitul logic si negat se poate construi orice circuit logic data fiind formula logica a acestuia. O proprietate similara o are si conectorul sau negat notat cu . Prin definitie X Y este adevarat doar daca X si Y au valoarea fals. Conectorii si sunt singurii conectori binari cu propritatea mentionata mai sus.