ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍAUnidad de Ciencias BásicasLógica MatemáticaEjemplo para la fase 2

A continuación planteamos un ejemplo que te apoyará en la solución de la fase 2:

Diálogo:El benefactor hubo de ser: o Pedro, o Andrés- Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje.En conclusión: tuvo que ser Andrés.

Declaración de proposiciones simples:

p = El benefactor fue Pedroq = El benefactor fue Andréss = Pedro estaba presentet = Pedro estaba de viaje

Premisas:

premisa 1: p v qpremisa 2: p --> spremisa 3: tpremisa 4: t --> ~s

Conclusión: q

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseñador: Georffrey Acevedo González 1/4

ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍAUnidad de Ciencias BásicasLógica MatemáticaEjemplo para la fase 2

Demostración a partir de las tablas de verdad:

Primera forma:

Proposiciones simples

Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusión

p q s t ~s p v q p --> s t t --> ~s q

V V V V F V V V F V

V V V F F V V F V V

V V F V V V F V V V

V V F F V V F F V V

V F V V F V V V F F

V F V F F V V F V F

V F F V V V F V V F

V F F F V V F F V F

F V V V F V V V F V

F V V F F V V F V V

F V F V V V V V V V

F V F F V V V F V V

F F V V F F V V F F

F F V F F F V F V F

F F F V V F V V V F

F F F F V F V F V F

No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es válido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseñador: Georffrey Acevedo González 2/4

ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍAUnidad de Ciencias BásicasLógica MatemáticaEjemplo para la fase 2

Segunda forma:

Se deja como ejercicio al estudiante como aporte individual para el debate, verificar que al construir la tabla de verdad del ejemplo propuesto:

[(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusión

Se obtiene una tautología, demostrando que la conjunción de las premisas implican la conclusión y por lo tanto el razonamiento es válido.

Simulador:

Haciendo uso del siguiente simulador, podrás verificar el desarrollo de las tablas de verdad:http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Video cómo usar el simulador: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Demostración a partir de las leyes de inferencia:

premisa 1: p v qpremisa 2: p --> spremisa 3: tpremisa 4: t --> ~s____________________

5. ~s 3, 4 MPP6. ~p 5, 2 MTT7. q 6,1 S.D

En conclusión, las leyes de inferencia permiten deducir la conclusión, por lo tanto el razonamiento es válido.

Demostración por reducción al absurdo (Método abreviado o prueba formal de invalidez):

Suponemos que es posible que las premisas sean verdaderas y la conclusión falsa:Si es posible entonces el razonamiento NO es válido.

premisa 1: p v q = Vpremisa 2: p --> s = Vpremisa 3: t = Vpremisa 4: t --> ~s= V____________________Conclusión q = F

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseñador: Georffrey Acevedo González 3/4

ESCUELA CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍAUnidad de Ciencias BásicasLógica MatemáticaEjemplo para la fase 2

De acuerdo con la conclusión q es Falsa, y de acuerdo con la premisa 3 t es verdadera. Esto obliga a que de acuerdo con la premisa 4, s sea Falsa. Si s es Falsa, de acuerdo con la premisa 2, p tiene que ser falsa. Pero con p Falsa y con q Falsa no se cumple que la premisa 1 sea verdadera, luego, llegamos a una contradicción.

En conclusión, del análisis por reducción al absurdo se concluye que no es posible que cuando las premisas sean verdaderas, la conclusión sea falsa, por lo tanto el razonamiento es válido.

Más material de apoyo:

Para dar solución a esta actividad debes apoyarte en el módulo, en la lectura “a que viene la lógica” y en el material de apoyo para la unidad 2:

! ÉXITOS EN EL DESARROLLO DE LA ACTIVIDAD !

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD – www.unad.edu.co

PTU: www.unadvirtual.org / Docente diseñador: Georffrey Acevedo González 4/4