IES Vigilada

TALLER TABLAS DE VERDAD

WILLIAM TERMAL
ALVARO DULCE
HEIDY MUÑOZ
SEBASTIAN JACOBO

ADRIANA NAVIA

INSTITUTO TECNOLOGICO DEL PUTUMAYO

LOGICA MATEMATICA
PRIMER SEMESTRE

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

2021

1. Reescribir las formulas proposicionales, de acuerdo a lo planteado

a. Eliminar todos los paréntesis posibles de las siguientes fórmulas

 (((p →q)  r) → (p  (¬p)))

((p →q) v r) → (p  ¬p)

 ((¬(p  q)) → (q  r))

¬(p  q) → (q  r)

 ((p → (q  r)) → (¬(¬p)  q))

(p → (q  r)) → ¬(¬p  q)
 (((p  q)  (r  s)) → ¬p)

((p  q)  (r  s)) → ¬p

 ((p → q)  ((s  q)  r) → p))

(p → q)  (((s  q)  r)→ p)

((p → q)  ((s  q)  r))→ p

b. Escribir con paréntesis las siguientes fórmulas:

 p→qrs = (p → q)  (r  s)

 q → ¬p  r  s  ¬q  p = q →((( ¬p  r)  (s  ¬q))  p)

 p  q  ¬r  s  p → q = (p  q) (((¬r  s)  p) → q)

 q  ¬q  p → r = ((q  ¬q)  p) → r
 p → p → q  p  q  r = (( p → p) → q)  ((p  q)  r )

2. Escriba la fórmula proposicional de los siguientes árboles de formación y construya la tabla

de verdad (incluir: forma proposicional). 1 de 3
Página

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

3. De las siguientes fórmulas proposicionales, establecer que se encuentren bien formadas y posteriormente
construir árbol de formación y tabla de verdad (incluir: forma proposicional).

a. [ p ʌ q ʌ p → r v p → ( q → r ) ]

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

b. ∼[ ∼p ʌ ( q → r ) ] ʌ ∼ [p ∨ q → ∼( p ʌ r ) ]
¬(¬pʌ(q→r))v¬((pvq)→¬(pʌr))

c. ((r ʌ s) → q ) ↔ ((sʌ¬q)→¬r)

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

4. Escriba la formula proposicional (formalice y simbolice), construya el árbol de formación y utilizando el

método de tablas de verdad determine la validez de los siguientes argumentos.

a. Si trabajo, no me divierto, y si estoy ocioso, no gano dinero. O bien trabajo o bien estoy ocioso. Luego, o no
gano dinero o no me divierto.

p: trabajo
q: me divierto (((p→¬q)ʌ(r→¬s))ʌ(p∆r))→(¬s∆¬q)
r: estoy ocioso
s: gano dinero
ARBOL DE FORMACION

TABLA DE VERDAD

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

b. Si alguien es sabio, es una persona inteligente. Si una persona es inteligente, entonces calla sobre aquello
que no sabe. Por tanto, si alguien es sabio, calla sobre lo que no sabe.

p: alguien es sabio
q: es una persona inteligente ((p→q)ʌ(q→r))→(p→r)
r: calla sobre lo que no sabe

ARBOL DE FORMACION
TABLA DE VERDAD =TAUTOLOGIA

c. El animal no es un pájaro o tiene alas. Si el animal es un pájaro, entonces pone huevos. El animal no tiene
alas. Por tanto, no pone huevos.

p: el animal es un pájaro

q: el animal tiene alas ((¬pvq)ʌ((p→r)ʌ¬q))→r

r: el animal pone huevos

ARBOL DE FORMACION Y TABLA DE VERDAD

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón
 IES Vigilada

Sede Mocoa - Subsede Sibundoy - Extensiones: Valle del Guamuez – Puerto Asís –
Colón