TAREA 2 - CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS Y MÉTODOS PARA

PROBAR VALIDEZ DE ARGUMENTOS

LOGICA MATEMATICA
GRUPO: 90004_221

ESTUDIANTE:

MARÍA FERNANDA TORRES CAÑAS

TUTOR:
JAIRO YAMID MARIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS PECUARIAS Y DEL MEDIO AMBIENTE – (ECAPMA)
PROGRAMA – ZOOTECNIA
2019
INTRODUCCION

En la presente tarea individual tenemos la oportunidad de desarrollar trabajos donde podemos

aplicar los conceptos de las reglas de inferencia, proposiciones, razonamientos lógicos,
argumentos lógicos, inferencias lógicas y además, reforzar los conocimientos en la realización de
tablas de verdad y el simulador truth table.

Mediante 4 ejercicios ponemos en práctica todos estos conocimientos, estos ejercicios los
podemos desarrollar basándonos en el estudio de documentos y videos de apoyo dados por el
tutor en el foro de la tarea 2, gracias a este foro también podeos interactuar con el tutor y resolver
inquietudes que se presenten en el desarrollo de la actividad.
OBJETIVOS

Objetivo General:

 Aprender y desarrollar temas propuestos en la unidad 2.

Objetivos específicos:

 Tener claridad sobre los conceptos básicos de lógica matemática, leyes de inferencia
lógica y razonamientos lógicos.
 Identificar reglas de inferencia y razonamientos deductivos e inductivos.
 Reforzar el manejo de tablas de verdad y comprobarlas en el simulador Truth Table.

Ejercicio 1: Conceptualización de las reglas de inferencia

 UNIDAD 2

LEYES DE LA INFERENCIA
LOGICA MATEMATICA LOGICA RAZONAMIENTOS LOGICOS

Mecanismos que permiten deducir y

Es una disciplina que trata métodos Proceso mental donde se aplica la
razonar lógica y coherentemente una
de razonamiento y proporciona inferencia y conclusión a partir de hechos lógica, donde a partir de premisas se
reglas y técnicas para determinar si verdaderos que ya conocemos. llega a una conclusión que se
un argumento es válido. determina como verdadera, falsa o
Leyes de inferencia posible.

Modus ponen (PP): regla de

Proposiciones. Son Proposiciones
oraciones a las que se compuestas. Están
les puede asignar un formadas por dos o más
valor de verdad y son proposiciones simples y
nombradas con letras unidas por conectores
minúsculas. lógicos.
Conectores lógicos.
Tipos de razonamiento
inferencia que tiene la siguiente
forma: Razonamiento inductivo:
forma lógica de pensar, la cual
hace conclusiones generales
Modus tollendo tolens (TT): significa
negación y se refiere a una propiedad
basadas en situaciones
específicas. En este se sigue el
inversa de la condicional. Esta dice que si
una implicación es verdadera y su camino de la observación a la
consecuente es falso entonces su generalización y la conjetura.
antecedente será necesariamente falso. Se
expresa:
Razonamiento deductivo: usa
generaciones para obtener
conclusiones específicas
basadas en unos pasos lógicos,
Modus Tollendo ponen (TP): significa
en este se pueden usar reglas,
negando afirmo. Si uno de los miembros es
negado el otro automáticamente es leyes y teorías para apoyar la
afirmado. Se expresa: conjetura.

Silogismos: argumento deductivo en el

Tablas de verdad. Muestran el valor de verdad
de una composición compuesta para cada
combinación de valores.
Silogismo hipotético (SH): si una cusa
sigue una consecuencia y esta a su vez
causa una segunda consecuencia se
puede decir que la primera es causa de la
última. Se expresa:
que se infiere una conclusión a partir
de dos premisas. Un silogismo
categórico, consiste en 3 proposiciones
categórica que tienen 3 términos cada
uno de estos solo aparece en 2 de las
proposiciones que lo constituyen, 2 de
estas reciben el nombre de premisa y la
otra de conclusión.
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

