Ejemplos

de tablas veritativas

1. (pq)(p.q)
p q p pq p.q (pq)(p.q)

v v f
v
f
f
v f f
f
f
v
f v v
f
v
v
f f v
v
f
f

2. (pq)p
p q p (pq) (pq)p

v v f
v
v
v f f
f
f
f v v
v
v
f f v
v
v

3. (pq)r
p q r p pq (pq)r

v v v f
v
v
v v f f
v
f
v f v f
f
v
v f f f
f
v
f v v v
v
v
f v f v
v
f
f f v v
v
v
f f f v
v
f

*4. (p.q)(p(q.r))
p q r p.q (p.q) q.r (p(q.r) (p.q)(p(q.r))

v v v v
f
v
v
v
v v f v
f
f
f
f
v f v f
v
f
f
v
v f f f
v
f
f
v
f v v f
v
v
f
v
f v f f
v
f
v
v
f f v f
v
f
v
v
f f f f
v
f
v
v

5. (p(qr))((pq)(pr))
p q r qr pq pr p(qr) (pq)(pr) (p(qr))((pq)pr))

v v v v
v
v
v
v
v
v v f f
v
f
f
f
v
v f v v
f
v
v
v
v
v f f v
f
f
v
v
v
f v v v
v
v
v
v
v
f v f f
v
v
v
v
v
f f v v
v
v
v
v
v
f f f v
v
v
v
v
v
6. (p.p).qr)
p q r p qr p.p (p. p).(qr)

v v v f
v
f
f
v v f f
f
f
f
v f v f
v
f
f
v f f f
v
f
f
f v v v
v
f
f
f v f v
f
f
f
f f v v
v
f
f
f f f v
v
f
f
7. (pq) (p.q)
p q q p.q (p.q) (pq) (pq) (p.q)

v v f
f
v
v
v
v f f
f
v
f
v
f v v
f
v
v
v
f f v
f
v
v
v
* Est en Deductive Logic, pp. 41-2.


Ejercicios

Construya tablas veritativas para los siguientes esquemas:

(a) pp
(b) (pq)qp
(c) (pq)(qp)
(d) (p.q)(q.p)

Para ms prctica, haga los ejercicios 1-3 de las pp. 255-6 de Deductive Logic.