Documente Academic
Documente Profesional
Documente Cultură
Logic A
Logic A
a. o mulţime compatibilă de formule H este un sistem deductiv dacă este punct fix al operatorului de
33 deductibilitate; b
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ţă.
După aplicarea regulilor de inferenţă formulele rezultate au adâncime:
25 a. mai mare; b
b. mai mică;
c. nemodificată
Enunţul “mulţimea de formule H este consistentă dacă şi numai dacă este finit validabilă” constituie:
35 a. teorema Herbrand; c
b. teorema de consistenţă a calculului cu propoziţii;
c. teorema de completitudine a limbajului calculului cu propoziţii;
d. teorema Lindenbaum Tarski .
Enunţul “orice teoremă este tautologie” constituie:
29 a. teorema deducţiei; b
b. teorema de consistenţă a calculului cu propoziţii;
c. teorema de inferenţă.
H ⇒ Γ ∪ {α }
este o:
H ∪ α {( )} ⇒ Γ
20 d
a. regulă de deducţie Gentzen;
b. regulă de deducţie Herbrand;
c. regulă de inferenţă Herbrand;
d. regulă de inferenţă Gentzen.
a. A b. A+B c. B
5 a. instanţiere a formulei ασ ; b
b. instanţiere a axiomei ασ ;
c. instanţiere a substituţiei ασ .
1
Fie D un sistem deductiv. Care dintre implicaţii este adevărată?
Funcţia h reprezintă:
4 a. ασ ∈ SUBST b
b. ασ ∈ FORM
c. ασ ∈ AXIOM
Fie formula α ∈ FORM ; ea se numeşte teoremă dacă ∃α1 ,..., α n ∈ FORM astfel încât:
2
Fie H ⊂ FORM, finită. Care dintre următoarele afirmaţii este adevărată:
a. B b. A+C c. A+B
Fie H o mulţime compatibilă de formule; atunci T(H) este:
a. A+B b. A c. B
Fie S(α) o reprezentare clauzală. Teorema de completitudine a rezoluţiei afirmă că:
42 b
a. S(α) este invalidabilă dacă există o S(α)-respingere rezolutivă;
b. S(α) este invalidabilă dacă şi numai dacă există o S(α)-respingere rezolutivă.
23 a
H ⇒ Γ ∪ {α , β } H ∪ {α } ⇒ Γ, H ∪ {β } ⇒ Γ
a. b.
H ⇒ Γ ∪ {(α ∨ β )} H ∪ {(α ∨ β )} ⇒ Γ
24 H ∪ {α } ⇒ Γ ∪ {β } H ∪ {α } ⇒ Γ, H ⇒ Γ ∪ {β } a
a. b.
H ⇒ Γ ∪ {(α → β )} H ∪ {(α → β )} ⇒ Γ
H ∪ {β } ⇒ Γ, H ⇒ Γ ∪ {α }
a.
21 H ∪ {(α → β )} ⇒ Γ a
H ∪ {α } ⇒ Γ, H ⇒ Γ ∪ {β }
b.
H ∪ {(α → β )} ⇒ Γ
22 H ⇒ Γ ∪ {α } H ∪ {α } ⇒ Γ b
a. b.
H ∪ α{( )} ⇒ Γ H ⇒ Γ ∪ α {( )}
3
Fie H ⊂ FORM şi α , β ∈ FORM ; atunci:
9 a. H ∪ {α } | β dacă H | (α → β ) c
b. H | (α → β ) dacă H ∪ {α } | β
c. A+B
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:
3 b
a. AXIOM = FORM
b. AXIOM ⊂ FORM
c. AXIOM ⊃ FORM
O mulţime compatibilă de formule H este un sistem deductiv dacă:
31 b
a. ∀α ∈ Th atunci α ∈ T ( H ) c. T(H) ⊂ H
b. T(H) = H d. T(H) ⊃ H
Pentru o formulă selectată regula de inferenţă este:
A. unică;
B. definită de conectiva principală şi de provenienţa ei;
26 C. conectiva cea mai din stânga / dreapta pentru regulile la stânga / dreapta. a
7 a. (1,1) c. (2,1) c
b. (1,2) d. (2,2)
14 a. ( α ↔ β ) b.
(α → β ) c.
( α → β ) b
(α ↔ β ) (( β ) → ( α )) ( β → α ) → α ) )
a.
(α → β ) , (α → γ ) c.
(α → ( β → γ ) )
12 (α → ( β → γ ) ) ( β → (α → γ ) ) c
b.
(α → β ) , ( β → γ )
( β → (α → γ ) )
4
Schema rezoluţiei, (REZ): ∀ α , β , γ ∈ FORM :
a.
((α → β ) , (( α ) → γ )) c.
((α → β ) , (( α ) ↔ γ ))
15 (β ∨ γ ) (β ∨ γ ) a
b.
((α → γ ) , (( α ) → β ))
(β ∨ γ )
Schema silogismului, (RS): ∀ α , β , γ ∈ FORM:
a.
(α → β ) , ( β → γ ) c.
(α → β ) , ( α → γ )
10 (α → γ ) (γ → β ) a
b.
(α → β ) , (α → γ )
(β → γ )
Schema trecerii de la echivalenţă la implicaţie, (EI): ∀ α , β ∈ FORM:
A.
(α ↔ β ) B.
(α ↔ β )
(α → β ) (β → α )
13 b
a. A b. A+B c. B
a.
(α → β ) , (α → γ ) c.
(α → β ) , ( β → α )
11 (β ↔ γ ) (α ↔ β ) c
b.
(α → β ) , ( β → γ )
(α ↔ γ )
p q
Se numeşte regulă de inferenţă orice relaţie R ⊂ FORM × FORM în care:
6 d
a. p=p c. q=p+1
*
b. p=q+1 d. p,q ∈ N
Se numeşte secvent o pereche de mulţimi de formule (H, Γ) în care apar numai conective din mulţimea:
17 a
a. L \ {↔} b. L \ {→} c. L \ {∧, ∨} d. {}
L\
5
Sunt adevărate:
A. enunţul “ Th ≠ FORM ”
B. ( )
enunţul “ ∀α ∈ Th atunci α ∉ Th “
30 C. enunţul “pentru ∀α ∈ FORM cel mult una dintre formulele α , ( α ) este teoremă” a
D. enunţul “ pentru ∀α ∈ FORM cel puţin una dintre formulele α , ( α ) este teoremă”
a. A+B+C d. B+D
b. A+B+D e. A+C
c. B+C
Teorema de completitudine a sistemului deducţiei naturale afirmă că: