LA LOGICA

LUCRARE SCRISA
01.02.2015

Numele ................................................................ Grupa ...............

1. Aratati ca propozitia (p q r) ((p r) (q r)) este
tautologie folosind:
a) tabele de adevar
b) tablouri semantice.
2. Demonstrati formal: (A B) ` A.
3. Fie (A, ) o multime ordonata.
a) Exprimati n limbaj formal: ,,Orice parte total ordonata a lui A este
minorata.
b) Exprimati n limbaj cotidian:
(M )(M A ((x) x A (m)(m M m x)
((N )(N M (x) x A (n)(n N n x)))))
4. Decideti daca propozitia
(M )(M Z M 6= (m)(m M ()( M m )))
este adevarata sau falsa. Justificare!
5. Consideram o functie f : A B si o submultime nevida N a lui
B. Aratati ca f 1 (f (f 1 (N ))) = f 1 (N ).
6. Demonstrati ca pentru orice n N are loc relatia ln n <

n.