Documente Academic
Documente Profesional
Documente Cultură
1
Pagina web a cursului
http://inf.ucv.ro/~rstoean/courses/lc/
Nota finala
50% nota laborator
3
Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6th
edition, McGraw-Hill, 2007
S. Russell, P. Norvig, Artificial Intelligence. A Modern Approach,
3rd Edition, Prentice Hall, 2010.
Patrick J. Hurley, A Concise Introduction to Logic (7th Edition),
Wadsworth Publishing, 2000.
P.D. Magnus, forallx. An Introduction to Formal Logic,
http://www.fecundity.com/codex/forallx.pdf.
Holly P. Hirst, Jerry L. Hirst, A Primer for Logic and Proof,
http://www.mathsci.appstate.edu/~jlh/primer/hirst.pdf
4
1. Introducere
2. Logica propozitiilor
3. Echivalente propozitionale
4. Logica predicatelor
5. Reguli de inferenta
6. Demonstratii – metode si strategii
5
Cinstitul si mincinosul
Cinstitul spune mereu adevarul
Mincinosul minte tot timpul
Intalnesti doua persoane A si B
A spune: “B este cinstit”
B spune: “Unul din noi este cinstit, celalalt este mincinos.”
Intrebare: Ce sunt A si B?
6
Un detectiv are 4 martori la o crima.
Daca majordomul spune adevarul atunci si bucatarul spune adevarul
7
Logica computationala
O unealta ce ofera intelesuri precise pentru afirmatii matematice
Inteligenta artificiala
Limbaje de programare
3. 2 + 3.
4. Daca x = 3 atunci x + 2 = 7.
10
Educatia reprezinta cea mai buna provizie pentru calatoria spre batranete.
Aristotel
p = “Azi e vineri” p ¬p
A F
¬p = “Nu este cazul ca azi e vineri” sau
F A
“Azi nu e vineri”
13
Def6: Fie p si q propozitii. Conjunctia dintre p si q, notata p ∧ q,
este propozitia “p si q”. Ea este adevarata cand p si q sunt
ambele adevarate si falsa altfel.
Ex4: Tabela de adevar pentru
conjunctie
p = “Azi e marti.”
p q p∧q
q = “Azi ploua.” A A A
A F F
p ∧ q = “Azi e marti si azi ploua.”
F A F
▪ Propozitia este adevarata intr-o zi de marti
F F F
ploioasa si este falsa in orice zi daca nu e
16
Ex7: sau inclusiv (merg si ambele!)
O parola trebuie sa aiba cel putin 2 cifre sau sa aiba cel putin 8
caractere lungime.
20
Ex10: secventa de program
Ce valoare va lua x dupa executia
21
Reciproca: q → p
Contrapozitiva: ¬ q → ¬ p
Inversa: ¬ p → ¬ q
Def10: Cand doua propozitii au aceleasi valori de adevar,
spunem ca sunt echivalente.
Implicatia p → q este echivalenta cu contrapozitiva ¬ q → ¬ p.
Exc3: Care sunt reciproca, contrapozitiva si inversa pentru:
Vin la facultate cand am examen.
22
Def11: Fie p si q propozitii. Echivalenta dintre p si q, notat p↔q,
este propozitia “p daca si numai daca q”. Este adevarata cand p si q
au aceleasi valori de adevar si falsa altfel.
Tabela de adevar pentru
Se mai citeste: echivalenta
“p este necesar si suficient pentru q”, p q p↔q
A A A
“daca p atunci q si viceversa”, “p iff q”
A F F
Aceleasi valori de adevar ca si (p → q) ∧ (q → p). F A F
F F A
Ex11:
p = “Poti lua avionul”, q = “Cumperi bilet”,
Ex12:
“Daca iti termini portia, poti lua si desert.”
24
0.5 puncte la examenul final
Timp de lucru: 3 min
4. Daca 1 + 1 = 2 atunci 2 + 2 = 5
5. Daca 1 + 1 = 2 atunci 2 + 2 = 4
25
Exc5: p = “Am luat un bilet la loto saptamana trecuta”
q = “Am castigat 1 milion de euro duminica”.
Transformati urmatoarele propozitii compuse in limbaj natural
¬ p, p ∨ q, p → q, p ∧ q, p ↔ q, ¬ p → ¬ q, ¬ p ∧ ¬ q, ¬ p ∨ (p ∧ q)
26
Ex12:
¬ r ∧ s →q sau (¬ (r ∧ s)) → q sau (¬ r) ∧ (s →q) sau ¬ (r ∧ (s → q)) sau ((¬ r)
∧ s) → q?
Este ¬¬ (p ∧ q) o fbf?
29
Se folosesc pentru a gasi valorile de adevar pentru propozitii
compuse.
Folosim coloane separate pentru subcomponente ale propozitiei
compuse de evaluat. Componentele se folosesc pentru a calcula
valorile de adevar ale propozitiei compuse in ultima coloana.
O propozitie compusa de k variabile genereaza o tabela de 2k linii.
30
Jumatate din linii de pe prima coloana se completeaza cu A,
cealalata jumatate cu F,
un sfert din coloana a doua cu A, apoi un sfert cu F, din nou
un sfert cu A si ultimul sfert cu F
o optime din coloana a treia cu A, urmatoarea cu F, apoi A,
…, ultima optime cu F
Pe ultima coloana cu o propozitie atomica ar trebui sa avem
A urmat de F, apoi A, apoi F,… pana jos.
31
Ex13:
Construiti tabela de adevar pentru (p ∨ ¬ q) → (p ∧ q)
p q ¬q p∨¬q p∧q (p ∨ ¬ q) → (p ∧ q)
A A F A A A
A F A A F F
F A F F F A
F F A A F F
32
Exc6: Construiti tabele de adevar pentru:
p → ¬ p; p ∨ ¬ p; (p ∨ ¬ q) → q; (p ∨ q) → (p ∧ q);
(p → q) ↔ (¬ q → ¬ p); p ⊕ (p ∨ q)
(q → ¬ p) ↔ (p ↔ q); p → (¬ q ∨ r)
((p → q) → r) → s
33
Limbajul natural este ambiguu
Trecerea in logica elimina ambiguitatea
Putem analiza expresiile logice pentru a gasi valorile de adevar, le putem
manipula sau folosi reguli de inferenta pe ele
4. Daca nu conduci cu peste 100 km/h atunci nu primesti amenda pentru viteza
(¬ p → ¬ q)
5. Sa conduci cu peste 100 km/h este suficient pentru a primi amenda pentru
viteza (p → q)
35
Ex15 (cont): Transformari din limbaj natural pentru:
p = “Conduci cu peste 100 km/h”
7. De cate ori primesti amenda pentru viteza, conduci cu peste 100 km/h.
(q → p)
36
0.5 puncte la examen
Timp de lucru: 5 min
38
Ex16:Vrem sa gasim pagini web despre logica
computationala sau matematica insa fara teste de
logica.
39
Bit (binary digit): 0 (F) si 1 (A)
Variabila booleeana – are doar una din cele doua valori (A sau F).
Operatiile pe biti din calculator corespund conectivelor logice.
Notatii diferite: F devine 0, A devine 1, ∧ devine AND, ∨ devine
OR, ⊕ devine XOR.
Def12: Un sir de biti este o secventa de zero sau mai multi biti.
Doua siruri de biti de aceeasi lungime pot fi utilizate pentru
operatii precum AND, OR sau XOR. Bitii se iau unul cate unul.
40
1 0 1 1 0 1 1 0 0 1
1 1 0 1 1 0 1 0 0 1
1 1 1 1 1 1 1 0 0 1 OR
1 0 0 1 0 0 1 0 0 1 AND
0 1 1 0 1 1 0 0 0 0 XOR
41
Exc8: Faceti calculele AND, OR si XOR pentru
sirurile urmatoare de biti:
101 1110, 001 0010
42
Cinstitul si mincinosul
Cinstitul spune mereu adevarul
Mincinosul minte tot timpul
Intalnesti doua persoane A si B
A spune: “B este cinstit”
B spune: “Unul din noi este cinstit, celalalt este mincinos.”
Intrebare: Ce sunt A si B?
rezolvarea la tabla.
43
0.5 puncte la examenul final
Timp de lucru: 3 min
44
Tema 1 punct
Data limita: miercuri 10 octombrie
45