Sem.2 Logica
Sem.2 Logica
Sem.2 Logica
1. p p 5. (r p) q
2. p q
6. (p q) r
3. p q
4. p q 7. (p q) (q r)
1. p (p q) 6. (p p) [(p q) (q p)]
2. (p q) (p q)
7. [p (q r)] [(p q) (p r)
3. (p q) (p q)
8. (p q) (p q)
4. [p (q r)] [q (p r)
5. (p q) ( q p) 9. [(p q) (p r)] (q r)
a) x R/3x 2 = 4x + 1
b) x Z : 3x 2 6= 4x + 1
c) x R/x2 + 1 0
d) n A : 5 n2 > 0; A = {2; 1; 0; 1; 2}
e) x R/ x2 + x + 1 = 0
2x + 5
f) x B/ < 10, B = {0; 1; 5; 7}
3
E JERCICIO 12. Dadas las expresiones logicas:
I. x R : x2 + 8 0 II. n Q/0 < n < 1
III. n Z + : n2 + n + 17 no es primo IV. n N/n + 1 < 5
Cuantas de ellas son verdaderas justifique su respuesta?
E JERCICIO 13. Negar la proposicion x R, y R/x < y
E JERCICIO 14. Hallar el valor de verdad de:
Si:
1. p : x R/x2 + 1 < 0
2. q : x R/x0 = 1
3. r : x R/x! = 6