LOGICA MATEMATICAS

METODOS PARA PROBAR LA VALIDEZ

GRUPO 90004_504

PRESENTADO POR

JORGE LUIS RICARDO BERNA

PRESENTADO A TUTOR

CARLOS MAURICIO SALAS

METODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS

UNIVERSIDAD ABIERTA Y ADISTANCIA

UNAD
 ADMISTRACION DE EMPRESAS

ECACEN

14/04/2019

Introducción

Por medio de este trabajo se busca ampliar más a fondo los diferentes temas estudiados,

el trabajo consta de 4 ejercicios, para el desarrollo de estos problemas fue necesario

estudiar los temas correspondientes a cada ejercicio, pero que al final cada uno de los temas

van enlazados entre sí para poder dar solución a los ejercicios. Los temas a tratar en el

siguiente trabajo son; Proposiciones simples y compuestas, tablas de verdad, métodos de

demostración, razonamientos lógicos, inferencia lógica y argumentos lógicos. Cada uno de

estos temas y ejercicios son de mucha importancia para ver el avance del aprendizaje.

Preposiciones simples y compuestas; Siempre que nosotros hacemos diferentes tipos de

afirmaciones nos debemos basar en una serie de análisis que nos permitan aclarar y

rectificar si lo que dijimos anteriormente es verdadero o falso. En el trabajo que a

continuación desarrollaremos podremos encontrar como, cuando y en qué situación

podemos aplicar este tipo de proposiciones. Reglas de inferencia lógica, Antes de hablar

acerca de las reglas de inferencia es bueno resaltar algunos conceptos claros y básicos para

el entendimiento de este; uno de ellos son las lógica, el estudio de la lógica y de las

proposiciones nos ayudara a tener un pensamiento preciso y herramientas para argumentar

claramente situaciones de una manera más exacta. Razonamiento deductivo e inductivo, el

razonamiento deductivo, se ha considerado que va de lo general a lo particular y el

inductivo va de lo particular a lo general, se utiliza el concepto de validez para el

razonamiento deductivo y para el inductivo el concepto de probabilidad.

Ejercicio 1

Conceptualización de las reglas de inferencia.

Descripción del ejercicio:

Socializar en el Foro diseñado para el desarrollo de la actividad unidad 2, un mapa

conceptual que encierre los conceptos básicos de la presente unidad que son:

Lógica Matemática

Leyes de la inferencia lógica

Razonamientos Lógicos

Mapa conceptual

Lógica matemática

Lógica informal Lógica formal

Preposiciones y conectivos Leyes de inferencia

lógicos

Razonamientos lógicos
 Conclusiones lógicas
Ejercicio 2:

Aplicación de las reglas de la inferencia Lógica.

Descripción del ejercicio:

B. Un triángulo tiene tres lados, entonces la suma de los ángulos internos es 180º. Un

triángulo tiene tres lados.

Conclusión: La suma de sus ángulos internos es 180˚

Ley de inferencia aplicada: Modus ponendo ponens

Lenguaje simbólico: p => q; p

La conclusión que se identifica en el argumento.

La ley de inferencia que se aplica para probar el argumento.

Definir la expresión del argumento en lenguaje simbólico o formal.

Conclusión: La suma de los ángulos internos es 180˚

Se aplica: Modus ponendo ponens

P= Un triángulo tiene tres lados

q= la suma de los ángulos internos de todos los triángulos es 180˚

P=¿ q

p
q
Ejercicio 3

Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo del ejercicio 3:

b. El 31 de octubre es el día de los niños, éste día se acostumbra que los niños pidan

dulces por lugares cercanos a su hogar en compañía de un adulto. El índice de robos de

niños el día de Halloween ha aumentado por lo tanto la costumbre de sacar a los niños a

pedir dulces se ha perdido.

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.

Solución

Se trata de un razonamiento deductivo

Argumentación de la razón por la cual se concluye que el razonamiento es deductivo.

Se presentan ciertas premisas que se asumen son verdaderas y que la premisa posterior

es una consecuencia de la anterior que es cierta o verdadera, de modo que la aplicación

reiterada y concatenada del modus ponendu ponens permite de manera lógica concluir la

veracidad o validez de la premisa final es, es decir.

 “La costumbre de sacar a los niños a pedir dulces se ha perdido”

Ejercicio 4:

Problemas de aplicación

Descripción del ejercicio:

A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un

argumento para el desarrollo del ejercicio 4:

b. Expresión simbólica:

[ ( p ∨ q ) ∧ ( q ⟶ ∼r ) ∧ ( ∼ r ⟶ s ) ∧ ( ∼ p ) ∧ ( s ⟶r ) ]⟶( r)

Premisas:

P1: p ∨q

P2: q ⟶ ∼r

P3: ¬ r → s

P4: ∼ p

P5: s ⟶ r

Conclusión: r

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

Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción

basada en un contexto, el que se solicita es un contexto académico, ejemplo:

p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

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

proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar

proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas

correctivas estipuladas por la UNAD.

Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico (El estudiante encontrará la Guía para el uso de recursos educativos Simulador

Lógica UNAD, en el Entorno de Aprendizaje Práctico, así como el link de acceso al

recurso)

Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,

Excel o foto del desarrollo manual).

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

Solución

María quiere estudiar ingeniería ó humanidades, si maría estudia humanidades es porque

no le gusta las matemáticas, si no le gusta la matemática, le gusta leer.

P= María quiere estudiar ingeniería.

q= María quiere estudiar humanidades.

r= A maría le gustan las matemáticas.

s= A maría le gusta leer.

P1: p v q: María quiere estudiar ingeniería o humanidades.

 P2: q => -r: si maría estudiar humanidades, entonces no le gustan las matemáticas.

P3: ¬ r=> s: Si a maría no le gustan las matemáticas, entonces le gusta leer.

P4: ¬ María no estudia Ingeniería.

P5: s => r: Si a maría le gusta leer, entonces le gusta la matemática.

Generar una tabla de verdad manualmente a partir del lenguaje simbólico.

p Q ¬p r s ¬r pvq q => ¬ r (¬ r => s) ( s => r) [(pvq) ^ (q => ¬ r) ^ (¬ r => s) ˄ (- p ) ˄ (s => r )] A => r

V V F V V F V F V V F V
V V F V F F V F V V F V
V V F F V V V V V F F V
V V F F F V V V F V F V
V F F V V F V V V V F V
V F F V F F V V V V F V
V F F F V V V V V F F V
V F F F F V V V F V F V
F V V V V F V F V V F V
F V V V F F V F V V F V
F V V F V V V V V F F V
F V V F F V V V F V F V
F F V V V F F F V V F V
F F V V F F F F V V F V
F F V F V V F V V F F V
F F V F F V F V F V F V

Referencias bibliográficas:

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

Madrid, ES: Ediciones Elizcom. Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=1&docID=10565960&tm=1491918381547
 Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Recuperado de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=59&docID=10732485&tm=1492520387992

Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado

de http://hdl.handle.net/10596/6559

Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos.

Recuperado de: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?

ppg=59&docID=10732485&tm=1492520387992

Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. 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