ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Ejemplo para la fase 2

A continuacin planteamos un ejemplo que te apoyar en la solucin de la fase 2:

Dilogo: El benefactor hubo de ser: o Pedro, o Andrs - Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje. En conclusin: tuvo que ser Andrs.

Declaracin de proposiciones simples: p = El benefactor fue Pedro q = El benefactor fue Andrs s = Pedro estaba presente t = Pedro estaba de viaje

Premisas: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s

Conclusin: q

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

1/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Ejemplo para la fase 2 Demostracin a partir de las tablas de verdad: Primera forma: Proposi ciones simples p q s t ~s V V VV F V V VF F VVFV V VVFF V V F VV F V F VF F VF FV V VF FF V F V VV F F V VF F F VFV V F VFF V F F VV F F F VF F F F FV V F F FF V V V V V V V V V V V V V F F F F V V F F V V F F V V V V V V V V V F V F V F V F V F V F V F V F F V V V F V V V F V V V F V V V V V V V F F F F V V V V F F F F Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

pvq

p --> s

t --> ~s

No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa, por lo tanto el razonamiento es vlido.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

2/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Ejemplo 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)] ---> Conclusin Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido. Simulador: Haciendo uso del siguiente simulador, podrs verificar el desarrollo de las tablas de verdad: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/ Video cmo usar el simulador: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Demostracin a partir de las leyes de inferencia: premisa 1: p v q premisa 2: p --> s premisa 3: t premisa 4: t --> ~s ____________________ 5. ~s 3, 4 MPP 6. ~p 5, 2 MTT 7. q 6, 1 S.D En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento es vlido.

Demostracin por reduccin al absurdo (Mtodo abreviado o prueba formal de invalidez): Suponemos que es posible que las premisas sean verdaderas y la conclusin falsa: Si es posible entonces el razonamiento NO es vlido. premisa 1: pvq =V premisa 2: p --> s = V premisa 3: t = V premisa 4: t --> ~s= V ____________________
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co PTU: www.unadvirtual.org / Docente diseador: Georffrey Acevedo Gonzlez

3/4

ESCUELA CIENCIAS BSICAS TECNOLOGA E INGENIERA

Unidad de Ciencias Bsicas Lgica Matemtica

Ejemplo para la fase 2 Conclusin q =F

De acuerdo con la conclusin 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 contradiccin. En conclusin, del anlisis por reduccin al absurdo se concluye que no es posible que cuando las premisas sean verdaderas, la conclusin sea falsa, por lo tanto el razonamiento es vlido.

Ms material de apoyo: Para dar solucin a esta actividad debes apoyarte en el mdulo, en la lectura a que viene la lgica 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 diseador: Georffrey Acevedo Gonzlez

4/4