Logic matematic i computaional

Organizarea cursului. Introducere n logic

Ce este logica? Elemente de logic.

Logica propoziiilor

Introducere. Sintax. Semantic. Contingen. Satisfiabilitate. Falsificabilitate.
Proprieti logice ale enunurilor propoziionale.

Satisfiabilitate

Introducere. Metoda tabelei de adevr. Backtracking. Alte metode pentru rezolvarea problemelor SAT, DPLL.

Raionamente

Deducia linear. Deducie structurat.

Logica relaional

Introducere. Sintax. Exemple.

Raionament relaional

Rezoluia relaional

Forme clauzale. Unificare. Principiul rezoluiei. Raionament. Extragerea rspunsului. Strategii.

Inducie

Inducie linear, arbore, structural, multidimensional.

Egalitate

Proprieti, substituie, exemple.

1
 LOGIC MATEMATIC I
COMPUTAIONAL

Curs 2: Logica propoziiilor

- Introducere.
- Sintax.
- Semantic.
- Contingen.
- Satisfiabilitate.
- Falsificabilitate.
- Proprieti logice ale enunurilor propoziionale.
Logica propoziiilor

Se ocup cu propoziii i cu relaiile ntre acestea.

Propoziie - posibilitatea ca o lume s se afle n starea
adevrat sau fals (ex. posibilitatea s plou, sau s
fie nnorat etc.)

Def. O propoziie este o afirmaie declarativ care
este adevrat (A) sau fals (F), nu ambele simultan.

3
Logica propoziiilor

Exemple: propoziii

1. Astzi este joi.

2. Tokyo este capitala Japoniei.

2. 3 + 7 = 10

Exemple: nu sunt propoziii

1. Ci studeni sunt n sal? (ntrebare)

2. V rog s facei linite. (comand)

3. Ce linite este n sal! (exclamaie)

4. x + 4 = 10 (ar putea fi i A i F)

4
Logica propoziiilor. Sintaxa

n logica propoziiilor pot exista dou tipuri de

propoziii: simple i compuse.

Propoziiile simple exprim fapte simple din lumea
respectiv.

Cele compuse exprim relaii logice ntre propoziii
mai simple i se obin prin combinaia de propoziii cu
ajutorul operatorilor logici.

Sunt 5 tipuri de propoziii compuse, i anume: negaii,
conjuncii, disjuncii, implicaii i echivalene.

5
Logica propoziiilor. Semantica

n Logic, semantica este similar celei din Algebr

(nu este preocupat de semnificaia din lumea real a
variabilelor, ci de relaiile dintre valorile variabilelor
care apar n ecuaii); ce conteaz este forma
propoziiilor.

Semantica se refer la atribuirea (asignarea,
asocierea) de valori de adevr (evaluarea,
interpretarea) variabilelor propoziionale.

Formal, o declaraie de adevr (truth assignment)
este o funcie care atribuie o valoare de adevr
fiecrei propoziii (A sau F; 0 sau 1).

6
Logica propoziiilor

O negaie este format din operatorul de negaie i

o propoziie simpl sau compus, numit propoziia
int (target):
p (p)
(Nu se ntmpl p sau p este fals)

Propoziia p se citete not p, iar valoarea ei de
adevr este opusul valorii de adevr a lui p.

Exemple: Tabela de adevr pentru

p = Azi este miercuri negaie

p = Nu este cazul c azi este miercuri p p

sau Azi nu este miercuri A F

F A
7
Logica propoziiilor

O conjuncie este o secven de propoziii separate de

operatorul . Propoziiile constituente sunt numite
conjunctori.
p, q (p q)

Conjuncia este adevrat cnd p i q sunt ambele
adevrate i fals altfel.

Exemple: Tabela de adevr pentru

p = Azi este miercuri conjuncie

q = Azi este soare p q pq

p q = Azi este miercuri i azi este soare A A A

A F F

F A F

F F F
8
Logica propoziiilor

O disjuncie este o secven de propoziii separate de

operatorul . Propoziiile constituente sunt numite
disjunctori.
p, q (p q)

