Facultad de Ciencias Exactas, Ingeniera y Agrimensura

Escuela de Ciencias Exactas y Naturales

Departamento de Matematica
Algebra y Geometra I
Lic. en Cs. de la Computacion - Ano 2016

Trabajo Practico No 1

1. Hallar la tabla de verdad de cada una de las siguientes proposiciones. Ademas, deter-
minar cuales son tautologas y cuales contradicciones.
(a) (p)(q) (f) (pq)r
(b) ((pq)((qp))) (g) (qr)(rq)
(c) p(qp) (h) (pq)(qr)(rp)
(d) (pq)(qp) (i) ((pq)r)((pq)r)
(e) p(qp) (j) p(qq)
2. Los valores de verdad de las proposiciones p, q, r y s son, respectivamente, V, F, F y
V. Obtener los valores de verdad de
(a) ((pq)r)s
(b) r(sp)
(c) (pr)(rs)

3. Demostrar que los siguientes enunciados son tautologas:

(a) (pq)(qp) (i) ((pq)(rq))((pr)q)
(b) q(pq) (j) ((pq)(pr))(p(qr))
(c) p(pq) (k) (pq)(qp)
(d) (p(pq))q (l) p(pq)
(e) (pp)q (m) (pq)pq
(f) p(qq) (n) (pq)(pq)
(g) ((pq)(qr))(pr) (o) (pq)(pq)
(h) ((pq)(qr))(pr)

4. Simplificar las siguientes proposiciones:

(a) (pq) (d) ((pq)q)((ps))
(b) (pq)(pq) (e) ((pq)(qp))q
(c) ((pq)(pr)) (f) ((sp)(sp))(rr)

5. Determinar si la informacion que se da es suficiente para conocer el valor de verdad de

las siguientes proposiciones compuestas:
(a) (pq)r, r es V (d) (pq)(pq), q es V
(b) (pq)r, p es V (e) (pq)(pr), p es V y r es F
(c) (pq)(pq), p es F (f) p(qr), pr es V

1
6. Para cada una de las siguientes proposiciones se pide: expresalas simbolicamente, negar
las expresiones obtenidas y retraducirlas al lenguaje ordinario:

a) El cuadrado de todo numero real es mayor que 2.

b) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente.
c) La suma de dos numeros impares es par.
d ) Todo el que estudia, triunfa.

7. Negar las siguientes expresiones.

(a) x R(y R : x y) (c) x(p(x))y(q(y))
(b) x(x Rx Q) (d) x N(x + 1 x)

8. Sean P (x): x es primo, E(x): x es par, O(x): x es impar y D(x, y): x divide a y.
Para cada una de las siguientes proposiciones se pide: escribirlas en lenguaje ordinario,
escribir sus negaciones en lenguaje ordinario y determinar la validez o invalidez de las
mismas.
(a) x(E(x)D(2, x)) (d) x(E(x)P (x))
(b) x(D(2, x)E(x)) (e) xy((O(x)P (y))D(x, y))
(c) x(E(x)D(x, 6)) (f) x(E(x)y(D(x, y)E(y)))