LÓGICA MATEMÁTICA 90004-570

MÉTODOS PARA PROBAR LA VALIDEZ DE LOS ARGUMENTOS

PRESENTADO POR:

ANDRES ALONSO RUIZ OSPINA

TUTOR

JUAN DAVID MEJIA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
BOGOTÁ

7 MAYO 2017

Anexo 2
 TABLA 1: PLAN DE ACCIÓN - GRUPO 570
Datos Estudiante Fotografía Rol dentro Ejercicios Ejercicios

del Trabajo seleccionado seleccionado

Colaborativ sa s revisar

o desarrollar
5829579 Tarea 1: B Tarea 1: C

Andres Alonso Ruiz Tarea 2: A Tarea 2: E

Tarea 3: C Tarea 3: A
Ospina Compilador
Tarea 4: E Tarea 4: D
CEAD JAG
5829755 Tarea 1: C Tarea 1: B

Albert Alejandro Tarea 2: E Tarea 2: A

Tarea 3: A Tarea 3: C
Herrera
Tarea 4: D Tarea 4: E
CEAD JAG Revisor
Tarea 1: Tarea 1:
Tarea 2: Tarea 2:
Tarea 3: Tarea 3:
Tarea 4: Tarea 4:
Tarea 1: Tarea 1:
Tarea 2: Tarea 2:
Tarea 3: Tarea 3:
Tarea 4: Tarea 4:
Tarea 1: Tarea 1:
Tarea 2: Tarea 2:
Tarea 3: Tarea 3:
Tarea 4: Tarea 4:

DESARROLLO 4 TAREAS
Tarea 1: Aplicación de las reglas de inferencia.

Socializar en el Foro diseñado para el desarrollo de la actividad la conceptualización y dos

ejemplos específicos (En caso de ser extraído por alguna fuente bibliográfica, se debe citar

correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lógica.

(solo selecciona un grupo de los 5 mostrados e informa en el foro cual escogió, para que no sea

escogido por otro integrante), las cuales son:

b. Modus Tolendo Ponens, Doble Negación y Adjunción

MODUS TOLENDO PONENS

El modus tollendo ponens (latín: "el modo que, al negar, afirma") o silogismo disyuntivo

establece que, si se nos dice que al menos una de las dos proposiciones es verdadera; y también

se nos dijo que no es la primera la que es verdadera; se puede inferir que debe ser la última la

que es verdadera. Es decir, si P o Q es verdadero y P es falso, entonces Q es verdadero.

El modus tollendo ponens puede escribirse formalmente como:

donde cada vez que aparezcan las instancias en las líneas de una

demostración, se puede colocar “Q" en una línea posterior.

Un ejemplo

Yo o elegiré sopa o elegiré ensalada.

No voy a elegir sopa.

Por lo tanto, voy a elegir ensalada.

DOBLE NEGACIÓN

Si la negación de cualquier proposición p verdadera es falsa, entonces cuando se vuelva a negar

será nuevamente verdadera y viceversa

~ (~p) = p

Ejemplo

No ocurre que Ana no es una estudiante

Ana es una estudiante

ADJUNCIÓN

Si se dispone de dos enunciados afirmado como dos premisas separadas, mediante la adjunción,

podemos unirlos en una sola premisa utilizando el operador ^ (conjunción)

Ejemplo

p Carlos es ciclista

q Manuel es cantante

p ^q Carlos es ciclista y Manuel es cantante

Tarea 2: Problemas de aplicación I

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumento dado a

través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.

 Uso del simulador Truth Table.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea

escogido por otro integrante)

a. El programa Ser Pilo Paga está dirigido a los mejores bachilleres del país, con menores

recursos económicos para que accedan a Instituciones de Educación Superior

acreditadas en alta calidad. El secretario de educación en determinado municipio ha

informado al alcalde como fue la premiación, de acuerdo a los resultados obtenidos en

la prueba Saber 11, el primer lugar recibirá una beca completa 100% para ingresar en la

universidad que desee, el segundo lugar recibirá una beca que cubre el 50% de los

costos académicos en la universidad que desee y el tercer lugar recibirá un portátil

última generación; para dicho fin el secretario hizo el siguiente razonamiento: “Si

Gabriela ganó la beca del 100% entonces Juan recibió la beca del 50% o Daniela fue

quien recibió la beca del 50%. Si Daniela fue quien recibió la beca del 50%, entonces

Gabriela no obtuvo como premio la beca del 100%. Si Pedro fue quien ganó la beca del

50% entonces Daniela no fue quien recibió la beca del 50%. Gabriela se ganó la beca

del 100%. Por lo tanto, Pedro no fue quien recibió la beca del 50%.

p: Gabriela ganó la beca del 100%

 q: Juan recibió la beca del 50%

r: Daniela fue quien recibió la beca del 50%.

s: Pedro fue quien ganó la beca del 50%

[(p > q) v r] > (r > ¬p) > (s > ¬ r) > (p > ¬ s)

 Uso de las tablas de verdad.

