Documente Academic
Documente Profesional
Documente Cultură
3 / 55
Logica propoziţională PL
O propoziţie este un enunţ care poate fi adevărat (1) sau fals (0).
Exemplu
Fie ϕ propoziţia:
4 / 55
Limbajul şi formulele PL
Limbajul PL
variabile propoziţionale: Var = {p, q, v , . . .}
conectori logici: ¬ (unar), →, ∧, ∨, ↔ (binari)
Formulele PL
var ::= p | q | v | . . .
form ::= var | (¬form) | form ∧ form | form ∨ form
| form → form | form ↔ form
Exemplu
Nu sunt formule: v1 ¬ → (v2 ), ¬v1 v2
Sunt formule: ((v1 → v2 ) → (¬v1 )), (¬(v1 → v2 ))
5 / 55
Limbajul şi formulele PL
Limbajul PL
variabile propoziţionale: Var = {p, q, v , . . .}
conectori logici: ¬ (unar), →, ∧, ∨, ↔ (binari)
Formulele PL
var ::= p | q | v | . . .
form ::= var | (¬form) | form ∧ form | form ∨ form
| form → form | form ↔ form
6 / 55
Sintaxa şi semantica
Sintaxa
noţiuni sintactice: demonstraţie, teoremă
notăm prin ` ϕ faptul că ϕ este teoremă
notăm prin Γ ` ϕ faptul că formula ϕ este demonstrabilă din
mulţimea de formule Γ
Semantica
noţiuni semantice: adevăr, model, tautologie (formulă universal
adevărată)
notăm prin |= ϕ faptul că ϕ este tautologie
notăm prin Γ |= ϕ faptul că formula ϕ este adevărată atunci când
toate formulele din mulţimea Γ sunt adevărate
7 / 55
Logica propoziţională
Exemplu
Formalizaţi următorul raţionament:
If winter is coming and Ned is not alive then Robb is lord
of Winterfell. Winter is coming. Rob is not lord of
Winterfell. Then Ned is alive.
O posibilă formalizare este următoarea:
p = winter is coming
q = Ned is alive
r = Robb is lord of Winterfel
{(p ∧ ¬q) → r , p, ¬r } |= q
8 / 55
Semantica PL
x ∨ y := max{x, y } x ∧ y := min{x, y }
9 / 55
Semantica PL
Exemplu
Dacă e(p) = 0 şi e(q) = 1 atunci
10 / 55
Semantica PL
11 / 55
Semantica PL
12 / 55
Verificarea problemei consecinţei logice
În cazul ı̂n care formula conţin n variabile, tabelul de adevăr are 2n
rânduri. Această metodă este atât de costisitoare computaţional,
ı̂ncât este irealizabilă. (Timp exponenţial)
13 / 55
Sintaxa PL
Sistemul Hilbert
Rezoluţie
Deducţia naturală
Sistemul Gentzen
14 / 55
Sistemul Hilbert
15 / 55
Sistemul Hilbert
16 / 55
Sistemul Hilbert
Exemplu
Arătaţi că ` (ϕ → ψ) → ((ψ → χ) → (ϕ → χ))
(1) {ϕ → ψ, ψ → χ, ϕ} ` ϕ (ipoteza)
(2) {ϕ → ψ, ψ → χ, ϕ} ` ϕ → ψ (ipoteza)
(3) {ϕ → ψ, ψ → χ, ϕ} ` ψ (1),(2), MP
(4) {ϕ → ψ, ψ → χ, ϕ} ` ψ → χ (ipoteza)
(5) {ϕ → ψ, ψ → χ, ϕ} ` χ (3),(4), MP
(6) {ϕ → ψ, ψ → χ} ` ϕ → χ TD
(7) {ϕ → ψ} ` (ψ → χ) → (ϕ → χ) TD
(8) ` (ϕ → ψ) → ((ψ → χ) → (ϕ → χ)) TD
17 / 55
Sistemul Hilbert
Teorema de completitudine
Γ-teoremele şi Γ-tautologiile coincid, i.e.
Exemplu
Folosind teorema deducţiei se demonstrează regula:
Γ ∪ {ϕ} ` ψ
Γ`ϕ→ψ
19 / 55
Deducţia naturală DN
20 / 55
Deducţia naturală1 pe scurt
Pentru fiecare conector logic vom avea reguli de introducere şi reguli
de eliminare.
ϕ∧ψ ϕ∧ψ
(∧e1 ) (∧e2 )
ϕ ψ
22 / 55
Regulile pentru conjuncţie
Exemplu
Demonstraţi că secventul p ∧ q, r ` q ∧ r este valid.
1 p∧q premisa
2 r premisa
3 q (∧e2 ),1
4 q∧r (∧i),3,2
23 / 55
Regulile pentru dubla negaţie
Example
Demonstraţi că secventul ¬¬(q ∧ r ) ` ¬¬r este valid.
1 ¬¬(q ∧ r ) premisa
2 q∧r (¬¬ei),1
3 r (∧e2 ),2
4 ¬¬r (¬¬i),3
24 / 55
Regulile pentru implicaţie: →-eliminare
ϕ ϕ→ψ
(→e)
ψ
25 / 55
Regulile pentru implicaţie: →-introducere
ϕ
..
.
ψ
(→i)
ϕ→ψ
26 / 55
Regulile pentru implicaţie
Exemplu
Demonstraţi teorema ` (p ∧ q) → p
27 / 55
Regulile pentru implicaţie
Exemplu
Demonstraţi teorema ` (p ∧ q) → p
Putem scrie demonstraţia ı̂ntr-un mod liniar ı̂n felul următor:
1 p∧q ipoteza
2 p (∧e1 ),1
3 p∧q →p (→i),1−2
28 / 55
Regulile pentru implicaţie
Exemplu
Demonstraţi teorema ` p → p
1 p ipoteza
2 p→p (→i),1
29 / 55
Regulile pentru implicaţie
Exemplu
Demonstraţi teorema ` (p → q) → ((q → r ) → (p → r ))
1 p→q ipoteza
2 q→r ipoteza
3 p ipoteza
4 q (→e),1,3
5 r (→e),2,4
6 p→r (→i),3−5
7 (q → r ) → (p → r ) (→i),2−6
8 (p → q) → ((q → r ) → (p → r )) (→i),1−7
30 / 55
Regulile ”cutiilor”
Cutiile pot fi incluse una ı̂n alta; se pot deschide cutii noi după
ı̂nchiderea celor vechi.
Linia care urmează după ı̂nchiderea unei cutii trebuie să conţină
concluzia regulii pentru care a fost utilizată cutia.
31 / 55
Regula pentru ”copiere”
Exemplu
Demonstraţi teorema ` p → (q → p)
1 p ipoteza
2 q ipoteza
3 p copiere 1
4 q→p (→i),2−3
5 p → (q → p) (→i),1−4
32 / 55
Regulile pentru disjuncţie: ∨-introducere
ϕ ψ
(∨i1 ) (∨i2 )
ϕ∨ψ ϕ∨ψ
Exemplu
Demonstraţi că secventul q → r ` q → (r ∨ p) este valid.
1 q→r premisa
2 q ipoteza
3 r (→e),1,2
4 r ∨p (∨i1 ),3
5 q → (r ∨ p) (→i),2−4
33 / 55
Regulile pentru disjuncţie: ∨-eliminare
ϕ ψ
.. ..
. .
ϕ∨ψ χ χ
(∨e)
χ
34 / 55
Regulile pentru disjuncţie
Exemplu
Demonstraţi că secventul q → r ` (p ∨ q) → (p ∨ r ) este valid.
1 q→r premisa
2 p∨q ipoteza
3 p ipoteza
4 p∨r (∨i1 ),3
5 q ipoteza
6 r (→e),1,5
7 p∨r (∨i2 ),6
8 p∨r (∨e),2,3−4,5−7
9 p ∨ q → p ∨ r (→i),2−8
35 / 55
Regulile pentru negaţie
ϕ
..
.
ϕ ¬ϕ ⊥
(¬e) (¬i)
⊥ ¬ϕ
36 / 55
Regulile pentru negaţie
Exemplu
Demonstraţi că secventul p → ¬p ` ¬p este valid.
1 p → ¬p premisa
2 p ipoteza
3 ¬p (→e),1,2
4 ⊥ (¬e),2,3
5 ¬p (¬i),2−4
37 / 55
Regulile DN
ϕ ψ ϕ∧ψ ϕ∧ψ
(∧i) (∧e1 ) (∧e2 )
ϕ∧ψ ϕ ψ
ϕ
..
.
ψ ϕ ϕ→ψ
(→i) (→e)
ϕ→ψ ψ
ϕ ψ
.. ..
. .
ϕ ψ ϕ∨ψ χ χ
(∨i1 ) (∨i2 ) (∨e)
ϕ∨ψ ϕ∨ψ χ
ϕ
..
.
ϕ ⊥ ¬¬ϕ ϕ ¬ϕ ⊥
(¬¬i) (¬i) (¬¬e) (¬e) (⊥e)
¬¬ϕ ¬ϕ ϕ ⊥ ϕ
38 / 55
Reguli derivate
¬ϕ
..
.
ϕ → ψ ¬ψ ⊥
MT RAA TND
¬ϕ ϕ ϕ ∨ ¬ϕ
39 / 55
Reguli derivate: TND
Exemplu
Regula TND este derivată ı̂n deducţia naturală.
ϕ ∨ ¬ϕ
40 / 55
Corectitudinea şi completitudinea DN
41 / 55
Corectitudinea DN
Teoremă
Deducţia naturală este corectă, i.e.
Demonstraţie
Din ipoteză ştim că există o demonstraţie pentru ϕ din ipotezele
ϕ1 , . . . , ϕn folosind regulile deducţiei naturale.
Fie k numărul de linii dintr-o demonstraţie ı̂n forma liniară. Prin inducţie
după k ≥ 1 vom arăta că
oricare ar fi n ≥ 0 şi ϕ1 , · · · , ϕn , ϕ formule, dacă ϕ1 , . . . , ϕn ` ϕ are o
demonstraţie de lungime k ≥ 1 atunci ϕ1 , . . . , ϕn |= ϕ,
(orice secvent care are o demonstraţie de lungime k este corect).
42 / 55
Corectitudinea DN
Demonstraţie (cont.)
1 ϕ premisa
43 / 55
Corectitudinea DN
Demonstraţie (cont.)
Cazul de inducţie. Vom presupune că:
oricare ar fi ϕ1 , · · · , ϕn , ϕ, dacă ϕ1 , . . . , ϕn ` ϕ are o demonstraţie de
lungime < k atunci ϕ1 , . . . , ϕn |= ϕ
şi vom demonstra că proprietatea este adevărată pentru secvenţi cu
demonstraţii de lungime k.
Fie (R) ultima regulă care se aplică ı̂n demonstraţie, adică
1 ϕ1 premisa
..
.
n ϕn premisa
..
.
k ϕ (R)
44 / 55
Corectitudinea DN
Demonstraţie (cont.)
Presupunem că ultima regulă a fost (∧i). Aceasta ı̂nseamnă că
ϕ=ψ∧χ
45 / 55
Corectitudinea DN
Demonstraţie (cont.)
Presupunem că ultima regulă a fost (→i). Aceasta ı̂nseamnă că
ϕ=ψ→χ
46 / 55
Corectitudinea DN
Demonstraţie (cont.)
Putem acum să demonstrăm că ϕ1 , . . . , ϕn , |= ϕ.
Fie e : Var → {0, 1} o evaluare astfel ı̂ncât e + (ϕ1 ) = · · · = e + (ϕn ) = 1.
Vrem să arătăm că e + (ϕ) = 1.
Deoarece ϕ = ψ → χ considerăm două cazuri.
Dacă e + (ψ) = 0 atunci e + (ϕ) = 0 → e + (χ) = 1.
Dacă e + (ψ) = 1 atunci e + este un model pentru formulele
ϕ1 , . . . , ϕn , ψ. Din (∗) rezultă ca e + (χ) = 1, deci e + (ϕ) = 1 → 1 = 1.
Am demonstrat că regula (→i) este corectă.
47 / 55
Notaţii
48 / 55
Completitudinea DN - rezultate ajutătoare
Propoziţia 1
Fie ϕ este o formulă şi Var (ϕ) = {v1 , . . . , vn }. Pentru orice evaluare
e : Var → {0, 1} sunt adevărate:
Propoziţia 2
Oricare ar fi formulele ϕ1 , . . . , ϕn , ϕ,
dacă ϕ1 , . . . , ϕn |= ϕ atunci |= ϕ1 → (ϕ2 → (· · · → (ϕn → ϕ) · · · )).
Propoziţia 3
Oricare ar fi formulele ϕ1 , . . . , ϕn , ϕ,
dacă ` ϕ1 → (ϕ2 → (· · · → (ϕn → ϕ) · · · )) este valid,
atunci ϕ1 , . . . , ϕn ` ϕ este valid.
49 / 55
Completitudinea DN
Teoremă
Deducţia naturală este completă, i.e.
oricare ar fi formulele ϕ1 , . . . , ϕn , ϕ.
Demonstraţie
Pasul 1. Dacă |= ϕ atunci ` ϕ este valid.
Pasul 2. Presupunem că ϕ1 , . . . , ϕn |= ϕ.
Din Propoziţia 2 deducem că |= ϕ1 → (ϕ2 → (· · · → (ϕn → ϕ) · · · )).
Aplicând Pasul 1 obţinem că ` ϕ1 → (ϕ2 → (· · · → (ϕn → ϕ) · · · )) este
valid. În consecinţă ϕ1 , . . . , ϕn ` ϕ este valid din Propoziţia 3.
50 / 55
Completitudinea DN
Demonstraţie (cont.)
În continuare demonstrăm Pasul 1.
Fie ϕ o tautologie, i.e. |= ϕ, astfel ı̂ncât Var (ϕ) = {p1 , . . . , pn }.
Oricare ar fi e : Var → {0, 1} ştim că e + (ϕ) = 1 deci, din Propoziţia 1,
rezultă că secventul {p1e , . . . , pne } ` ϕ este valid.
Deoarece există 2n evaluări, i.e., tabelul de adevăr are 2n linii, obţinem 2n
demonstraţii pentru ϕ, fiecare din aceste demonstraţii având n premise.
Vom arăta ı̂n continuare, pe un exemplu simplu, cum se pot combina
aceste 2n demonstraţii cu premise pentru a obţine o demonstraţie fără
premise pentru ϕ.
51 / 55
Completitudinea DN
Demonstraţie (cont.)
Considerăm |= ϕ şi n = 2, i.e. Var (ϕ) = {p1 , p2 }.
De exemplu, puteţi considera ϕ = p1 ∧ p2 → p1
Din Propoziţia 1 ştim că următorii secvenţi sunt valizi:
p1 , p2 `ϕ
p1 , ¬p2 `ϕ
¬p1 , p2 `ϕ
¬p1 , ¬p2 `ϕ
Demonstraţie (cont.)
Combinăm cele patru demonstraţii astfel:
p1 ∨ ¬p1 TND
p1 ipoteza ¬p1 ipoteza
p2 ∨ ¬p2 TND p2 ∨ ¬p2 TND
p2 ipoteza ¬p2 ipoteza p2 ipoteza ¬p2 ipoteza
.. .. .. ..
. . . .
ϕ ϕ ϕ ϕ
ϕ (∨e) ϕ (∨e)
ϕ (∨e)
53 / 55
Deducţia naturală DN
54 / 55