PASO 6.

METODOS PARA PROBRAR VALIDEZ DE ARGUMENTOS

Estudiante
María Angélica Guevara

Docente
Merice Huertas Beltrán

Curso
Pensamiento Lógico y Matemático

Grupo
147

Duitama
MAYO 13 de 2018
 INTRODUCCIÓN

En esta actividad trabajaremos las reglas de inferencia lógica por inducción y deducción
en formulaciones y demostraciones de razonamientos válidos en situaciones específicas del
mundo real. Así mismo, elaboraremos tablas de verdad y practicaremos con el simulador
truth. Dichas tareas nos ayudarán a comprender las temáticas del curso pensamiento lógico
y matemático.
 OBJETIVOS

▪ Identificar proposiciones simples y proposiciones compuestas

▪ Elaborar tablas de verdad
▪ Manejar el simulador truth y comparar las tablas de verdad con las manuales.
▪ Identificar métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos.

PLAN DE ACCIÓN

TABLA 1:PLAN DE ACCION - GRUPO 147

Datos Estudiante Fotografía Ejercicios Ejercicios
seleccionado seleccionado s
sa revisar
desarrollar
María Angélica Guevara Tarea 1: C Tarea 1: A

Tarea 2: C Tarea 2: A
Tarea 3: C Tarea 3: A
 Actividades a desarrollar

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

Link de la presentación

http://prezi.com/5qbq3h_4ey44/?utm_campaign=share&utm_medium=copy

Tarea 2: Problemas de aplicación I

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

 Generar la tabla de verdad manualmente y a través del simulador Truth Table.

 Comprobar el resultado de la tabla de verdad manual versus simulador Truth Table.
 Aplicación de las reglas de inferencia.
C. 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. ´

p: las prácticas de laboratorio son el próximo domingo

q: asisto a la universidad.
r realizo los experimentos
s: entrego el informe de laboratorio.
t: obtengo un puntaje sumativo para la nota.
Premisa 1: p→ q
Premisa 2: r →s
Premisa 3: (q ^s) → t
Premisa 4: ~t
Conclusión (~r v ~p) Entonces quedarí:
 {[(((p→q)^(r→s))^(q ^s))→t]→~t} →(~r v~p)

p q r s T p→q r→ (p→q) q ((p→q) {[(((p→ ~t {[(((p→q) ~ ~ ~ {[(((p→q)^(

s ^(r→s ^ ^(r→s)) q)^(r→ ^(r→s))^ r p r r→s))^(q
) s ^(q ^s)) s))^(q (q v ^s))→t]→~t
^s))→t ^s))→t] ~ } →(~r v~p)
→~t} p)
V V V V V V V V V V V F F F F F V
V V V V F V V V V V F V V F F F F
V V V F V V F F F F V F F F F F V
V V V F F V F F F F V V V F F F F
V V F V V V V V V V V F F V F V V
V V F V F V V V V V F V V V F V V
V V F F V V V V F F V F F V F V V
V V F F F V V V F F V V V V F V V
V F V V V F V F F F V F F F F F V
V F V V F F V F F F V V V F F F F
V F V F V F F F F F V F F F F F V
V F V F F F F F F F V V V F F F F
V F F V V F V F F F V F F V F V V
V F F V F F V F F F V V V V F V V
V F F F V F V F F F V F F V F V V
V F F F F F V F F F V V V V F V V
F V V V V V V V V V V F F F V V V
F V V V F V V V V V F V V F V V V
F V V F V V F F F F V F F F V V V
F V V F F V F F F F V V V F V V V
F V F V V V V V V V V F F V V V V
F V F V F V V V V V F V V V V V V
F V F F V V V V F F V F F V V V V
F V F F F V V V F F V V V V V V V
F F V V V V V V F F V F F F V V V
F F V V F V V V F F V V V F V V V
F F V F V V F F F F V F F F V V V
F F V F F V F F F F V V V F V V V
F F F V V V V V F F V F F V V V V
F F F V F V V V F F V V V V V V V
F F F F V V V V F F V F F V V V V
F F F F F V V V F F V V V V V V V
 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

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.

Premisa 1

“Los seres humanos destruyen anualmente millones de hectáreas de bosques” y

“(Los seres humanos) son los directos culpables de la desaparición masiva de fuentes de
agua potable”.

Premisa 2
“Ningún ser viviente ocasiona tanto daño a la naturaleza como lo hacen los seres
humanos”.

Conclusión:
“De todos los seres que pueblan la tierra, los seres humanos son los más nocivos para el
ecosistema”

Entonces éste es un razonamiento DEDUCTIVO.

 CONCLUSIONES

Aprendí acerca de las reglas de inferencia, y también a manejar el prezi para hacer
presentaciones... También aprendí a realizar las tablas de verdad y a trabajar el simulador
truth. Me pareció muy interesante y sé que esto contribuye a mi formación como
profesional. Una proposición lógica es una oración a la cual le podemos poner un valor de
verdad: Falso o Verdadero.

REFERENCIAS BIBLIOGRÁFICAS

Villalpando, B. J. F. (2000). "Fundamentos de la Lógica Matemática y Cálculo

Proposicional". En ProQuest (Ed). Matemáticas discretas: aplicaciones y ejercicios de
aplicación. (pp. 19 - 29). Guadalajara, México: Larousse - Grupo Editorial Patria.
Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=11013570&pp
g=30.

Chávez, C. P. (2000). "Lógica Simbólica". En ProQuest (Ed). Compendio de lógica. (pp.

151- 162). Guadalajara, México: Larousse - Grupo Editorial Patria. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=166&docID=110
46000&tm=1489704594878.

Gonzáles, T. L., & Saavedra, M. (2009). Aciertos matemáticos 11: serie para la educación
media. Bogotá, CO: Educar Editores S.A. Páginas 13 -19 Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=1034
5286&tm=1492518671601.

Moscote, H. (2016) Aplicación de las tablas de verdad en el álgebra de proposiciones.

Recuperado de http://hdl.handle.net/10596/7961.