Está en la página 1de 12

RAZONAMIENTOS LÓGICOS

GRUPO
90004_516

Presentado Por
FRANCISCO JAVIER ASTUDILLO 1144192149
AJAEL CAROLINA GARRETA
CAMILO ANDRÉS POTES LOZANO
INÉS AMANDA SAUCEDO LAÍNEZ cód. 1144165684

Tutor
JORGE ENRIQUE RAMÍREZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
TRABAJO COLABORATIVO 2
LÓGICA MATEMÁTICA 9004A
MARZO DE 2015

demostración a partir de leyes de inferencia y demostración por reducción al absurdo. del curso de Lógica Matemática donde cada estudiante tendrá lugar a la aplicación e identificación a conceptos de los distintos tipos de razonamientos así como de instrumentos para determinar su validez. las demostraciones a partir de tablas de verdad y la demostración a partir de un simulador. conectores lógicos y leyes de inferencia que conllevan a analizar un razonamiento. premisas en lenguaje simbólico. El presente trabajo está desarrollado en tres fases. en el cual se determina: la declaración de proposiciones simples. . en la segunda fase. y finalmente la fase tres donde compartimos una postura personal al debate ¿Qué ganamos y a qué renunciamos al vivir en sociedad?.INTRODUCCIÓN El presente trabajo pretende profundizar en la Unidad 2. conclusión en lenguaje simbólico. la primera que comprende la conclusión al debate generado de un argumento aplicando los conceptos de tipos de razonamiento para determinar si este es deductivo o inductivo. aplicamos con conceptos de preposiciones.

nos gusta vivir en comunidad Premisa 4: Si nos gusta vivir en comunidad. A continuación. Conclusión al debate del razonamiento propuesto. Teniendo en cuenta las leyes de inferencia y el argumento en donde encontramos conclusiones intermedias formada por las premisas.  De acuerdo al análisis puedo concluir que este argumento lógico se infiere de un razonamiento inductivo. tener donde comprar zapatos. entonces respetamos la ley 1 Declaración de proposiciones simples: p: nos gusta tener calidad vida . partiendo de varias premisas para extraer una conclusión general  Nos gusta que al abrir un grifo. y tanto médicos como maestros.  Nos gusta que existan personas que se dedican a compartir su conocimiento Entonces. implica dos cosas: necesitar de otras personas y tener calidad de vida. por éste salga agua  Nos gusta que existan personas que se dediquen a fabricar zapatos  Nos gusta que existan médicos. tener agua.FASE 1. FASE 2. finalmente llegamos al mismo razonamiento inductivo ya que estas experiencias particulares apoyan la conclusión general que se infiere por la estructura del argumento. analiza la validez de la conclusión: “Respetamos la ley” Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos Premisa 2: Nos gusta tener calidad de vida Premisa 3: Si no nos gusta vivir solos.

q: nos gusta vivir solos r: nos gusta vivir en comunidad s: respetamos la ley 2 Premisas en lenguaje simbólico: p˅ q Premisa 1: p Premisa 2: q→r Premisa 3: Premisa 4: r → s 3 Conclusión en lenguaje simbólico: Conclusión: s 4 Demostraciones: 1 Demostración a partir de las tablas de verdad forma 1: (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusión sea falsa) p q r s v v v v v v v v f f f f f f f f v v v v f f f f v v v v f f f f v v f f v v f f v v f f v v f f v f v f v f v f v f v f v f v f p˅ q f f f f f f f f v v v v v v v v p v v v v v v v v f f f f f f f f q→r v f v f v v v v v f v f v v v v r →s v v v f v v v f v v v f v v v f conclusión v f v f v f v f v f v f v f v f .