d. Leo las rúbricas detalladamente o tengo dificultades para realizar los ejercicios
correctamente. Si leo las rúbricas detalladamente entonces realizaré un buen trabajo. Si tengo
dificultades para realizar los ejercicios correctamente entonces obtendré una mala nota.

 Conclusión: realizo un buen trabajo u obtengo mala nota.

 Ley de inferencia aplicada: Dilema Constructivo.

Lenguaje simbólico: p ∨q
p →r
q→s
r∨s


Ejercicio 3: Razonamiento Deductivo e Inductivo

d. Manejar carro es una actividad que requiere estar atento, evitar distraerse con el celular, la
pantalla del vehículo o con los pasajeros. Por lo cual la atención debe estar enfocada en la vía, los
transeúntes, vehículos circundantes y los límites de velocidad, por ende, se puede estipular que
manejar vehículo es una actividad riesgosa.

• Identificar si el razonamiento es deductivo o inductivo.

El razonamiento utilizado es: inductivo.

• Argumentar la respuesta con sus propias palabras.

Dado que por simple lógica sabemos que para manejar un vehículo se debe estar atento el 100% a
la vía y a lo que en esta pasa, cualquier tipo de distracción puede causar un accidente entonces
podemos concluir que manejar es una actividad riesgosa.

Ejercicio 4: Problemas de aplicación

a. Expresión simbólica: [ ( r →¬ q ) ∧ ( ¬ q → s ) ∧ ( p ∧¬ s ) ] → ¬r
Premisas:
P1: r →¬ q
 P2:¬ q → s
P3: p ∧¬ s

Conclusión ¬ r

A partir de la expresión simbólica seleccionada, el estudiante deberá:

• Definir las proposiciones simples.

p: estudio en la UNAD.

q: interactúo con compañeros y tutores.

r: soy un buen estudiante.

s: realizo a tiempo las actividades.

¬q: no interactúo con compañeros y tutores.

¬s: no realizo a tiempo las actividades.

Conclusión: no soy un buen estudiante.

• Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

[ ( r →¬ q ) ∧ ( ¬ q → s ) ∧ ( p ∧¬ s ) ] → ¬r

conectivo Lenguaje natural símbolo

negación No ~¬
conjunción Y ^
Disyunción O v
condicional Si…entonces →
bicondiciona Si y solo si ↔
l

Soy un buen estudiante entonces no interactúo con compañeros y tutores. Y si no interactúo con
compañeros y tutores entonces realizo a tiempo las actividades. Y si estudio en la UNAD y no
realizo a tiempo las actividades entonces no soy un buen estudiante.

.
• Generar la tabla de verdad manualmente:

El resultado de la tabla de verdad es una tautología.

• Generar la tabla de verdad con el simulador Lógica UNAD

• Demostración de la validez del argumento mediante las leyes de la inferencia lógica.

[ ( r →¬ q ) ∧ ( ¬ q → s ) ∧ ( p ∧¬ s ) ] → ¬r
Premisas:
P1: r →¬ q
P2:¬ q → s
P3: p ∧¬ s

Conclusión ¬ r

P4:¬ r modus tollens P1, P2

CONCLUSIONES

Los mapas conceptuales nos ayudan a organizar de una forma más dinámica y llamativa a la
vista los conceptos para que puedan ser aclarados y recordados con mayor facilidad.

El desarrollo de la actividad nos permitió aprender temas nuevos y reforzar algunos de los
aprendidos en la unidad anterior.
REFERENCIAS BIBLIOGRÁFICAS

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios: Larousse -

Grupo Editorial Patria. (pp. 29-38) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=40&docID=11013570&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp. 163-166)
Recuperado de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=178&docID=11046000&tm=1492520104862

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. (pp. 40-49) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=59&docID=10732485&tm=1492520387992

Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].

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

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO:
Grupo Editorial Patria. (pp. 80-84) Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=91&docID=11230887&tm=1496180214861

Castaño, C. (2016). Razonamientos Lógicos. [Archivo de video]. Recuperado de

http://hdl.handle.net/10596/6548