Documente Academic
Documente Profesional
Documente Cultură
1
1
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: Tot, i oamenii
sunt mamifere s, i au două picioare. Identificat, i signatura Σ de care avet, i nevoie, identificat, i tot, i
conectorii logici s, i cuantificatorii necesari.
Rezolvare.
Simboluri funct, ionale: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Simboluri predicative: Om(x): x este om; . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
............................................................................................................
Σ = ........................................................................................................
Conectori logici s, i cuantificatori:
• ..........................................................................................................
• ..........................................................................................................
2. (15 p). Arătat, i, folosind un rat, ionament la nivel semantic, că nu toate formulele ϕ ∈ LP care
sunt satisfiabile sunt s, i valide.
Rezolvare. Voi arăta că există cel put, in o formulă din LP care este satisfiabilă dar nu este validă.
3. (15 p). Arătat, i că formula ϕ = (∀x.P(x)) → P(i(x)) este validă folosind rezolut, ia de bază.
Rezolvare. Formula ϕ este validă dacă s, i numai dacă ¬ϕ este nesatisfiabilă. Voi arăta că ¬ϕ este nesatisfiabilă
aducând formula ¬ϕ ı̂n FNSC s, i apoi voi aplica rezolut, ia de bază.
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. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (. . . . . . . . . )
Ciornă.