Universitatea “Dunărea de Jos” din Galați

Facultatea de Științe și Mediu

Departamentul de Matematică-Informatică

Examen LOGICĂ

1. Fie A si B două mulțimi. Definim diferența simetrică a mulțimilor A si B astfel:

AB  ( A  B )  ( B  A) . Să se arate că: AB  ( A  B )  ( B  A ) și

AB  ( A  B)  ( A  B ) .
2. Să se verifice dacă următoarele propoziții sunt tautologii:
a) ( p  q )  ( p  q )  p
b) p  ( q  r )  ( p  q )  ( p  r )
3. Să se aducă la forma normală disjunctivă formula:
P = (( p  s)  r )  (( s  q)  r ) .
4. Considerăm următorul sistem de axiome:
Sistemul lui Lucasiewicz
L1. p(qp)
L2. (p(qr))((pq)(pr))
L3. ( p  q )(qp)
Să se arate că ( A  B)  ( A  A) este o teoremă.
5. Predicate. Cuantificatorii predicatelor