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