PRACTICA

EVALUACIÓN DE UNA FÓRMULA LÓGICA

Evaluar el siguiente esquema molecular: (p  q)  (p  r)

Solución
p q r (pq)   ( p   r)
V V V V V V V V V F F
V V F V V V V F V V V
V F V V F F V V V F F
V F F V F F F F V V V
F V V F F V F F F V F
F V F F F V F F F V V
F F V F F F F F F V F
F F F F F F F F F V V
EJERCICIO de PRACTICA
Si se conoce que: (q  r)  p es FALSA
Determinar el valor de verdad de: (r  p)  (p  r)
SOLUCIÓN
Primero analizamos la condición
(q   r)  p
V V V F F F

Luego de conocer los valores de verdad de cada variable, se evalúa

la fórmula planteada

(  r   p)  (p   r)
V V V F F F V

El valor de verdad de la fórmula planteada es FALSO

 Expresión en el Símbolo
Ejemplo
lenguaje natural para el curso

no No está lloviendo. ~p
Está lloviendo y
Y , ni, pero, que ^
está nublado.
Está lloviendo o
o v
está soleado.

si... Entonces, Si está soleado,


…luego.. entonces es de día.

Está nublado si y
si y sólo si sólo si hay nubes 
visibles.
Ni está soleado ni
ni... ni ↓
está nublado.
O bien está
o bien... o bien soleado, o bien ≠
está nublado.
 Ejemplos:

Demostrar si hay Tautología ? A ^ (B v C) < -- > (A v B) ^ (A v C)

A ^ (B v C) < -- > (A v B) ^ (A v C)
V V V V V V V V V V V V V
V V V V F V V V V V V V F
V F F V V F V V F V V V V
V F F F F F V V F V V V F
F F V V V F F V V V F V V
F F V V F V F V V F F F F
F F F V V V F F F F F V V
F F F F F V F F F F F F F
En esta tabla no hay tautología ya que todas no son V.

Demostrar si hay Tautología ? (p  ~p) v (p v p) < -- > (~p v p) v (~p  p)

(p  ~ p) v (p v p) <-> (~ p v p) v (~ p  p)

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

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

En esta tabla si hay tautología ya que todas son V.

Ejercicios

• Construya la tabla de verdad de las siguientes fórmulas.

• 1. p ^ q p 2. (p  q) ^ (p ^ ~q)

p ^ q  p
Tautología (p  q) ^ (p ^ ~ q)
V V V V V
V V V F V F F V
V F F V V
V F F F V V V F
F F V V F
Contradicción F V V F F F F V
F F F V F
F V F F F F V F

3. p v (q  r) p v (q  r)
V V V V V
V V V F F
V V F V V
Indeterminación
V V F V F
F V V V V
F F V F F
F V F V V
F V F V F
Ejercicios

• 4.(p  q) ^ q  p 5 (p  q) ^ (q  r)  (p  r)

(p  q) ^ (q  r)  (p  r)
(p  q) ^ q  p
Tautología. V V V V V V V V V V V
V V V V V V V
V V V F V F F V V F F
V F F F F F V
V F F F F V V V V V V
F F V F V F F
V F F F F V F V V F F
F V F V F V F F V V V V V V V F V V

F V V F V F F V F V F
Indeterminación
F V F V F V V V F V V
p  (q  r)

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

V F V F F

V V F V V

V V F V F

• F V V V V 6. p  (q  r)
F V V F F

F V F V V

F V F V F
Ejercicios

• - Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se come el polo. P= Jaime se come el polo q =
el polo se derrite. (p ^q) & ~q  p.

(p v q) & ~ q  p

V V V F F V V V
Tautología

V V F V V F V V

F V V F F V V F

F F F F V F V F

– Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá para Japón. O María no
se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María no se queda en Venecia.
• Juan Japón : p ((q  p) & (r v ~ p)) & (~ q v ~ r)  ~ q

V V V V V V F V F F V F F V V F V
• María Venecia: q
V V V F F F F V F F V V V F V F V
• Rosa Luxemburgo: r
F V V V V V F V V V F V F V V V F
((q p) & (r v ~p)) & (~q v ~ r)  q
F V V F F F F V F V F V V F V V F

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

Tautología V F F F F V V F F F V V V F V F V

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

F V F V F V V F V V F V V F V V F
Ejercicios

• - Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que el Sol.
Por lo tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Putón.
Luna mayor: p

Tierra mayor: q
(p  q) & (q  r)  (p  r)
Júpiter mayor: r
V V V V V V V V V V V
(p q) & (p  r)  (p r)
V V V F V F F V V F F
V F F F F V V V V V V
V F F F F V F V V F F

Tautología F V V V V V V V F V V
F V V F V F F V F V F
F V F V F V V V F V V
F V F V F V F V F V F
Ejercicios

• – Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Asi pues, siempre que me entra un hambre
atroz, viajo.
Viajo: p ((p  q) & (q  r))  (r  p)

Mareo: q V V V V V V V V V V V

Hambre : r V V V F V F F V F V V

V F F F F V V V V V V
((p  q) & (q  r)) (r  p)
V F F F F V F V F V V

INDETERMINACIÓN F V V V V V V F V F F

F V V F V F F V F V F

F V F V F V V F V F F

F V F V F V F V F V F

((~ p  q) & (q  r)) & ~ r  p

_ Cuando Eduardo no juega baloncesto, juega al tenis; F V V V V V V V F F V V V
cuando juega al tenis, juega al futbol; no juega al F V V V F V F F F V F V V
futbol. Por tanto, Eduardo juega al baloncesto.
F V V F V F V V V F V V V
Eduardo baloncesto: p
F V V F V F V F F V F V V
Eduardo tenis: q
Eduardo fútbol: r V F V V V V V V F F V V F

(( ~p q) & (q  r)) & ~r  p V F V V F V F F F V F V F

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

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