1.

En cada una de las siguientes frases, identifique proposiciones simples usando variables o
símbolos proposicionales.
a) Si hoy es martes, entonces hoy no es miércoles.
P →¬q
b) Si llueve, entonces no iré a hacer mercado
Q→¬p
c) Me quedare solo si tú te vas.
P↔q
d) Me quedare solo si tú no te vas
P ↔ ¬Q

e) No puedo terminar la tarea si no entiendo la demostración

¬q → ¬q
f) Está lloviendo, así que no puedo ir al pueblo
Q → ¬q

g) No ha nevado, así que no puedo esquiar.

¬R→¬Q

2. Construye la tabla de verdad para cada una de las siguientes proposiciones compuestas e
indicar si son tautologías, contradicciones o contingencias.
A) (p^¬p)→q
p q (~p) (p^(~p)) (((p^(~p)))→q)

F F V F V
F V V F V
V F F F V
V V F F V

Es una tabla tautología porque todas sus proposiciones son verdaderas.

B) p↔(pvq)
P q
F F
F V
V F
V V
(pvq) (p↔((pvq)))
F V
V F
V V
V V

Es una tabla de contingencia porque sus proposiciones pueden ser verdaderas o falsas.

C) (p ^¬r)↔(q ^¬q)
p r q (~r) (p^(~r)) (~q) (q^(~q)) (((p^(~r)))↔((q^(~q))))
F F F V F V F V
 F F V V F F F V
F V F F F V F V
F V V F F F F V
V F F V V V F F
V F V V V F F F
V V F F F V F V
V V V F F F F V

Es una tabla de contingencia porque sus proposiciones pueden ser verdaderas o falsas.

3. Usa tablas de verdad para demostrar las equivalencias siguientes.

a) p→q=(~q)→(~p)

P q (p→q) (~q) (~p) (((~q))→((~p)))

F F V V V V
F V V F V V
V F F V F F
V V V F F V

b) p→q=(~p)vq

p Q (p→q) (~p) (((~p))vq)

F F V V V
F V V V V
V F F F F
V V V F V

c) (p↔~p)= (q↔~q)

P (~p) (p↔(~p)) q (~q) (q↔(~q)) (p↔(~p))

(q↔(~q))

F V F F V F V
V F F V F F V

4) Muestre que el siguiente razonamiento no es correcto (escriba el razonamiento proposicional y

compruébelo mediante tablas de verdad:

Si llueve juan se queda en casa. E1

Si juan tiene tareas se queda en casa. E2

Juan se quedó en casa. Entonces E3

juan tiene tareas o está lloviendo E4

(P1) S→r

(P2) q→r

(P3) r

(P4) q v s

P1 ^ P2 ^ P3 → P4

s r q s→r q→r qvs P1 ^ P2 ^ P1 ^ P2 ^

P3 P3 → P4

F F F V V F F V
F F V V F V F V
F V F V V F V F
F V V V V V V V
V F F F V V F V
V F V F F V F V
V V F V V V V V
V V V V V V V V