Ejercicios Resueltos

Academia Virtual de Filosofa LAP ( Logica, Argumentacion y Pensamiento)
TABLAS DE VERDAD
EJERCICIOS RESUELTOS DE TABLAS DE VERDAD PARA LOGICA

DE PROPOSICIONES
1 Descubra mediante el procedimiento de tablas de verdad

si estas f
ormulas son (1) tautol
ogicas, contingentes o contradictorias (2) Verdad l
ogica o no, (3) Satisfacibles o no :
1. [Ejercicio 1]p q p
p q
1 1 1
1 0 0
0 1 0
0 0 0
pq
1
1
1
1
TAUTOLOGIA, SATISFACIBLE Y VERDAD LOGICA

2. [Ejercicio 2]p p r
p
1
1
0
0
r
1
0
1
0
pp
1
1
0
0
ppr
1
0
1
1
CONTINGENCIA, SATISFACIBLE, NO VERDAD LOGICA,

3. [Ejercicio 3]p (q r)
4. [Ejercicio 4](p q) (q r) (p r)
(p q) (q r) (p r)
1
1
1
1
1
1
1
1
TAUTOLOGICA, SATISFACIBLE Y VERDAD LOGICA
p q r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
pq
1
1
0
0
1
1
1
1
qr
1
0
1
1
1
0
1
1
(p q) (q r) p r
1
1
0
0
0
1
0
0
1
1
0
1
1
1
1
1
Material docente dise

nado por Adri
an L
opez Gomez
5. [Ejercicio 5]p (q r)
6. [Ejercicio 6]p q (r s p)
7. [Ejercicio 7]p q q p
p q pq
1 1
1
1 0
0
0 1
0
0 0
0
qp
1
0
0
0
pq qp
1
1
1
1
TAUTOLOGICA, SATISFACIBLE, VERDAD LOGICA

8. [Ejercicio 8](p q) p q
10. [Ejercicio 10](p q) (p q)
p q pq
1 1
1
1 0
0
0 1
1
0 0
1
(p q) (p q)
1
0
1
1
CONTIGENTE, SATISAFACIBLE, VERDAD LOGICA

11. [Ejercicio 11](p q) q p
12. [Ejercicio 12](p q) q p
p q p q p q p q q (p q) q p
1 1 0
0
1
0
1
1 0 0
1
0
0
1
0 1 1
0
1
0
1
0 0 1
1
1
1
1
TAUTOLOGICA,
SATISFACIBLE Y VERDAD LOGICA

nado por Adri
an L
opez Gomez
p q p
1 1 0
1 0 0
0 1 1
0 0 1
q
0
1
0
1
p q
0
0
0
1
pq
1
0
0
0
(p q)
0
1
1
1
(p q) p q
1
0
0
1
CONTINGENTE, SATISFACIBLE Y VERDAD LOGICA

16. [Ejercicio 16][(p q) (q r)] (p r)
q r A p q q r p r (p r) A (p r)
1
1
1
0
0
0
0
0
1
0
1
0
1
0
0
1
0
0
1
0
1
1
1
0
0
0
0
1
0
0
1
1
1
0
0
1
1
1
0
0
CONTRADICCION,
INSATISFACIBLE Y NO VERDAD LOGICA.
p q r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
pq
1
1
0
0
1
1
1
1
17. [Ejercicio 17]p (q r) q)

18. [Ejercicio 18](p q) r q
(p q) r q
1
0
0
0
1
0
1
1
CONTINGENTE, SATISFACIBLE Y NO VERDAD LOGICA.

p q r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
r
0
1
0
1
0
1
0
1
q
0
0
1
1
0
0
1
1
pq
1
1
1
1
1
1
0
0
(p q) r q
0
0
0
1
0
1
0
1
0
0
0
1
1
1
1
1
19. [Ejercicio 19](p q) p r

20. [Ejercicio 20] (p q) p r

nado por Adri
an L
opez Gomez
(p q) (p q) p r
0
0
0
1
1
1
1
0
0
1
0
1
0
1
0
1
CONTINGENTE, SATISFACIBLE, NO VERDAD LOGICA

p q r
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
pr
1
0
1
0
0
0
0
0
pq
1
1
0
0
1
1
1
1
Demuestre mediante tablas de verdad si las siguientes f

ormulas
son equivalentes o no:
1. [Ejercicio 21]p q p p p r
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
pq
1
1
0
0
0
0
0
0
pq p
1
1
1
1
1
1
1
1
pp
1
1
1
1
0
0
0
0
ppr
1
0
1
0
1
1
1
1
(p q p) (p p r)
1
0
1
0
1
1
1
1
NO HAY EQUIVALENCIA LOGICA.

