¡La universidad para todos!

¡La Universidad para todos!

Tema: TABLA DE VERDAD

Docente: ANDRES ACERO CARDENAS

Escuela Profesional
Periodo académico: 2018-2
DERECHO
Semestre:VIII
Unidad:II
 ¡La universidad para todos!

Tabla de Verdad
Proposiciones Compuestas Básicas
 ¡La universidad para todos!

Tabla de Verdad de las

Proposiciones Compuestas
Básicas

Proposiciones Conjunción Disyunción I Condicional Bicondicional Disyunción E

p q p  qp  q p  q p  q p  q
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F
 ¡La universidad para todos!

TIPOS DE ESQUEMAS MOLECUALRES

Cuando en el resultado final, todos

TAUTOLOGÍA los valores de verdad son
Verdaderos

p q ( p v q ) ↔ (~ p → q )

V V V V V
V F V V V
F V V V V
F F F V F
 ¡La universidad para todos!
Cuando en el resultado final, todos
CONTRADICCIÓN los valores de verdad son
FALSEDADES
p q [ ( p  q ) V q]  ~q

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

Cuando en el arreglo final hay

CONTINGENCIA Verdaderos y Falsos

p q ( p→ q) v ( p ↔ q)

V V V V V
V F F F F
F V V V F
F F V V V
 ¡La universidad para todos!

p q

V V V VV F V V V F F V

V F V FF V V V F V VF

F V F v V F F v V F F V

F F F v F F F F F F VF

CONTINGENCIA
 ¡La universidad para todos!

p q r
V V V
V V F
V F V
V F F
V V V
V V F
V F V
V F F
 ¡La universidad para todos!

Halle el valor de verdad de la siguiente proposición

 ¡La universidad para todos!

Si p = V, q = V , r = F , s = V y t = F. Hallar el valores de
verdad de la siguiente proposición (  r  q )  (p   s )

RESOLUCIÓN

(r  q )  (p  s)

V V V F

V F
F
 ¡La universidad para todos!

4. A partir de las siguiente condición, determinar la verdad o

falsedad de cada una de las variables proposicionales:
[ ( p  q )  (  q  r ) ] es VERDADERA

RESOLUCIÓN
[ ( p  q) (q r)] V (p) ≡ F
V (q) ≡ F
V (r) ≡ V
F F F

F V V

V V

V
 ¡La universidad para todos!

Si la proposición (p q)  (r s) es falsa.

Hallar el valor de verdad de los siguientes esquemas:
a) (p q) q. (p q)  (r s)

b) [(r  q)  p]  [(q  r)  s].

 ¡La universidad para todos!

Sean
p: 3  3;
q: 05 = 1;
r: 6  4  2  9.

Hallar el valor de verdad de las siguientes proposiciones:

a) (p  q)  r. b) [(p q)  r]  p.

c) [r  (p q)]  (q p).

 ¡La universidad para todos!

Las Reglas del Juego

Ahora nos ocuparemos de conocer las llamadas
Reglas de Inferencia
Descripción del Juego:
Objetivo: Verificar la validez o no de un argumento lógico
Elementos del juego:
Premisas Conclusión Jugador +
Intelecto Lápiz y papel

Reglas del juego: Son las que describiremos a

continuación
 ¡La universidad para todos!

¿Qué entendemos por premisas?

¿Qué entenderemos por premisas?
Serán proposiciones simples o compuestas,
por ejemplo:
p q
p q
p
~p
p q
(p  q)  (~ r  s)
 ¡La universidad para todos!

¿Qué entenderemos por conclusión?

Será otra proposición simple o compuesta, que se obtiene a

partir de las premisas aplicando las reglas del juego
 ¡La universidad para todos!

¿Cómo se juega?
Dadas una serie de premisas p1,p2,….pn en donde “n” es
un entero positivo y q es la conclusión
El argumento será válido si cada vez que las premisas
sean verdaderas, entonces q también lo es.
Esto sería equivalente a probar que el condicional:
(p1 p2 ……. pn)  q es verdadero
Con el antecedente (p1  p2 ……. pn ) verdadero.
 ¡La universidad para todos!

Observemos que el antecedente p1  p2  …  pn será

falso si alguna (al menos una) de las premisas es falsa,
con lo cual la implicación sería verdadera, sin importar el
valor de verdad de q.
Entonces una vía para establecer la validez de un
argumento, es demostrando que la proposición
(p1  p2 ……. pn )  q es una tautología
 ¡La universidad para todos!

Veamos un ejemplo:
Dado el siguiente argumento, verificar si es o no válido
Premisa 1 :Si llego a tiempo entonces participo en el
juego
Premisa 2 : Llego a tiempo
Conclusión: Participo en el juego
Este argumento con sus premisas y su conclusión lo
podemos simbolizar como sigue:
p1: p  r
p2: p
 r
El símbolo  se lee por tanto y se ubica antes de la
conclusión.
 ¡La universidad para todos!

Analicemos si ((p r)  p)  r es una tautología

con la tabla de certeza:
P2 C P1
p r pr ((p r )  p)  r
V V V V
V F F V
F V V V
F F V V

En efecto la implicación ((p r ) p)  r es una

tautología y por tanto el argumento es válido
 ¡La universidad para todos!

Veamos otro ejemplo:

Sean p, q y r tres proposiciones simples dadas como
sigue:
p: Iván estudia
q: Iván juega fútbol
r: Iván aprueba el semestre
Tomemos p1, p2 y p3 como premisas y q como
conclusión:
p1: Si Iván estudia, entonces aprobará el semestre
p2: Si Iván no juega fútbol, entonces estudiará
p3: Iván no aprobó el semestre
Conclusión: Iván juega fútbol
 ¡La universidad para todos!

Se quiere determinar si el argumento (p1p2p3)q es

válido.
Para ello simbolizamos las premisas y la conclusión y
escribimos:
p1: p  r
p2: ~q  p
p3: ~r
y examinemos la tabla de certeza de
[(p  r)  (~q  p)  ~r]  q
 ¡La universidad para todos!

p1 p2 p3 (p1  p2 p3 )  q
p q r pr ~q  p ~r ((p  r)  (~q  p)  ~r )  q
V V V V V F V
V V F F V V V
V F V V V F V
V F F F V V V
F V V V V F V
F F V V F F V
F V F V V V V
F F F V F V V

Luego la implicación es una tautología y por tanto el argumento

(p1  p2 p3 )  q es válido
 ¡La universidad para todos!

Observemos

Con este segundo ejemplo, podemos intuir que para un

argumento que contenga más de 3 proposiciones
simples, el método de las tablas de verdad puede ser
muy engorroso.
En realidad hay que centrarse sólo en el caso en que
cada una de las premisas sea verdadera. En los
ejemplos anteriores esto correspondería a la fila con
el sombreado claro.
 ¡La universidad para todos!

Conclusiones y/o actividades de investigación

sugeridas

Escriba aquí las

conclusiones y/o
actividades de investigación
sugeridas.
¡La universidad para todos!

¡Gracias!