Name: ________________________ Class: ___________________ Date: __________ ID: A

eatgher

Multiple Choice
Identify the letter of the choice that best completes the statement or answers the question.

____ 1. Fie formula α∈ FORM şi funcŃia h : FORM
N definită prin:

 0, daca α ∈ V

h(α ) =  1 + h( β ), daca α = β
1 + max{ h( β ), h(γ )}, daca α = βργ , ρ ∈ L \ { }

FuncŃia h reprezintă:

a. adâncimea arborelui de structură corespunzător formulei α;

b. numărul de frunze ale arborelui de structură corespunzător formulei α;
c. numărul maxinm de descendenŃi direcŃi ai unui nod din arborele de structură
corespunzător formulei α.
____ 2. Fie formula α∈ FORM şi funcŃia h : FORM
N definită prin:
 0, daca α ∈ V

h(α ) =  1 + h( β ), daca α = β
1 + max{ h( β ), h(γ )}, daca α = βργ , ρ ∈ L \ { }

FuncŃia h reprezintă:

a. numărul total de propoziŃii elementare care apar în formula α;

b. numărul total de simboluri care apar în formula α;
c. numărul total de conective logice care apar în formula α.
____ 3. MulŃimea axiomelor teoriei care modelează raŃionamentele în contextul limbajului calculului cu propoziŃii,
notată AXIOM, se află în următoarea relaŃie cu sortul FORM:

a. AXIOM = FORM
b. AXIOM ⊂ FORM
c. AXIOM ⊃ FORM
____ 4. Fie formula α ∈ FORM şi substituŃia σ ∈ SUBST. Rezultă că:

a. ασ ∈ SUBST
b. ασ ∈ FORM
c. ασ ∈ AXIOM
____ 5. Fie axioma α ∈ AXIOM şi substituŃia σ ∈ SUBST. Atunci, ασ se numeşte:

a. instanŃiere a formulei ασ;

b. instanŃiere a axiomei ασ;
c. instanŃiere a substituŃiei ασ.

1
Name: ________________________ ID: A

____ 6. Se numeşte regulă de inferenŃă orice relaŃie R ⊂ FORMp x FORMq, în care:

a. p = p
b. p = q + 1
c. q = p + 1
d. p,q ∈ N *
____ 7. Regula modus ponens, MP, este de tip:

a. (1,1)
b. (1,2)
c. (2,1)
d. (2,2)
____ 8. Fie formula α ∈ FORM; ea se numeşte teoremă dacă ∃ α1, … , αn ∈ FORM astfel încât:

a. ∀ i, 1 ≤ i ≤ n: αi este o instanŃiere a unei axiome

b. ∀ i, 1 ≤ i ≤ n ⇒ ∃ j, k, 1 ≤ j, k ≤ i: ({αj , αk}, αi) ∈ MP
c. ∀ i, 1 ≤ i ≤ n ⇒ ∃ k, 1 ≤ k ≤ i: ({αk}, αi) ∈ SUB
d. αn = α
e. αn = α ,si ∀ i, 1 ≤ i ≤ n: αi este o instanŃiere a unei axiome sau ∃ j, k, 1 ≤ j, k ≤ i: ({αj ,
αk}, αi) ∈ MP sau ∃ k, 1 ≤ k ≤ i: ({αk}, αi) ∈ SUB
____ 9. Fie H ⊂ FORM şi α , β ∈ FORM; atunci:

a. H ∪ {α} | β dacă H | (α → β)
b. H | (α → β) dacă H ∪ {α} | β
c. A+B
____ 10. Schema silogismului, (RS): ∀ α , β , γ ∈ FORM:

(α → β ), ( β → γ )
a.
(α → γ )
(α → β ), (α → γ )
b.
(β → γ )
(α → β ), (α → γ )
c.
(γ → β )
____ 11. Schema trecerii de la implicaŃie la echivalenŃă, (IE): ∀ α , β , γ ∈ FORM:

(α → β ), (α → γ )
a.
(β ↔ γ )
(α → β ), ( β → γ )
b.
(α ↔ γ )
(α → β ), ( β → α )
c.
(α ↔ β )

2
Name: ________________________ ID: A

____ 12. Schema permutării premiselor, (PP): ∀ α , β , γ ∈ FORM:

