LA LOGICA

LUCRARE SCRISA
01.02.2015

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

1. Aratati ca propozitia (p q r) ((p q) (p r)) este

tautologie folosind:
a) tabele de adevar
b) tablouri semantice.
2. Demonstrati formal: A B ` A B.
3. Fie (A, ) o multime ordonata.
a) Exprimati n limbaj formal: ,,A admite submultimi bine ordonate
n raport cu .
b) Exprimati n limbaj cotidian:
(T )(T A (x)(x A ((t)(t T t x)
(U )(U T ((u)(u U u x))))))
4. Decideti daca propozitia
(M )(M Z M 6= (m)(m Z ()( M m | )))
este adevarata sau falsa. Justificare!
5. Consideram o functie f : A B si o submultime nevida M a lui
A. Aratati ca f (f 1 (f (M ))) = f (M ).
6. Demonstrati ca pentru orice n N are loc relatia

Cn2n

<

4n
n+1