LÓGICA PROPOSICIONAL

Unidad II: Lógica Simbólica

Objetivo:

Contenido:

Uso de las tablas de verdad para determinar

Comprender la validez e invalidez en
la validez e invalidez de los argumentos los argumentos lógicos.
Ejercicios

Prof. Cristela Fuentes

Recordar:

Premisa Conclusión
V F

INVALIDO

En otra forma: ES VALIDO

Prof. Cristela Fuentes
Ejercicios. Use tablas de verdad para probar
validez e invalidez

pq p
1. 2. q
~q  ~ p  p . q

p  (q  r ) ( p  q ) . ( p . q )  r 
q(pr) 4. p  ( r  s)
3.
( p  q )  r  p s

Prof. Cristela Fuentes

 Ejercicio 1.

pq TABLA DE VERDAD

~q  ~ p p q pq (~q  ~p)

V V V F V F
V F F V F F
Argumento F V V F V V
F F V V V V

PREMISA CONCLUSIÓN

Si no se tienen premisa verdadera y conclusión

falsa, el argumento es válido
Prof. Cristela Fuentes
 Ejercicio 2.

p TABLA DE VERDAD
q
p q p.q
 p . q V V V
Argumento V F F
F V F
F F F

PREMISA CONCLUSIÓN
Si no se tienen premisa verdadera y conclusión
falsa, el argumento es válido
Prof. Cristela Fuentes
 Ejercicio 3.

p  (q )
 r TABLA DE VERDAD
q  (p  r) p q r q  r p  (q  r ) p  r q (p  r) p  q 
r
( p  q) r
V V V V V V V V V V
V V F F F F F V F F
Argumento V F V V V V V V V V
V F F V V F V V F F
F V V V V V V V V V
F V F F V V V V F F
F F V V V V V F V V
F F F V V V V F V F

PREMISA CONCLUSIÓN
Se tienen premisa verdadera y conclusión falsa, el
argumento es inválido
Prof. Cristela Fuentes
 Uso tablas e de verdad para determinar la validez o
invalidez de cada uno de los argumentos
Argumento Forma Especifica
( A  B)  ( A . B ) ( p  q)  ( p . q)
A B p  q
A.B  p.q
TABLA DE VERDAD

p q (p v q)  (p . q) (p v q) (p . q)
V V V V V V V
V F V F F V F
F V V F F V F
F F F V F F F

PREMISA CONCLUSIÓN
No se tienen premisa verdadera y conclusión falsa, el argumento es válido
Prof. Cristela Fuentes
 Use tablas de verdad para determinar la validez o
invalidez de cada uno de los argumentos
Ejercicio 2:
Si Montana sufre una severa sequía, entonces, si
Nevada recibe su dosis normal de lluvia, entonces el
suministro de agua de Oregón se reducirá
considerablemente. Nevada no tiene su dosis normal
de lluvia. Así, si el suministro de agua de Oregón se
reduce considerablemente, Montana sufre una severa
sequía.
Forma Simbólica Forma Específica
M  (N  O ) p  (q  r )
~N ~q
O  M r  p

Prof. Cristela Fuentes

 TABLA DE VERDAD

p q r p  ( q  r ) ~q (r  p)
V V V V V V F V V V
V V F V F F F F V V
V F V V V V V V V V
V F F V V V V F V V
F V V F V V F V F F
F V F F V F F F V F
F F V F V V V V F F 7
F F F F V V V F V F
En el renglón 7, se tiene premisa verdadera y conclusión
falsa, el argumento es inválido

Prof. Cristela Fuentes

LÓGICA PROPOSICIONAL

Prof. Cristela Fuentes