lgebra Superior

Tarea 01
Nombre:

(14 de diciembre de 2016)

Problema 1. Deetermina cules de las siguientes afirmaciones son proposiciones. Da

el valor de verdad de cada proposicin y justifica tu respuesta.
(a) 1 es un nmero entero.
(b) 1 + 2 + 3 = 5.
(c) Si > 0, entonces clcula

(d) La negacin de esta afirmacin es falsa.

Problema 2. Construye las tablas de verdad de las siguientes proposiciones.
(a) p q.
(b) p (q r).
(c) (p q) r.
(d) p (q r).
(e) (p q) r.
(f ) p (q r).
Problema 3. Verifica las siguientes equivalencias:
(a) (p) p.
(b) Leyes de la asociatividad.
(i) (p q) r p (q r).
(ii) (p q) r p (q r).
(c) Leyes de la conmutatividad
(i) p q q p.
(ii) p q q p.
(d) Leyes distributivas
(i) p (q r) (p q) (p r).

(ii) p (q r) (p q) (p r).
(e) Leyes de De Morgan
(i) (p q) p q.
(ii) (p q) p q.
(f ) Leyes de absorcin
(i) Si p q, entonces p q p.
(ii) Si p q, entonces p q q.