[(p > q) v r] [(p > q) v r] > (r > ¬p) [(p > q) v r] > (r > ¬p)>(s > ¬ r) [(p > q) v r] > (r > ¬p) >(s > ¬ r) >(p > ¬ s)
p q r s (p > q) [(p > q) v r] (r > ¬p) [(p > q) v r] > (r > ¬p) (s > ¬ r) [(p > q) v r] > (r > ¬p) > (s > ¬ r) (p > ¬ s) [(p > q) v r] > (r > ¬p) >(s > ¬ r) >(p > ¬ s)
T T T T T T F F F T F F
T T T F T T F F T T T T
T T F T T T T T T T F F
T T F F T T T T T T T T
T F T T F T F F F T F F
T F T F F T F F T T T T
T F F T F F T T T T F F
T F F F F F T T T T T T
F T T T T T T T F F T T
F T T F T T T T T T T T
F T F T T T T T T T T T
F T F F T T T T T T T T
F F T T T T T T F F T T
F F T F T T T T T T T T
F F F T T T T T T T T T
F F F F T T T T T T T T

 Uso de las reglas de inferencia.

“Si Gabriela ganó la beca del 100% entonces Juan recibió la beca del 50% o Daniela fue quien

recibió la beca del 50%. Si Daniela fue quien recibió la beca del 50%, entonces Gabriela no

obtuvo como premio la beca del 100%. Si Pedro fue quien ganó la beca del 50% entonces

Daniela no fue quien recibió la beca del 50%. Gabriela se ganó la beca del 100%. Por lo tanto,

Pedro no fue quien recibió la beca del 50%.

p: Gabriela ganó la beca del 100%

q: Juan recibió la beca del 50%

r: Daniela fue quien recibió la beca del 50%.

s: Pedro fue quien ganó la beca del 50%

[(p > q) v r] > (r > ¬p) > (s > ¬ r) > (p > ¬ s)

Prueba de forma de validez

1 (p > q) v r

2 r > ¬p

3s>¬r

4p>¬s

∴s

 Uso del simulador Truth Table.

Tarea 3: Problemas de aplicación II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinámica de la

Universidad de su rol como estudiante y demostrar la validez del argumento dado a través de:

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.

 Uso del simulador Truth Table.

(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogió, para que no sea

escogido por otro integrante)

[(p⟶q)∧(r⟶~s)∧(p∧s)]⟶(s∧q)

Si soy estudiante de Ingeniera de Sistemas entonces pertenezco a la escuela ECBTI y si soy

estudiante de primer semestre entonces no he terminado mis niveles de inglés y soy estudiante de
Ingeniería de Sistemas y he terminado mis niveles de inglés. Entonces he terminado mis niveles

de inglés y pertenezco a la escuela ECBTI

p soy estudiante de Ingeniería de Sistemas

q pertenezco a la escuela ECBTI

r soy estudiante de primer semestre

s he terminado mis niveles de inglés

 Uso de las tablas de verdad.

⟶ ⟶ ⟶ ∧ ⟶ ∧ ⟶ ∧ ⟶ ∧ ∧ ∧ ⟶ ∧ ⟶ ∧ ∧ ⟶ ∧

p q r s (p q) (r ~s) (p q) (r ~s) (p s) [(p q) (r ~s) (p s)] (s q) [(p q) (r ~s) (p s)] (s q)

T T T T T F F T F T T
T T T F T T T F F F T
T T F T T T T T T T T
T T F F T T T F F F T
T F T T F F F T F F T
T F T F F T F F F F T
T F F T F T F T F F T
T F F F F T F F F F T
F T T T T F F F F T T
F T T F T T T F F F T
F T F T T T T F F T T
F T F F T T T F F F T
F F T T T F F F F F T
F F T F T T T F F F T
F F F T T T T F F F T
F F F F T T T F F F T

 Uso de las reglas de inferencia.

p soy estudiante de Ingeniería de Sistemas

q pertenezco a la escuela ECBTI

r soy estudiante de primer semestre

s he terminado mis niveles de inglés

[(p⟶q)∧(r⟶~s)∧(p∧s)]⟶(s∧q)

La prueba formal de validez

1 [(p⟶q)

2 (r⟶~s)

3 (p∧s)]

4 (s∧q)

∴q

 Uso del simulador Truth Table.

Tarea 4: Razonamiento Deductivo e Inductivo

Identifique de los siguientes casos si el razonamiento es deductivo o inductivo, argumentado la

respuesta con sus propias palabras

(Solo selecciona uno de los 5 casos e informa en el foro cual escogió, para que no sea escogido

por otro integrante)

e. Se sabe que en Bogotá casi todos los fanáticos del fútbol, son hinchas de Millonarios,

Santafé o Nacional, pero no todos. Cierto día me encuentro con una persona en Bogotá, amante

del fútbol y prejuzgo, que probablemente, con base en los conocimientos anteriores, “esta

persona es hincha de Nacional”.

El razonamiento utilizado fue el deductivo, esto en virtud a que partiendo de unas premisas

generales que son las de decir que “casi” todos los fanáticos del futbol en Bogotá son hinchas de

esos tres equipos (Millonarios, Santa Fe y Nacional), y teniendo FE en estas premisas, al

encontrar otro individuo de esa población amante al futbol, se pueden enmarcar en alguno de

estos tres grupos y concluir cuál es su equipo.

REFERENCIAS

José Francisco Villalpando Becerra (2014). Matemáticas Discretas: aplicaciones y ejercicios

Editorial Grupo Editorial Patria.

Modus tollendo ponens

https://es.wikipedia.org/wiki/Modus_tollendo_ponens