Disjuncia este fals cnd ambele p i q sunt false i
adevrat altfel.

Disjuncia se mai numete i sau inclusiv. Tabela de adevr pentru
disjuncie

Exemple: p q pq

p = Azi este miercuri A A A

q = Azi este soare A F A

p q = Azi este miercuri sau azi este soare F A A

F F F

9
Logica propoziiilor

Sau exclusiv ntre p i q, notat p q, este propoziia

care este adevrat cnd numai una din cele dou
este adevrat, i fals altfel.

Exemplu:

p = Voi lua examenul la Logic

q = Voi pica examenul la Logic

p q = Voi lua sau voi pica examenul la Logic
Tabela de adevr pentru
sau exclusiv
p q pq

A A F

A F A

F A A

F F F
10
Logica propoziiilor

Exemple (sau inclusiv):

O parol trebuie s aib cel puin 1 cifr sau s aib cel
puin 8 caractere lungime.

Experiena n C sau Pascal este necesar.

Exemple (sau exclusiv):

Se poate plti cu lei sau cu euro.

Garania mainii este pn la doi ani sau pn la 100,000
km parcuri.

Limbajul natural poate fi ambiguu:

Mine poate fi nsorit sau parial noros.

11
Logica propoziiilor

O implicaie este format dintr-o pereche de propoziii p, q,

separate de operatorul . Propoziia din stnga
operatorului este numit antecedent, iar cea din dreapta se
numete consecvent.
p, q (p q)

Este propoziia: dac p, atunci q
(p ipotez, q concluzie).

Se mai citete:

dac p, q

p este suficient pentru q

q dac p

q cnd p

q reiese din p

p implic q

q este necesar pentru p

p numai dac q

12
Logica propoziiilor

Exemplul 1:

p = eu sunt ales

q = eu voi micora taxele

p q : dac sunt ales, voi micora taxele

Doar dac sunt ales (p adevrat) i nu micorez
taxele (q fals), votanii se simt nelati. p q este fals.
Tabela de adevr pentru

Are aceleai valori de adevr implicaie
p q pq
ca i p q.
A A A

Exemplul 2: A F F

Dac studentul rezolv subiectele F A A
100%, va lua nota 10. F F A

Care este p, care q i cnd este p q fals? 13

Logica propoziiilor

Construciile dac-atunci din majoritatea limbajelor de

programare sunt diferite de implicaiile din logic.

Dac p atunci S, unde peste o condiie, iar S o
secven de program.

Exemplu:

: Ce valoare va lua x dup execuia:
Dac 2+3==5 atunci x=x+1, dac nainte de ea,
x=3?

14
Logica propoziiilor

Construciile dac-atunci din majoritatea limbajelor de

programare sunt diferite de implicaiile din logic.

Dac p atunci S, unde peste o condiie, iar S o
secven de program.

Exemplu:

: Ce valoare va lua x dup execuia:
Dac 2+3==5 atunci x=x+1, dac nainte de ea,
x=3?

R: Cum 2+3=5 este adevrat, se execut x=x+1,
deci valoarea lui x crete de la 3 la 4 (x=3+1)

15
Logica propoziiilor

Reciproca: q p

Contrapozitiva: q p

Inversa: p q

Def. Cnd dou propoziii compuse au aceleai valori
de adevr, spunem c sunt echivalente.

Implicaia p q este echivalent cu contrapozitiva.

Exerciiu: Care sunt reciproca, contrapozitiva i
inversa pentru:

Vin la facultate cnd am examen.

16
Logica propoziiilor

Echivalena dintre dou propoziii p i q notat p q

este propoziia p dac i numai dac q. Este
adevrat cnd p i q au aceleai valori de adevr i
fals altfel.

Se mai citete:

p este necesar i suficient pentru q,

dac p atunci q i viceversa.

Aceleai valori de adevr ca i (p q) (q p).

Exemplu:

p = Poi lua avionul, q = Cumperi bilet,

p q = Poi lua avionul dac i numai dac cumperi bilet.

17
Logica propoziiilor

Tabela de adevr pentru echivalen