CONTRAEJEMPLO: I(p)= 1, I(q)=1 y I(r)= 0.
2. [Ejercicio 22] p (q r) (p q) (p q)
3. [Ejercicio 23]p (q r) p (q r)
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
qr
1
0
1
1
1
0
1
1
A p (q r)
1
1
1
1
1
0
1
1
r
0
1
0
1
0
1
0
1
q r
0
1
1
1
0
1
1
1
(q r)
1
0
0
0
1
0
0
0
B (q r)
0
1
1
1
0
1
1
1
AB
0
1
1
1
0
0
1
1

CONTRAEJEMPLO: I(p)= 1, I (q)=1, I(r)=1
4. [Ejercicio 24](p q) (q r) (p r) p (q r)

nado por Adri
an L
opez Gomez
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
pq
1
1
0
0
1
1
1
1
qr
1
0
1
1
1
0
1
1
A (p q) (p r)
1
0
0
0
1
0
1
1
pr
1
0
1
0
1
1
1
1
A (p r)
1
1
1
1
1
1
1
1
B (p (q r)
1
0
1
1
1
1
1
1

CONTRAEJEMPLO: I(p)=1, I(q)= 1, I(r) = 0
5. [Ejercicio 25] (p q) p r (p q) p r
Demuestre mediante tablas de verdad si los siguientes conjuntos de f

ormulas son satisfacibles:
1. [Ejercicio 26]{p p, p}
p
1
0
p
0
1
p p
0
1
p (p p)
0
0
ESTE CONJUNTO DE FORMULAS

NO ES SATISFACIBLE
2. [Ejercicio 27]{p q, q p}
3. [Ejercicio 28]{p q, q p, p q}
p
1
1
0
0
q
1
0
1
0
p
0
0
1
1
q
0
1
0
1
A p q
1
1
0
1
B q p
0
1
1
1
C pq
1
0
0
0
ABC
0
0
0
0

NO ES SATISFACIBLE
4. [Ejercicio 29]{p q, q (r p), r (q p}
5. [Ejercicio 30]{p q, q r, p s, (s r)}

nado por Adri
an L
opez Gomez
AB
1
0
1
1
1
1
1
1
p
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
q
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
r
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
q
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
s
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
A p q
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
B qr
1
1
1
1
1
1
0
0
1
1
1
1
1
1
0
0
Cps
1
0
1
0
1
0
1
0
1
1
1
1
1
1
1
1
sr
1
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0
D (s r)
0
1
1
1
0
1
1
1
0
1
1
1
0
1
1
1
ABC D
0
0
1
0
0
0
0
0
0
0
0
0
0
1
0
0

ES SATISFACIBLE
Comprueba si la f
ormula es consecuencias l
ogica del conjunto de f
ormula {1 , ..., n }
:
1. [Ejercicio 31] 1 p q, p
p
1
1
0
0
q
1
0
1
0
pq
1
0
0
0
p
0
0
1
1
(p q) p
0
0
0
0
ES CONSECUENCIA LOGICA.
2. [Ejercicio 32]1 (p q) r, p (q r)
3. [Ejercicio 33]1 q p, 2 p q, p q
p
1
1
0
0
q
1
0
1
0
A q
0
1
0
1
Bpq
1
0
1
1
pq
1
0
0
1
C (p q)
0
1
1
0
ABC
0
0
0
0
ES CONSECUENCIA LOGICA.
4. [Ejercicio 34]1 (p q), qp
5. [Ejercicio 35]1 p q, 2 r q, 3 s q, (p q s) q
nado por Adri
an L
opez Gomez
p
1
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
q
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
r
1
1
0
0
1
1
0
0
1
1
0
0
1
1
0
0
s
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
Apq
1
1
1
1
0
0
0
0
1
1
1
1
1
1
1
1
Brq
1
1
1
1
0
0
1
1
1
1
1
1
0
0
1
1
Csq
1
1
0
1
1
1
0
1
1
1
0
1
1
1
0
1
pq
1
1
1
1
1
1
1
1
1
1
1
1
0
0
0
0
pqr
1
1
1
1
1
1
1
1
1
1
1
1
1
0
1
0
D (p q r) q
1
1
1
1
0
0
0
0
1
1
1
1
0
1
0
1
D
0
0
0
0
1
1
1
1
0
0
0
0
1
0
1
0
A B C D
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
ES CONSECUENCIA LOGICA

nado por Adri
an L
opez Gomez

Ejercicios Resueltos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicios Resueltos

Cargado por

Copyright:

Formatos disponibles

Academia Virtual de Filosofa LAP ( Logica, Argumentacion y Pensamiento)