swau. demostrando que la conjunción de las premisas implican la conclusión y por lo tanto el razonamiento es válido. por lo tanto el razonamiento es válido.) P1 P2 ~p v ~q f f f f v v v v v v v v v v v v p ~q →r v v v v v v v v f f f f f f f f P3 P4 [(P1) ^ (P2) ^ (P3) ^ (P4)] ---> Conclusión r→s q→r v v v v v v f f v v v v v v f f v f v v v f v v v f v v v f v v Conclusión [(P1) ^ (P2) ^ (P 3) ^ (P4)] --.No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa. 2 Demostración a partir de las tablas de verdad forma 2: (Evaluando si la conjunción de las premisas implican la conclusión.faculty.edu/mathematics/materialslibrary/truth/ .> Conclusión s f f f f v f f f f f f f f f f f F V F V F V F V F V F V F V F V v v v v v v v v v v v v v v v v Se obtiene una tautología. 3 Verificación con simulador Simulador http://turner.

Lenguaje para el simulador: { [(~p+~q) &p]&[(~q>r)&(r>s)] }>s TRUTH TABLE p q r s T T T T { [(¬pV¬q) Λp]Λ[(¬q→r)Λ(r→s)] }→s T T T T F T T T F T T T T F F T T F T T T T F T F T T F F T T T F F F T F T T T T F T T F T F T F T T F T F F T F F T T T F F T F T F F F T T F F F F T .

4 Demostración a partir de las leyes de inferencia: Premisa 1: ~p v ~q Premisa 2: p Premisa 3: ~q → r Premisa 4: r→s Conclusión: s Premisa 1: ~p v ~q Premisa 2: p .

las leyes de inferencia permiten deducir la conclusión. s 5. De otra forma: Premisa 1: ~p v ~q Premisa 2: p Premisa 3: ~q → r Premisa 4: r → s ______________________ 5. ~q1.D 6. ~q1. 5 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.D 6. 2 S. 5 MPP 6. por lo tanto el razonamiento es válido.Premisa 3: ~q → r Premisa 4: r → s ______________________ 5. las leyes de inferencia permiten deducir la conclusión. ~q → s3. s 3. por lo tanto el razonamiento es válido. Premisa 1:~p v ~q . 4 SH 7. 2 S. 4 MPP En conclusión. r 7. 6 MPP Nuevamente.

Por lo que el razonamiento es válido. No fue posible que las premisas fueran verdaderas y la conclusión falsa. Dejamos de pensar en los intereses particulares para dar paso a la construcción de una vida en la que dependemos de otros para concebir nuestros objetivos particulares y su vez doy apoyo a los objetivos de los demás. considerando que r es Falsa. para que la premisa 4 r → s sea Verdadera. es decir. De la premisa 2. no fue posible hacer que todas las premisas fueran verdaderas y la conclusión falsa. cuando estamos en comunidad compartimos y respetamos las opiniones de los demás y comprendemos el beneficio de la vida en comunidad para buscar el beneficio común. tener calidad de vida. p es verdadera. Si la conclusión s = F. q debe ser Verdadera. En la premisa 1: ~p es falsa. para que ésta sea verdadera. tanto como lo es ~q de donde se concluye que la premisa 1 es Falsa. Ahora bien quien no acepta las normas establecidas para vivir en sociedad debe valerse por sí mismo e ir contra la corriente pero no significa que no pueda acceder también a sus bienes y servicios pues el sistema indica que estos están allí al alcance de aquel que pueda obtenerlos a lo que si renuncia aquel que decide ir en contra de esto es a la inclusión y la aceptación pues el mundo está tan mecanizado que las diferencias entre nosotros mismos se han vuelto motivo de polémicas y todo lo que es diferente y va en contra del sistema es visto como reprochable pero . r debe ser Falsa. FASE 3  ¿Qué ganamos y a qué renunciamos al vivir en sociedad? Ganamos relaciones interpersonales conocimientos grupal y estar dispuestos a colaborarnos los unos a los otros para mejorar el estilo y nivel de vida. luego. En la premisa 3.Premisa 2: p Premisa 3:~q → r Premisa 4:r→s ____________________ Conclusión S =F Iniciamos por suponer que las cuatro premisas son verdaderas y la conclusión es falsa.

no todo lo diferente es malo solo que en nuestras mentes se ha inculcado un principio de normalidad que nos predispone pero la verdad latente en la realidad actual es que todos dependemos y virtualmente todos podemos acceder a los bienes y comodidades que se ofrecen lo que cambia es el sentido de “lo normal” en la sociedad pues podemos renunciar a esta mas no a los servicios que nos presta. CONCLUSIÓN Usamos los razonamientos lógicos en nuestra vida cotidiana aunque no lo notamos pues es un proceso mecánico lo que no significa que no lo hagamos y sigamos los parámetros fijados para .

php?id=3302&chapterid=909 .83/ecbti01/mod/book/view.tal fin no obstante en otra clase de razonamientos más complejos debemos utilizar las normas que se establecen para tal propósito así pues el razonamiento lógico hace parte esencial de nuestra vida. REFERENCIAS BIBLIOGRÁFICAS  Bibliografía de la unidad 1. Recuperado de http://152.186.37.

83/ecbti01/mod/book/view. Recuperado de http://152. Bibliografía de la unidad 2.186.php?id=3306&chapterid=912 .37.