TABLAS DE LA VERDAD

MERY OVIEDO VALDERRAMA GLADYS STERLING GARAVITO YESENIA CARDONA NIETO

TUTORA: INGRID MARCELA LEON TRUJILLO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS BASICAS TECNOLOGIAS E INGENIERIAS LOGICA MATEMATICAS REGENCIA DE FARMACIA PRIMER SEMESTRE 2012 TALLER

HALLAR: 1. p ^ q p v v v v f f f f q v v f f v v f f r v f v f v f v f p^r p^r v f v f f f f f p^q v f v v v v v v p^r

p^q v v f f f f f f

2. (p p q 1 1 1 0 0 1 0 0 p 0 0 1 1

(q v

p))

q (p (q v p)) 1 0 1 1 (p (q v p)) 0 1 0 1 q

q (q v p) 0 1 1 0 0 1 1 1

3. (p p v v f f q v f v f q f v f v

q) p v f v v

( q q q

p) p (p v v v f q) v v v f ( q p)

4. (p p 1 1 0 0 q 1 0 1 0 q 0 1 0 1

q) ^ (p^ q) p 1 0 0 1 q p^ q (p 0 1 0 0 q) ^ (p^ q) 0 0 0 0

5. p^ ((p v q) v r) p v v v v f f f f q v v f f v v f f r v f v f v f v f pvq v v v v v v f f ((p v q) v r) f f f f f f f v p^ ((p v q) v r) f f f f f f f f

6. (p p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 p

q) v ( p v r) q 0 0 1 1 1 1 1 1 pvr 1 0 1 0 1 1 1 1 (p q) v ( p v r) 1 0 1 1 1 1 1 1

7. p p v v v v f f f f q v v f f v v f f r v f v f v f v f

(q ^ r) q^r v f f f v f f f p (q ^ r) v f f f v v v v

8. (p p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 p

r)

(q v p) r qvp (p r) 0 1 0 1 1 1 0 0 (q v p)

0 1 0 1 1 1 1 1

1 1 1 1 1 1 0 0

9. p v v v v f f f f q v v f f v v f f r

(p ^ q) r f v f v f v f v

r (p ^ q) v v f f v v v v (p ^ q) f v v v f v f v r

v f v f v f v f

10. ( p ^ q) p 1 1 1 1 0 0 0 0 q 1 1 0 0 1 1 0 0 r 1 0 1 0 1 0 1 0 p 0 0 0 0 1 1 1 1 r 0 1 0 1 0 1 0 1

(q v

r) (q v r) 0 0 1 0 0 0 1 0 ( p ^ q) 1 1 1 1 0 0 1 1 (q v r)

p^q 0 0 0 0 1 1 0 0