Métodos para probar la validez de argumentos

Tutor

Héctor Favio Amaya

Presentado por

Edison Arquímedes Botina Jojoa

Grupo 90004_387

Universidad Nacional Abierta y a Distancia.

UNAD

San Juan de Pasto

17 de noviembre de 2016
 INTRODUCCIÓN

El siguiente trabajo presenta una serie de problemas para resolver. En estos problemas se conoce los diferentes

métodos que se utilizan para probar una serie de argumentos.

 OBJETIVOS

Conocer sobre la lógica matemática los temas de reglas de inferencia resolviendo una miscelánea de problemas.
Tarea 2: Problemas de aplicación I

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.
 Uso del simulador Truth Table.

Punto B.

Supongamos que tenemos el argumento “Si no compramos una parcela, entonces construimos una casa. Si
construimos una casa, no compramos un apartamento. Si no compramos un apartamento entonces compramos
muebles. No compramos una parcela. No compramos muebles o compramos un apartamento. Por lo tanto,
compramos un apartamento”.

Desarrollo

Lo expresamos en lenguaje simbólico y obteniendo las proposiciones y premisas.

P: Comprar una parcela.

Q: construir una casa.

R: comprar un apartamento.

S: comprar unos muebles.

“Si no compramos una parcela, entonces construimos una casa. Si construimos una casa, no compramos un
apartamento. Si no compramos un apartamento entonces compramos muebles. No compramos una parcela. No
compramos muebles o compramos un apartamento. Por lo tanto, compramos un apartamento”.

[[[[(¬p→q) ^ (q→ ¬r)]^(¬r→s)]^¬p]^(¬s˅r)] →r

Tabla de verdad
p q r s ¬ ¬ ¬ (¬p→q (q→¬r (¬r→s (¬s˅r (¬p→q)^(q→¬ [(¬p→q)^(q→¬r) [[(¬p→q)^(q→¬r) [[[(¬p→q)^(q→¬r) [[[[(¬p→q)^(q→¬r)
p r s ) ) ) ) r) ]^ (¬r→s) ]^ (¬r→s)]^¬p ]^ ]^
(¬r→s)]^¬p]^(¬s˅r (¬r→s)]^¬p]^(¬s˅r)
) ] →r
V V V V F F F V F V V F F F F V
V V V F F F V V F V V F F F F V
V V F V F V F V V V F V V F F V
V V F F F V V V V F V V F F F V
V F V V F F F V V V V V V F F V
V F V F F F V V V V V V V F F V
V F F V F V F V V V F V V F F V
V F F F F V V V V F V V F F F V
F V V V V F F F F V V F F F F V
F V V F V F V F F V V F F F F V
F V F V V V F F V V F V V V F V
F V F F V V V F V F V V F F F V
F F V V V F F F V V V F F F F V
F F V F V F V F V V V F F F F V
F F F V V V F F V V F F F F F V
F F F F V V V F V F V F F F F V
Reglas de inferencia.
Aplicando estas leyes tengo que llegar a la conclusión.
Premisas
P1 ¬p→q
P2 q→¬r
P3 ¬r→s
P4 ¬p
P5 ¬s v r
Conclusión →r
P6 aplicamos silogismo hipotético en las premisas 1 y 2
P1 ¬p→q
P2 q→¬r
Conclusión: ¬p→¬r:
P6 ¬p→¬r
P7 aplicamos la misma regla en las premisas 6 y 3
¬p→¬r
¬r→s
Conclusión ¬p→s
P7 ¬p→s
P8 aplicamos modus ponendo ponens en las premisas 7 y 4
¬p→s
¬p
Conclusión: s
P8 s
P9 aplicamos la regla de modus tollendo ponens en las premisas 5 y 8
¬s v r
S
Conclusión: r
Aplicando estas reglas hemos llegado nuestra conclusión principal la cual es r.