Unidad 2: Tarea 2 - Métodos para probar la validez de argumentos.

Carlos Andres Parsons Macareno

UNAD (Universidad Nacional Abierta y A Distancia)

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Desarrollo de software

Barrancabermeja

14/04/19
Introducción: En el siguiente trabajo se presentarán los estándares
estipulados por la tutora de Lógica Matemática, y varios ejercicios y
métodos para probar la validez de los infinitos argumentos que se
pueden proponer, Desde La Conceptualización de las reglas de
inferencia, Pasando por Aplicación de las reglas de la inferencia
Lógica, Aplicación de las reglas de la inferencia Lógica,
Razonamiento Deductivo e Inductivo y los Problemas de aplicación.

Objetivos: El comprobar la veracidad y validez de los argumentos

impuestos en el problemario.
 A) 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 todos Sus Lados es 180°
Ley de inferencia aplicada: Modus Ponens
Lenguaje simbólico: P -> Q= V

A continuación, encontrará una serie de razonamientos para el

desarrollo del ejercicio 3:

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.

Es un Razonamiento deductivo, ya que se basa de una estadística o

un hecho comprobado, que es el índice de robos en la noche de
Halloween en aumento, por esa razón es que las familias tienen tanto
miedo de dejar que los niños salgan solos en la noche de brujas.

a. 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
Desarrollo
 Si Carlos estudia Ingeniería Industrial, Ve algebra, Y si ve algebra, no ve
Química, y tampoco estudia Ingeniería Industrial, Si ve topografía,
entonces ve Química.

Entonces: Ve Química.
p: Carlos estudia Ingeniería Industrial

q: Ve Algebra

r: Ve Química
s: Ve Topografía

Resultado de la tabla de verdad: Tautología

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

p q r s p ∨q  q ⟶ ∼r  ∼r ⟶s  ∼p ∧ s⟶r ⟶(r )

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

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
Bibliografía.

Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones

y ejercicios: Larousse - Grupo Editorial Patria. (pp. 29-38).
Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?ppg=40&docID=11013570&tm=1492519542738

Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo

Editorial Patria. (pp.163-166). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.a
ction?ppg=59&docID=10732485&tm=1492520387992

Sitio donde realice el mapa conceptual: https://www.mindmeister.com/1231554864