Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2021)
Examen sesiune
Se va completa de către profesor
Se va completa de către student
Exercit, iu Punctaj Criteriu Îndeplinit
Nume acordat (da/nu)
1 1
Prenume 2 2
Anul 3 3
4 4
Grupa Total 5
1. (10 p). Construit, i o formulă din LPI care modelează următoarea afirmat, ie: Oricum am alege
un număr natural el este par sau impar. Identificat, i signatura Σ de care avet, i nevoie, identificat, i
tot, i conectorii logici s, i cuantificatorii necesari.
Rezolvare. Simboluri predicative:
• ..........................................................................................................
• ..........................................................................................................
Σ = ........................................................................................................
Conectori logici s, i cuantificatori:
• ..........................................................................................................
• ..........................................................................................................
2. (15 p). Arătat, i, folosind un rat, ionament la nivel semantic, că oricum am alege o formulă
ϕ ∈ LP, formula ¬ϕ este validă dacă s, i numai dacă ϕ este nesatisfiabilă.
Rezolvare. Fie ϕ o formula oarecare din LP. Voi arăta că ¬ϕ este validă dacă s, i numai dacă ϕ este nesatisfi-
abilă.
3. (15 p). Arătat, i că formula ϕ = ∀x.((∀y.Q(f(i(e), y))) ∧ ¬Q(f(x, i(x)))) este nesatisfiabilă folosind
rezolut, ia de ordinul I.
Rezolvare. Pentru a arăta că ϕ este nesatisfiabilă, voi aduce mai ı̂ntâi formula ϕ ı̂n FNSC s, i abia apoi voi
aplica rezolut, ia de ordinul I.
2
Reguli de inferent, ă pentru deduct, ia naturală:
Γ ` ϕ1 Γ ` ϕ2 Γ ` (ϕ1 ∨ ϕ2 ) Γ, ϕ1 ` ϕ0 Γ, ϕ2 ` ϕ0 Γ`ϕ Γ ` ¬ϕ
∨i1 ∨i2 ∨e 0 ¬e
Γ ` (ϕ1 ∨ ϕ2 ) Γ ` (ϕ1 ∨ ϕ2 ) Γ`ϕ Γ`⊥
4. (10 p). Construit, i o demonstrat, ie formală folosind deduct, ia naturală pentru secvent, a:
Rezolvare.
3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (. . . . . . . . . )
4. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (. . . . . . . . . )
5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (. . . . . . . . . )
6. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (. . . . . . . . . )
7. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (. . . . . . . . . )
Ciornă.