Documente Academic
Documente Profesional
Documente Cultură
Limbaj de ordinul I L
unic determinat de τ = (R, F, C, ari)
Termenii lui L, notaţi TrmL , sunt definiţi inductiv astfel:
orice variabilă este un termen;
orice simbol de constantă este un termen;
dacă f ∈ F, ar (f ) = n şi t1 , . . . , tn sunt termeni, atunci f (t1 , . . . , tn ) este termen.
Formulele atomice ale lui L sunt definite astfel:
dacă R ∈ R, ar (R) = n şi t1 , . . . , tn sunt termeni, atunci R(t1 , . . . , tn ) este
formulă atomică.
Formulele lui L sunt definite astfel:
orice formulă atomică este o formulă
dacă ϕ este o formulă, atunci ¬ϕ este o formulă
dacă ϕ şi ψ sunt formule, atunci ϕ ∨ ψ, ϕ ∧ ψ, ϕ → ψ sunt formule
dacă ϕ este o formulă şi x este o variabilă, atunci ∀x ϕ, ∃x ϕ sunt formule
2 / 29
Logica de ordinul I - semantică
Propoziţie
Dacă ϕ este o formulă atunci
Demonstraţie
Exerciţiu!
4 / 29
Cuprins
2 Forma Skolem
5 / 29
Variabile libere. Variabile legate. Enunţuri
6 / 29
Variabile libere. Variabile legate. Enunţuri
Fie ϕ o formulă şi Var (ϕ) mulţimea variabilelor care apar ı̂n ϕ.
Variabilele libere ale unei formule ϕ sunt variabilele care nu sunt
cuantificate.
Mulţimea FV (ϕ) a variabilelor libere ale unei formule ϕ poate fi
definită prin inducţie după formule:
FV (ϕ) = Var (ϕ), dacă ϕ este formulă atomică
FV (¬ϕ) = FV (ϕ)
FV (ϕ ◦ ψ) = FV (ϕ) ∪ FV (ψ), dacă ◦ ∈ {→, ∨, ∧}
FV (∀x ϕ) = FV (ϕ) − {x}
FV (∃x ϕ) = FV (ϕ) − {x}
O variabilă v ∈ Var (ϕ) care nu este liberă se numeşte legată ı̂n ϕ.
Un enunţ este o formulă fără variabile libere.
Pentru orice structură A şi orice enunţ ϕ, o A-interpretare I nu
joacă niciun rol ı̂n a determina dacă A, I ϕ.
7 / 29
Variabile libere. Varibile legate. Enunţuri
Exemplu
Fie limbajul Lr cu un singur simbol de relaţie R de aritate 2.
Fie următoarea formulă
8 / 29
Variabile libere. Varibile legate. Enunţuri
Exemplu
Fie limbajul Lr cu un singur simbol de relaţie R de aritate 2.
Care din următoarele formule sunt enunţuri?
1 ∀x ∀y R(x, y ) - enunţ
2 ∀x ∀y (R(x, y ) ∨ R(x, z))
3 ∀x ∀y (R(x, y ) ∨ ∀z R(x, z)) - enunţ
4 ∀x R(x, y )
9 / 29
Enunţuri
Propozitie
Pentru orice structură A avem
A ϕ dacă şi numai dacă A ∀x1 · · · ∀xn ϕ.
Demonstraţie
Exerciţiu!
10 / 29
Substituţii
11 / 29
Formule echivalente
ϕψ
Exemplu
Dacă P este un simbol de relaţie de aritate 1 şi x şi y sunt variabile
distincte, atunci
12 / 29
Forma rectificată
Exemplu
13 / 29
Forma prenex
Q1 x1 Q2 x2 . . . Qn xn ϕ
Exemplu
Fie R este un simbol de relaţie de aritate 2. Formula
14 / 29
Cum calculăm forma prenex?
Se ı̂nlocuiesc → şi ↔ :
ϕ→ψ ¬ϕ ∨ ψ
ϕ↔ψ (¬ϕ ∨ ψ) ∧ (¬ψ ∨ ϕ)
¬∃x ¬ϕ ∀x ϕ ∀x ϕ ∧ ∀x ψ ∀x (ϕ ∧ ψ)
¬∀x ¬ϕ ∃x ϕ ∃x ϕ ∨ ∃x ψ ∃x (ϕ ∨ ψ)
¬∃x ϕ ∀x ¬ϕ ∀x ∀y ϕ ∀y ∀x ϕ
¬∀x ϕ ∃x ¬ϕ ∃x ∃y ϕ ∃y ∃x ϕ
∀x ϕ ∨ ψ ∀x (ϕ ∨ ψ) dacă x 6∈ FV (ψ)
∀x ϕ ∧ ψ ∀x (ϕ ∧ ψ) dacă x 6∈ FV (ψ)
∃x ϕ ∨ ψ ∃x (ϕ ∨ ψ) dacă x 6∈ FV (ψ)
∃x ϕ ∧ ψ ∃x (ϕ ∧ ψ) dacă x 6∈ FV (ψ)
15 / 29
Forma prenex
Exemplu
Fie R un simbol de relaţie de aritate 2.
16 / 29
Forma prenex
Demonstraţie
Demonstrăm prin inducţie după structura formulei ϕ.
ϕ este formulă atomică.
Atunci ϕ este ı̂n formă prenex, deci ϕ∗ := ϕ.
ϕ = ∀xψ.
Conform ipotezei de inducţie, există o formulă ψ ∗ ı̂n formă prenex
astfel ı̂ncât ψ ψ ∗ şi FV (ψ) = FV (ψ ∗ ).
Definim ϕ∗ := ∀xψ ∗ .
17 / 29
Forma prenex
Demonstraţie (cont.)
ϕ = ¬ψ.
Conform ipotezei de inducţie, există o formulă
ψ ∗ = Q1 x1 . . . Qn xn ψ0 ı̂n formă prenex astfel ı̂ncât ψ ψ ∗ şi
FV (ψ) = FV (ψ ∗ ). Notăm ∀c = ∃, ∃c = ∀ şi definim
18 / 29
Forma prenex
Demonstraţie (cont.)
ϕ = ψ ∨ χ şi, conform ipotezei de inducţie, există formulele ı̂n formă
prenex
ψ ∗ = Q1 x1 . . . Qn xn ψ0 , χ∗ = S1 z1 . . . Sm zm χ0
astfel ı̂ncât ψ ψ ∗ , FV (ψ) = FV (ψ ∗ ), χ χ∗ şi FV (χ) = FV (χ∗ ).
Definim
ϕ∗ := Q1 x1 . . . Qn xn S1 z1 . . . Sm zm ψ0 ∨ χ0 .
Atunci ϕ∗ este ı̂n formă prenex, FV (ϕ∗ ) = FV (ϕ) şi
ϕ∗ ψ ∗ ∨ χ∗ ψ ∨ χ = ϕ.
20 / 29
Forma Skolem
Vom asocia lui ϕ un enunţ universal ϕsk ı̂ntr-un limbaj extins Lsk (ϕ).
Un enunţ se numeşte universal dacă conţine doar cuantificatori universali.
21 / 29
Forma Skolem
Fie ϕ enunţ ı̂n formă prenex. Definim ϕsk şi Lsk (ϕ) astfel:
dacă ϕ este liberă de cuantificatori, atunci ϕsk = ϕ şi Lsk (ϕ) = L,
dacă ϕ este universală, atunci ϕsk = ϕ şi Lsk (ϕ) = L,
dacă ϕ = ∃x ψ atunci introducem un nou simbol de constantă c şi
considerăm ϕ1 = ψ[x/c], L1 = L ∪ {c}.
dacă ϕ = ∀x1 . . . ∀xk ∃x ψ atunci introducem un nou simbol de
funcţie f de aritate k şi considerăm L1 = L ∪ {f },
ϕ1 = ∀x1 . . . ∀xk ψ[x/f (x1 . . . xk )]
În ambele cazuri, ϕ1 are cu un cuantificator existenţial mai puţin decât
ϕ. Dacă ϕ1 este liberă de cuantificatori sau universală, atunci ϕsk = ϕ1 .
Dacă ϕ1 nu este universală, atunci formăm ϕ2 , ϕ3 , . . ., până ajungem la o
formulă universală şi aceasta este ϕsk .
Definiţie
ϕsk este o formă Skolem a lui ϕ.
22 / 29
Forma Skolem
Exemplu
Fie P un simbol de relaţie de aritate 1 şi ϕ = ∃x P(x).
Atunci
ϕ1 = (P(x))[x/c] = P(c),
Exemplu
Fie R un simbol de relaţie de aritate 3 şi ϕ = ∃x ∀y ∀z R(x, y , z). Atunci
ϕ1 = (∀y ∀z R(x, y , z))[x/c] = ∀y ∀z R(c, y , z),
unde c este un nou simbol de constantă. Deoarece ϕ1 este un enunţ
universal, rezultă că ϕsk = ϕ1 = ∀y ∀z R(c, y , z).
23 / 29
Forma Skolem
Exemplu
Fie P un simbol de relatie de aritate 2 şi ϕ = ∀y ∃z P(y , z). Atunci
24 / 29
Forma Skolem
Exemplu
Fie L un limbaj şi P, R ∈ R, f ∈ F, ari(P) = ari(R) = 2 şi ari(f ) = 1.
Determinaţi forma Skolem pentru:
ϕ := ∀y ∃z ∀u ∃v (R(y , z) ∧ P(f (u), v )).
25 / 29
Forma Skolem
Demonstraţie [schiţă]
1 Folosind următoarele proprietăţi
ϕx (t) → ∃x ϕ
ϕ implică ∀x ϕ şi
∀x (ϕ → ψ) → (∀x ϕ → ∀x ψ)
putem demonstra că ϕ1 → ϕ, ϕ2 → ϕ1 , etc.
2 ”⇐” Se aplică (i).
”⇒” exerciţiu.
26 / 29
Forma Skolem
Observaţie
În general, ϕ şi ϕsk nu sunt logic echivalente ca enunţuri ı̂n Lsk (ϕ).
Exemplu
Fie L = {R} unde R este simbol de relaţie de aritate 2 şi
ϕ = ∀v1 ∃v2 R(v1 , v2 ).
Atunci ϕsk = ∀v1 R(v1 , f (v1 )) (unde f este un nou simbol de funcţie
unară) şi Lsk (ϕ) = {f , R}.
Fie Lsk (ϕ)-structura A = (Z, <, f A ), unde f A (n) = n − 1 pentru orice
n ∈ Z. Atunci A ϕ, deoarece pentru orice număr ı̂ntreg m există un
6 ϕsk , deoarece
număr ı̂ntreg n astfel ı̂ncât m < n. Pe de altă parte, A
A
pentru orice n ∈ Z, avem că n ≥ f (n) = n − 1.
27 / 29
Logica de ordinul I
28 / 29