LA LOGICA

LUCRARE SCRISA
15.09.2014

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

1. Aratati ca propozitia ((p q) (p r q r) este tautologie folosind:

a) tabele de adevar
b) tablouri semantice.
2. Aratati ca
{C A, A B C, B C} `R A B D.
3. Demonstrati formal: A B, A ` B.
4. a) Exprimati n limbaj formal: ,,Din orice trei numere reale se
pot alege doua cu produsul pozitiv.
b) Exprimati n limbaj cotidian:
(x)(x C (z)(z R |x| > z)).
5. Decideti daca afirmatia de la exercitiul 4 a) este adevarata sau
falsa. Justificare!
6. Demonstrati ca pentru orice n N are loc relatia
1
1
1
5n 2
+ + +
<
.
1! 2!
n!
2n