UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

PASO 6. Métodos para probar validez de argumentos

Estudiante

Zuleika Vanessa Fernandez de Castro Salas

Docente

EVER ANTONIO POLO

Curso

Pensamiento Lógico y Matemático

Grupo

200611_11

Barranquilla

12 mayo 2018
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

OBJETIVOS

Comprender y aplicar adecuadamente las proposiciones y sus conectivos lógicos en un

lenguaje Natural, determinación del valor de verdad, determinación de conectores y
Expresión en lenguaje formal, donde podremos determinar si es una tautología o una
contradicción o quizás una contingencia, así mismo aplicaremos las leyes de inferencia.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

INTRODUCCIÓN

En el siguiente trabajo podremos observar y aplicar de manera suficiente

conceptos, definiciones, axiomas y leyes que fundamentan la teoría general de
conjuntos en el estudio donde es pertinente su aplicabilidad en una metodología
basada en problemas.

Se relacionan e interpretan expresiones del lenguaje simbólico y del lenguaje

natural en la formulación y representación de estructuras semánticas lógicas en
términos de variables y conectores lógicos como elementos estructurales de la
lógica proposicional articularles a diferentes formas de comunicación en diversos
contextos lo cual es de gran ayuda e importancia para poner en práctica en la vida
profesional.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ACTIVIDADES A DESARROLLAR

Tarea 1: Conceptualización de las reglas de inferencia.

Rrealizar una pequeña presentación en PREZI, de la conceptualización y dos ejemplos

específicos de un grupo de las Reglas de Inferencia Lógica.
C. Modus Ponendo Ponens, Adjunción y Exportación.
https://prezi.com/view/EPW1YZOdm5ZqihVnH9FI/

Tarea 2: Problemas de aplicación I

Los estudiantes del programa de Ingeniería de Alimentos de la UNAD, al matricular el

curso de Química General como electivo deben asistir al componente práctico. Raul hace
el siguiente análisis de la situación que se le ha presentado al conocer las fechas en que
debe asistir. “Si las prácticas de laboratorio son el próximo domingo entonces asisto a
la universidad. Si realizo los experimentos entonces entrego el informe de laboratorio.
Asisto a la universidad y entrego el informe de laboratorio, entonces obtengo un puntaje
sumativo para la nota. No obtengo un puntaje sumativo para la nota. Por lo tanto, no
realizo los experimentos o las prácticas de laboratorio no son el próximo domingo.”

Premisas:

P Premisa 1: las prácticas de laboratorio son el próximo domingo.

Q Premisa 2: asisto a la universidad.
R Premisa 3: realizo los experimentos
S Premisa 4: entrego el informe de laboratorio.
T Premisa 5: obtengo un puntaje sumativo para la nota.
Conclusión: no realizo los experimentos o las prácticas de laboratorio no son el próximo
domingo.”

Proposición compuesta en lenguaje formal

{[(𝑝 → 𝑞) ∧ (𝑟 → 𝑠)] ∧ [(𝑞 ∧ 𝑠) → 𝑡] ∧ ~𝑡} → (~𝑟𝑉~𝑝)

25 = 32
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Expresión en lenguaje formal:

Premisa 1 𝑝→𝑞
Premisa 2 𝑟→𝑠
Premisa 3 (𝑞 ∧ 𝑠) → 𝑡
Premisa 4 ~𝑡
Conclusión (~𝑟𝑉~𝑝)

Aplicando leyes de inferencia:

5 {[(𝑞 ∧ 𝑠) → 𝑡] ∧ ~𝑡} → (~𝑞 ∧ ~𝑠) MPP 3,4

6 ~𝑞 Simp 5
7 ~𝑠 Simp 5
8 [(𝑝 → 𝑞) ∧ ~𝑞] → ~𝑝 MPP 1,6
9 [(𝑟 → 𝑠) ∧ ~𝑠] → 𝑟 MPP 2,7
10 (~𝑟𝑉~𝑝) Adici 8,9

Tabla de verdad
p q r s t 𝑝→𝑞 𝑟→𝑠 [(𝑝→𝑞) ∧(𝑟→𝑠)] 𝑞 ∧𝑠 [(𝑞 ∧𝑠)→𝑡] [(𝑞 ∧𝑠)→𝑡] ∧¬t] [(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧¬t] (¬rV¬p) [(𝑝→𝑞) ∧(𝑟→𝑠)]∧[(𝑞 ∧𝑠)→𝑡] ∧¬t]→(¬rV¬p)
v v v v v v v v v v F F F V
v v v v f v v v v f F F F V
v v v f v v f f f f F F F V
v v v f f v f f f v V F F V
v v f v v v v v v v F F V V
v v f v f v v v v f V V V V
v v f f v v v v f f F F V V
v v f f f v v v f v V V V V
v f v v v f v f f f F F F V
v f v v f f v f f v V F F V
v f v f v f f f f f F F F V
v f v f f f f f f v V F F V
v f f v v f v f f f F F V V
v f f v f f v f f v V F V V
v f f f v f v f f f F F V V
v f f f f f v f f v V F V V
f v v v v v v v v v F F V V
f v v v f v v v v f V V V V
f v v f v v f f f f F F V V
f v v f f v f f f v V F V V
f v f v v v v v v v F F V V
f v f v f v v v v v V V V V
f v f f v v v v f f F F V V
f v f f f v v v f v V V V V
f f v v v v v v f f F F V V
f f v v f v v v f v V V V V
f f v f v v f f f f F F V V
f f v f f v f f f v V F V V
f f f v v v v v f f F F V V
f f f v f v v v f v V V V V
f f f f v v v v f f F F V V
f f f f f v v v f v V V V V
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Simulador Truth Table

