Documente Academic
Documente Profesional
Documente Cultură
Abstract
Textul de faţă conţine probleme date de autoare la examenul a-
ferent cursului de logică matematică şi computaţională din anul I de
studiu al Facultăţii de Matematică şi Informatică a Universităţii din
Bucureşti.
În cele ce urmează vom folosi notaţia “ddacă“ drept prescurtare pentru
sintagma “dacă şi numai dacă“.
1
2
2 Lista de subiecte
Exerciţiul 2.1. Considerăm sistemul formal al calculului cu predicate.
Fie signatura τ = (1; 2; ∅) şi structura de ordinul I de această signatură
A = (A; f A ; RA ; ∅), unde A = {a, b, c, d} este o mulţime cu 4 elemente, iar
funcţia f A : A → A şi relaţia binară RA pe A vor fi notate respectiv cu f şi
R, şi sunt definite prin: f (a) = b, f (b) = c, f (c) = d, f (d) = a (vezi tabelul
de mai jos) şi R = {(a, b), (b, c), (c, b), (c, d)} ⊂ A2 (vezi reprezentarea
grafică de mai jos). Să se calculeze valorile de adevăr ale enunţurilor:
∃ x (R(x, f (x)) ∧ R(f (x), x)) şi ∃ x ∀ y (R(y, f (f (x))) ∨ R(f (x), y)).
x a b c d
f (x) b c d a
pentru că:
^
deci (||R(u, f (f (c)))|| ∨ ||R(f (c), u)||) = 0;
u∈A
R2 : a r b r @
rc ?
rd
@ 6
R4 : a r b r @
rc rd
@ 6
Prin urmare, T (R) = R ∪ R2 ∪ R3 ∪ R4 = {(a, b), (a, c), (a, d), (b, b),
(b, c), (b, d), (c, b), (c, c), (c, d)} :
B
B
r br - r c-
?
r
T (R) : a B - @ d
HY
@6