LUCRARE SCRISA LA LOGICA

03.02.2013

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

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

folosind:
a) tabele de adevar
b) tablouri semantice.

2. Aratati ca {B A C, C B, C B} `R A C.

3. Dati o demonstratie formala pentru formula (A B) C A C.

4. a) Exprimati n limbaj formal: ,,Orice vecinatate a lui a contine

un interval centrat n a folosind notatia V(a) = {V R : V este
vecinatate a lui a}.
b) Exprimati n limbaj cotidian:
(x)(x Z (y)(z)(y Z z Z y 6= z y|x z|x)).

5. Exprimati formula de la exercitiul 4 b) n limbaj ,,formal uzual

si decideti daca este adevarata sau falsa (justificare!).

6. Fie f : A B si M, N A. Demonstrati ca f (M N ) =
f (M ) f (N ). (Solicitati, va rog, doua precizari!)