{[(p>q)&(r>s)]&[(q&s)>t]&~t}>(~r+~p)

Tarea 3: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo,

argumentado la respuesta con sus propias palabras
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

C. De todos los seres que pueblan la Tierra, los seres humanos son los más nocivos
para el ecosistema. En efecto, ellos destruyen anualmente millones de hectáreas de
bosques y son los directos culpables de la desaparición masiva de fuentes de agua
potable.

Justificación:

El anterior razonamiento es deductivo, ya que se toma una premisa de carácter general:

“De todos los seres que pueblan la Tierra, los seres humanos son los más nocivos para
el ecosistema”; y a partir de ésta se concluyen afirmaciones de carácter particular: “En
efecto, ellos destruyen anualmente millones de hectáreas de bosques” y “son los directos
culpables de la desaparición masiva de fuentes de agua”.

Datos Estudiante Fotografía Ejercicios Ejercicios

seleccionados seleccionados
a desarrollar revisar

Identificación Tarea 1:A Tarea 1:B

Nombre ELIECER DAVID Tarea 2:A Tarea 2:B

SANDOVAL
Tarea 3:A Tarea 3:B
CEAD/CCAV/CERES/UDR

Identificación Tarea 1:B Tarea 1:C

Nombre JANIRYS ELENA Tarea 2:B Tarea 2:C

OLIVEROS
Tarea 3:B Tarea 3:C

CEAD/CCAV/CERES/UDR

Identificación: Tarea 1:C Tarea 1:A

1014184190
Tarea 2:C Tarea 2:A
Nombre: Zuleika Vanessa
Fernandez de Castro Tarea 3:C Tarea 3:A

CEAD/CCAV/CERES/UDR
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

CONCLUSIONES

 A los símbolos de los conectores también se les llama constantes lógicas, porque
representan el mismo valor.
 El conectivo que está fuera del paréntesis es el que indica si el enunciado es una
conjunción, disyunción, etc.
 En el razonamiento inductivo es cuanto tomas una colección de datos y se trata
de buscar una tendencia la cual se puede generalizar.
 En el razonamiento deductivo se toman un conjunto de datos que se saben que
son ciertos, pero debe ser certera. Es decir, se deben tomar hechos que son
verdad y así mismo deduciendo con otros hechos que son reales.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

BIBLIOGRAFÍA

El Blog del Profe Alex. (2011). Obtenido de El Blog del Profe Alex: http://profe-
alexz.blogspot.com.co/2011/02/conjuntos-diagramas-de-venn-30.html

Guerrero, S. L. M. (2005). "Fundamentos de los Conjuntos en Matemáticas". En

ProQuest ebrary (Ed). Matemáticas. Sus fundamentos en secuencia óptima. (pp.
24 – 34). Córdoba, Argentina: El Cid Editor. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID
=10075782&tm=1489706755797

Guerrero, S. L. M. (2005). Matemáticas. Sus fundamentos en secuencia óptima.

Córdoba, AR: El Cid Editor. Páginas 24 – 34. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=24&docID
=10075782&tm=1492518991513

Sánchez, H. R. (2014). "Conjuntos". En ProQuest ebrary (Ed) Álgebra. (pp. 2- 30).

México, D.F., México: Larousse - Grupo Editorial Patria. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID
=11046169&tm=1489706134764

Sánchez, H. R. (2014). Álgebra. México, D.F., MX: Larousse - Grupo Editorial Patria.
Páginas 2- 30. Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=15&docID
=11046169&tm=1492518830144

Gonzáles, T. L., & Saavedra, M. (2009). "Teoría de Conjuntos". En ProQuest ebrary

(Ed). Aciertos matemáticos 11: serie para la educación media. (pp. 20 -24).
Bogotá, Colombia: Educar Editores S.A. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=21&docID
=10345286&tm=1489708381971
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

Colegio24hs (2004). Silogismos y falacias. (pp. 27-34) Buenos Aires: Colegio24hs.

Recuperado de:
http://bibliotecavirtual.unad.edu.co:2460/lib/unadsp/reader.action?ppg=27&docID
=3157595&tm=1511207573036