TAREA 2 – MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

LOGICA MATEMATICA

ALBET ALFREDO CONRADO PANA

(GRUPO 522)

EDGARDO ALEXANDER
(TUTOR)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS AGRÍCOLAS PECUARIAS Y DE MEDIO AMBIENTE
ZOOTECTIA
14/04/2019
 INTRODUCCIÓN.
El siguiente trabajo tiene como tema principal los métodos para probar valides de
argumentos, el cual se desarrollan mediante 4 ejercicios, iniciando con el primer
ejercicio donde se conceptualizara las reglas de inferencia en un mapa
conceptual, el segundo habla de la aplicación de las reglas de inferencia lógica, el
tercer de razonamiento deductivo e inductivo y por último el ejercicio cuatro que
trata de problemas de aplicación donde se observa una tabla de verdad haciendo
una demostración de la validez del argumento mediante las leyes de la inferencia
lógica.
 OBJETIVO
Desarrollar ejercicios de proposiciones simples y compuestas, tablas de
verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos, que nos permitan practicar y aplicar los métodos para
probar validez de los argumentos.
 DESARROLLO

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

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

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 los ángulos internos es 180°
Ley de inferencia aplicada: Modus ponendo ponens (pp)
Lenguaje simbólico:
p →q

q́
  Ejercicio 3: Razonamiento Deductivo e Inductivo

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.

Expresión simbólica:

[(𝑝⟶𝑞)∧(∼𝑝⟶𝑟)]⟶(∼r⟶p)
Argumentación: El razonamiento usado es inductivo ya que por hechos
conocidos que son falsos y verdaderos

 Ejercicio 4: Problemas de aplicación

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

Proposiciones simples
p: participo en la feria ganadera

q: participo en las vacunaciones

r: obtengo buen dinero
s: viajo para Fonseca
Razonamiento en lenguaje natural

Participo en la feria ganadera o participo en las vacunaciones Participo en

las vacunaciones no obtengo buen dinero y no obtengo buen dinero
entonces viajo para Fonseca y no obtengo buen dinero y viajo para
Fonseca entonces obtengo buen dinero.

Tabla de verdad con el simulador lógica UNAD

p q r s ((p∨q)∧(q→~r)∧(~r→s)∧(~p)∧(s→r))→(r)
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F V
 Tabla de verdad manual.
∨ ∧ ∧ ∧ ∧
∨ ∧ ∧ ∧ ∧
p q s R ~p ~r pvq q→~r ~r→s s→r {(p q) (q→~r) (~r→s) (~p) (s→r)}
{(p q) (q→~r) (~r→s) (~p) (s→r)}→(r)

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

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

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

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

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

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

V F F V F F V V V V 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 F V V V V V F F V

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

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

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

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

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

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

Leyes de inferencia.

P1: p ∨q
P2: q ⟶ ∼ r
P3: ¬ r → s
P4: ∼ p
P5: s ⟶ r
P6: q MTP p1 y p4
P7: q→s SH p2 y p3
P8: q→r SH p7 y p5
P9: r MPP p8 y p9
 CONCLUCIONES
De este trabajo podemos concluir que pude aprender, comprender y comprobar
los diferentes Métodos para probar validez de argumentos mediante los 4
ejercicios seleccionados.
 RERENCIAS BIBLIOGRAFICAS

 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)
 Gutiérrez, W. (2016). Validez de un argumento
 Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito
Federal, MÉXICO: Grupo Editorial Patria. (pp. 80-84).
 Castaño, C. (2016). Razonamientos Lógicos.
 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)