p q pq
A A A
A F F
F A F
F F A

Exerciiu. Verificai dac urmtoarele propoziii sunt

adevrate:

2 + 2 = 4 dac i numai dac 1 + 1 = 2.

1 + 1 = 3 dac i numai dac 1 < 2.

1 + 1 = 2 dac i numai dac voi lua examenul la Algebr.

Dac 1 + 1 = 2 atunci 2 + 2 = 5.

Dac 1 + 1 = 2 atunci 2 + 2 = 4.

Dac 1 + 1 = 3 atunci cinele Azor poate rezolva integrale.
18
Logica propoziiilor

Exerciiu:

p = Am luat un bilet la loto sptmna trecut

q = Am ctigat 1 milion de euro duminic.

Transformai urmtoarele propoziii compuse n

limbaj natural:

p

pq

pq

pq

pq

pq

pq

p (p q)

19
Logica propoziiilor

ntrebare:

r s q sau ((r s)) q sau
(r) (s q) sau (r (s q)) ?

Care este prioritatea operatorilor?

20
Logica propoziiilor

Prioritatea operatorilor: , , , , ,

Operaie Notaie Prioritate

Negaia p 1

Conjuncia pq 2

Disjuncia pq 3

Sau exclusiv pq 4

Implicaia pq 5

Echivalena pq 6

21
Satisfiabilitate

Spunem c o declaraie de adevr satisface o propoziie

dac i numai dac este adevrat n cadrul acelei
declaraii de adevr.

O propoziie este satisfiabil dac n ultima coloan a
tabelei de adevr exist cel puin un A.

Prin urmare, nu trebuie s construim toat tabela de
adevr, ci doar s gsim o linie cu valoarea A.

Exerciiu.
Artai c p (q r) este satisfiabil.

22
Satisfiabilitate

Completm cu A ultima coloan i apoi cutm valori

de adevr potrivite (dac exist).
p q r qr p (q r)

Avem conjuncie pe ultima coloan, prin urmare

ambele propoziii constituente trebuie s fie
adevrate.

p q r qr p (q r)

A A A

23
Satisfiabilitate

q r trebuie s fie adevrat. Avem trei posibiliti: AA,

AF, FA. Alegem una la ntmplare.

p q r qr p (q r)

A F A A A

Am demonstrat c formula este satisfiabil.

24
Satisfiabilitate

O propoziie care nu este satisfiabil este

nesatisfiabil (sau contradicie).

Propoziia este fals n toate interpretrile.

n limbajul natural, propoziiile care se contrazic
sunt nesatisfiabile.

O propoziie este nesatisfiabil dac n ultima coloan
a tabelei de adevr are valoarea F pe toate liniile.

25
Satisfiabilitate

Exemplu:

Voi trece i voi pica examenul de Logic
matematic i computaional.

p = Voi trece examenul de Logic matematic i
computaional

p p

Cum trebuie s fie numai F pe ultima coloan a
tabelei de adevr, ntreaga tabel trebuie construit.

Exerciiu:

Artai c [(p p) p] (p p) este
nesatisfiabil.

26
Validitate

Def. O propoziie este valid (sau tautologie) dac i

numai dac este adevrat n toate interpretrile
posibile.

O propoziie este valid dac n ultima coloan a
tabelei de adevr are valoarea A pe toate liniile.

Exemplu:

Merg sau nu merg la un concert.

p = merg la concert

p p (propoziia compus este adevrat n orice
interpretare)

27
Validitate

Pentru a fi valid, o formul propoziional trebuie s

aib pe ultima coloan a tabelei de adevr valoarea A
pe toate liniile. (Trebuie construit ntreaga tabel de
adevr.)

Exerciiu. Artai c (p q) p este valid.

28
Contingen

Def. O propoziie este contingent dac nu este nici

valid, nici nesatisfiabil.

n ultima coloan a tabelei de adevr exist cel puin
un A i cel puin un F.

Exemplu:

p = Afar plou, q = Este zpad la munte

Verificai: p q, p q.

O propoziie contingent este i satisfiabil, nu i
invers.

29