Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estudiante
Narciso Manuel Mejía Reyes
Docente
Ever Antonio Polo
Curso
Pensamiento Lógico y Matemático
Grupo
200611_662
Barranquilla - Atlántico
Abril - 2019
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
OBJETIVOS
Objetivo General
Resolver la guía de actividades tarea 3 – clasificación de proposiciones categóricas y métodos
para probar validez de argumentos.
Objetivos Específicos
1.Revisar las referencias bibliográficas propuestas para esta actividad. 3.
2.Resolver un ejercicio de cada una de las tareas de la guia
3. Publicar en el foro diseñado para el desarrollo de la actividad.
4. Entregar de forma individual en el entorno de seguimiento y evaluación tarea 3
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
INTRODUCCIÓN
A continuación, en el siguiente informe se desarrollan las temáticas como proposiciones simples y
compuestas, proposiciones categóricas, proposiciones contrarias de contingencia y subcontrarias,
tablas de verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos. Es importante conocer estos temas ya que son fundamentales en la lógica
matemática. Algo fundamental para el estudiante es saber comprender la guía propuesta para alguna
actividad, los temas de las unidades y las referencias bibliográficas ya que gracias a estas podremos
comprender mejor cada uno de los temas propuestos.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
DESARROLLO
Descripción del ejercicio
A continuación, encontrará las proposiciones categóricas para el desarrollo del ejercicio 1:
a).
p: Todos los estudiantes ganan el curso
q: Algunos estudiantes no ganan el curso
A partir de las proposiciones categóricas que haya seleccionado deberá dar respuesta a los
siguientes ítems:
ESTRUCTURA
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
Identificar si el razonamiento es deductivo o inductivo.
Argumentar la respuesta con sus propias palabras.
Premisas:
P1: (r → ¬q)
P2:(p ∨ s)
P3: (q ∧ p)
Conclusión: ¬r
P2: p∨s
Voy en motocicleta o pierdo el examen
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
P3: q∧p
Aumento la velocidad caminando y voy en motocicleta.
Conclusión: ¬r
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
Excel o foto del desarrollo manual).
El argumento es Tautología.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
CONCLUSIONES
Reforzamos los conocimientos adquiridos en la anterior unidad al dar uso de las formas básicas
de las tablas de verdad, los principios de lógica y los razonamientos lógicos para demostrar la
validez o no validez de las situaciones problémicas propuestas.
Se analizò la situación problémica sugerida en la guía por medio de las inferencias lógicas y las
leyes de inferencia planteando una solución.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
REFERENCIAS BIBLIOGRÁFICAS
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&docID=4569631&t
m=1529336365580
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID=3199701&t
m=1529336485971
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=91&docID=4569631&t
m=1529513879802