(α → β ), (α → γ )
a.
(α → ( β → γ ))
(α → β ), ( β → γ )
b.
( β → (α → γ ))
(α → ( β → γ ))
c.
( β → (α → γ ))
____ 13. Schema trecerii de la echivalenŃă la implicaŃie, (EI): ∀ α , β ∈ FORM:
(α ↔ β )
A.
(α → β )
(α ↔ β )
B.
(β → α )
a. A
b. A+B
c. B
____ 14. Schema negaŃiei, (NN): ∀ α , β ∈ FORM:

( α ↔ β )
a.
(α ↔ β )
(α → β )
b.
((  β ) → ( α ))
( α → β )
c.
( β → α ) → α ))
____ 15. Schema rezoluŃiei, (REZ): ∀ α , β , γ ∈ FORM:

((α → β ) , ((  α ) → γ ))
a.
(β ∨ γ )
((α → γ ) , ((  α ) → β ))
b.
(β ∨ γ )
((α → β ) , ((  α ) ↔ γ ))
c.
(β ∨ γ )
____ 16. Fie Γ ⊂ FORM; atunci:
A. {α , β} | Γ dacă {(α ∧ β)} | Γ
B. {(α ∧ β)} | Γ dacă {α , β} | Γ

a. A
b. A+B
c. B

3
Name: ________________________ ID: A

____ 17. Se numeşte secvent o pereche de mulŃimi de formule (H, Γ) în care apar numai conective din mulŃimea:

