Вы находитесь на странице: 1из 1

LA LOGICA

LUCRARE SCRISA
20.01.2014

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

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


tautologie folosind:
a) tabele de adevar
b) tablouri semantice.
2. Aratati ca
{A B C, B C A, C A B, B A} `R A B C.
3. Demonstrati formal: (A B C) (A C).
4. a) Exprimati n limbaj formal: ,,Oricat de aproape de 2 se gasesc
numere rationale pozitive.
b) Exprimati n limbaj cotidian:
(n)(n N (k)(k N k | n k 6= n k < n).
5. Decideti daca formula de la exercitiul 4 b) este adevarata sau
falsa. Justificare!
6. Notam cu I0 intervalul [0, 1] si consideram un sir de intervale
nchise (In )n cu proprietatea ca pentru orice n N avem In+1 In si
l(In )
l(In+1 )
.
2
1
a) Aratati ca pentru orice n N are loc relatia l(In ) n .
2
\
b) Aratati ca
In are cel mult un element.
nN

Вам также может понравиться