a. L \ {↔}
→}
b. L \ {→
c. L \ {∧ , ∨}
d. L \ {  }
____ 18. Secventul H ⇒ Γ este secvent axiomă dacă:

a. H ∩ Γ = ∅
b. H ∩ Γ ≠ ∅
c. H ⊆ Γ
____ 19. Secventul H ⇒ Γ este secvent încheiat dacă:

a. Γ∩V⊂H
b. H∩V⊂Γ
c. H∪Γ⊂V
H ⇒ Γ ∪ {α }
____ 20. este o:
H ∪ {(  α )} ⇒ Γ

a. regulă de deducŃie Gentzen;

b. regulă de deducŃie Herbrand;
c. regulă de inferenŃă Herbrand;
d. regulă de inferenŃă Gentzen.
____ 21. Fie secventul H ⇒ Γ; regula implicaŃiei stânga este:

H ∪ {β } ⇒ Γ, H ⇒ Γ ∪ {α }
a.
H ∪ {( α → β )} ⇒ Γ
H ∪ {α } ⇒ Γ, H ⇒ Γ ∪ {β }
b.
H ∪ {( α → β )} ⇒ Γ
____ 22. Fie secventul H ⇒ Γ; regula negaŃiei dreapta este:

H ⇒ Γ ∪ {α }
a.
H ∪ {(  α )} ⇒ Γ
H ∪ {α } ⇒ Γ
b.
H ⇒ Γ ∪ {(  α )}
____ 23. Fie secventul H ⇒ Γ; regula disjuncŃiei dreapta este:

H ⇒ Γ ∪ {α , β }
a.
H ⇒ Γ ∪ {( α ∨ β )}
H ∪ {α } ⇒ Γ, H ∪ {β } ⇒ Γ
b.
H ∪ {( α ∨ β )} ⇒ Γ

4
Name: ________________________ ID: A

____ 24. Fie secventul H ⇒ Γ; regula implicaŃiei dreapta este:

H ∪ {α } ⇒ Γ ∪ {β }
a.
H ⇒ Γ ∪ {( α → β )}
H ∪ {α } ⇒ Γ, H ⇒ Γ ∪ {β }
b.
H ∪ {( α → β )} ⇒ Γ
____ 25. După aplicarea regulilor de inferenŃă formulele rezultate au adâncime:

a. mai mare;
b. mai mică;
c. nemodificată.
____ 26. Pentru o formulă selectată regula de inferenŃă este:
A. unică;
B. definită de conectiva principală şi de provenienŃa ei;
C. conectiva cea mai din stânga / dreapta pentru regulile la stânga / dreapta.

a. A+B
b. A+C
c. A+B+C
____ 27. Un arbore de deducŃie T este un arbore de demonstraŃie pentru secventul etichetă a vârfului rădăcină dacă
orice vârf terminal are ca etichetă un secvent:

a. încheiat;
b. axiomă;
c. incheiat sau axiomă
 S, dacă
____ 28. Un secvent S se numeşte demonstrabil şi se notează cu |

a. există T un arbore de demonstraŃie cu S eticheta rădăcinii;

b. există T un arbore de demonstraŃie cu S eticheta cel puŃin a unui nod terminal;
c. există T un arbore încheiat cu S eticheta cel puŃin a unui nod terminal;
d. există T un arbore încheiat cu S eticheta rădăcinii.
____ 29. EnunŃul “orice teoremă este tautologie” constituie:

a. teorema deducŃiei;
b. teorema de consistenŃă a calculului cu propoziŃii;
c. teorema de inferenŃă.

5
Name: ________________________ ID: A

____ 30. Sunt adevărate:

A. enunŃul “Th ≠ FORM
B. enunŃul “ ∀ α ∈ Th atunci ( α) ∉ Th “
C. enunŃul “ pentru ∀ α ∈ FORM cel mult una dintre formulele α , ( α) este teoremă”
D. enunŃul “ pentru ∀ α ∈ FORM cel puŃin una dintre formulele α , ( α) este teoremă”

a. A+B+C
b. A+B+D
c. B+C
d. B+D
e. A+C
____ 31. O mulŃime compatibilă de formule H este un sistem deductiv dacă:

a. ∀ α ∈ Th atunci α ∈ T(H)
b. T(H) = H
c. T(H) ⊂ H
d. T(H) ⊃ H
____ 32. Fie H o mulŃime compatibilă de formule; atunci T(H) este:

a. o mulŃime de formule inclusă în H;

b. un sistem deductiv;
c. o mulŃime validabilă de formule.
____ 33. Care dintre următoarele enunŃuri este adevărat?

a.
o mulŃime compatibilă de formule H este un sistem deductiv dacă este punct fix al
operatorului de deductibilitate;
b. o mulŃime compatibilă de formule H este un sistem deductiv dacă şi numai dacă este
punct fix al operatorului de deductibilitate
c. o mulŃime compatibilă de formule H este un sistem deductiv dacă şi numai dacă este
punct fix al operatorului de inferenŃă.
____ 34. Fie D un sistem deductiv. Care dintre implicaŃii este adevărată?

a. D maximal atunci D complet;

b. D complet atunci D maximal;
c. ambele;
d. nici una.
____ 35. EnunŃul “orice formulă demonstrabilă a limbajului calculului cu propoziŃii este tautologie” constituie:

a. teorema Herbrand;
b. teorema de consistenŃă a calculului cu propoziŃii;
c. teorema de completitudine a limbajului calculului cu propoziŃii;
d. teorema Lindenbaum Tarski .

6
Name: ________________________ ID: A

____ 36. Fie H ⊂ FORM, finită. Care dintre următoarele afirmaŃii este adevărată:

a. H este consistentă dacă nu este compatibilă;

b. H este compatibilă dacă nu este consistentă;
c. H este consistentă dacă şi numai dacă este compatibilă;
d. H este fie compatibilă fie consistentă.
____ 37. Fie H ⊂ FORM; H este finit validabilă dacă:
A. orice submulŃime finită a sa este incompatibilă
B. orice submulŃime finită a sa este consistentă
C. cel puŃin una dintre submulŃimile sale finite nu este consistentă

a. B
b. A+C
c. A+B
____ 38. EnunŃul “mulŃimea de formule H este consistentă dacă şi numai dacă este finit validabilă” constituie:

a. teorema de consistenŃă a calculului cu propoziŃii;

b. teorema de completitudine a limbajului calculului cu propoziŃii;
c. teorema de compacitate a limbajului calculului cu propoziŃii.
____ 39. Teorema de consistenŃă a sistemului deducŃiei naturale afirmă că:

a. orice secvent încheiat este secvent valid;

b. orice secvent valid este secvent demonstrabil;
c. orice secvent demonstrabil este secvent valid.
____ 40. Teorema de completitudine a sistemului deducŃiei naturale afirmă că:

a. orice secvent încheiat este secvent valid;

b. orice secvent valid este secvent demonstrabil;
c. orice secvent demonstrabil este secvent valid.
____ 41. Fie S(α) o reprezentare clauzală. Teorema de bază a rezoluŃiei afirmă că:
A. dacă S(α) este validabilă, atunci pentru orice literal λ: Rezλ(α) este validabilă
B. dacă există un literal λ astfel încât Rez λ(α) este validabilă, atunci S(α) este validabilă

a. A+B
b. A
c. B
____ 42. Fie S(α) o reprezentare clauzală. Teorema de completitudine a rezoluŃiei afirmă că:

a. S(α) este invalidabilă dacă există o S(α)-respingere rezolutivă;

b. S(α) este invalidabilă dacă şi numai dacă există o S(α)-respingere rezolutivă.