PASO 4

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

XXXX

JAVIER ERNESTO RODRÍGUEZ HERNÁNDEZ

DIRECTOR DEL CURSO

LÓGICA MATEMÁTICA

CURSO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

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

CEAD MEDELLÍN

AGOSTO DE 2018

INTRODUCCIÓN
El presente informe pretende dar a conocer el proceso de aprendizaje autónomo y colaborativo
del estudiante en el curso de lógica matemática sobre la aplicación de las proposiciones, las
tablas de la verdad, manejo del simulador Truth Table, reconocimiento y uso de las reglas de la
inferencia y la aplicación de estas. Con el fin de poder formular argumentos e hipótesis y poder
llegar a una validez lógica.

OBJETIVOS
 Identificar los tipos y la estructura de las reglas de inferencia.

 Analizar enunciados por medio de tablas de la verdad y el simulador Truth Table.

 Aprender a traducir proposiciones del lenguaje verbal al simbólico y viceversa.

 Aplicar las reglas de la inferencia para analizar premisas.

PASO 4

MÉTODOS PARA PROBAR VALIDEZ DE ARGUMENTOS

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

Modus Tollendo Ponens (MTP). Permite eliminar una de las dos disyunciones siempre que una
de las dos esté negada en la segunda premisa (Villalpando, 2014).

Esta regla de inferencia es aplicada en silogismos disyuntivos y se obtiene la afirmación de un

argumento de la disyunción a partir de la negación del otro.

Ejemplos:
p v q: O voy a trabajar o voy de vacaciones.
- q: No voy de vacaciones.
p: Por lo tanto, voy a trabajar.

p v q: O como carne de pollo o como pescado.

- q: No como pescado
p: Por lo tanto, como pollo.

Contraposición. Es una ley que dice que, para cada sentencia condicional, hay una equivalencia
lógica entre la misma y su contraposición. En la contraposición de una sentencia, el antecedente
y consecuente son invertidos y negados: por lo tanto, la contraposición de PQ es, por lo
tanto, -Q-P.

Ejemplo:
Por ejemplo, la proposición "Todos los murciélagos son mamíferos" puede ser reescrita en su
forma condicional "Si algo es murciélago, entonces es mamífero." Por último, la ley dice que la
sentencia es idéntica a su contrapositiva "Si algo no es mamífero, entonces no es murciélago."
Doble Negación. Si la negación de cualquier proposición p verdadera es falsa, entonces cuando
se vuelve a negar esta será nuevamente verdadera y viceversa (Villalpando, 2014).
Ejemplos:

 --p: No es cierto que mi perro no tiene cola

p: mi perro tiene cola.

 --q: No es verdad que la tierra no es redonda

q: la tierra es redonda.

 --r: Es falso que los gatos no comer carne

r: los gatos comer carne.

Por tanto, queda claro que el valor de verdad de una doble negación de una proposición resulta
ser la misma proposición (Cohaguila, 2017).

Tarea 2: Problemas de aplicación I

La Federación Colombiana de Fútbol aún no sabe que equipos van a pasar a los octavos de final
de la liga Águila, por lo que un directivo hace el siguiente análisis: “Si el Tolima gana el
próximo partido, el Deportivo Pasto sale del grupo de finalistas. El Deportivo Pasto sale del
grupo de finalistas, El Junior pasa a liderar la tabla de la competición. Por lo tanto, si el Tolima
gana el próximo partido, el Junior pasa a liderar la tabla de la competición”.

Premisa 1 (Si el Tolima gana el próximo partido, el Deportivo Pasto sale del grupo de
finalistas).

Premisa 2 (El Deportivo Pasto sale del grupo de finalistas, El Junior pasa a liderar la tabla de la
competición).

Conclusión (Por lo tanto, si el Tolima gana el próximo partido, el Junior pasa a liderar la tabla
de la competición).

p: Tolima gana el próximo partido

q: El Deportivo Pasto sale del grupo de finalistas
r: El Junior pasa a liderar la tabla de la competición

Premisa 1 (p→q)
Premisa 2 ( q → r )
Conclusión ( p → r )

[(Premisa 1)Ʌ(Premisa 2)] → (Conclusión)

[(p → q)Ʌ(q → r)] → (p → r)

Tablas de verdad

p q r (p → q) (q → r) (p → q)Ʌ(q → r) (p → r) [(p → q)Ʌ(q → r)] → (p → r)

V V V V V V V V

V V F V F F F V

V F V F V F V V

V F F F V F F V

F V V V V V V V

F V F V F F V V

F F V V V V V V

F F F V V V V V

Uso de reglas de inferencia

P1 p→q
P2 q→r

P3 q → r Silogismo Hipotético (SH) de 1,2

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.

{(𝑝 ∨ 𝑞) ∧ [(𝑝 ∧ 𝑟) → 𝑠] ∧ (𝑟 ∧∼ 𝑠)} → 𝑞

p: Realizo el trabajo colaborativo

q: Desarrollo las actividades de manera individual
r: Accedo a la plataforma virtual de la UNAD
s: Ganaré el curso de Lógica Matemática

Premisa 1 (p v q)
Premisa 2 (p Ʌ r) → s
Premisa 3 (r Ʌ ~ s)
Conclusión q

Si realizo el trabajo el trabajo colaborativo o desarrollo las actividades de manera individual.

Realizo el trabajo colaborativo y accedo a la plataforma virtual de la UNAD entonces ganaré el
curso de Lógica Matemática. Accedo a la plataforma virtual de la UNAD y no ganaré el curso de
Lógica Matemática. Por lo tanto, desarrollo las actividades de manera individual.

Uso de las tablas de verdad.

p q r s ¬ (pV (p (pVq)Λ( (pVq)Λ(p rΛ (pVq)Λ[(pΛr)→ {(pVq)Λ[(pΛr)→
s q) Λr) pΛr) Λr)→s ¬s s]Λ(rΛ¬s) s]Λ(rΛ¬s) }→q

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Uso de las reglas de inferencia.

P 1 (p V q)
P 2 (p Ʌ r) → s
P3 (r Ʌ ~ s)

∴ 𝑞
P4 v Simplificación 3
P5 ∼ 𝑠 Simplificación 3
P6 ∼ (p Ʌr) Tollendo Tollens 2 y 5
P7 ∼ 𝑝 ∨ ∼ 𝑟 Leyes de Morgan
P8 ∼ p Tollendo Ponens en 7 y 4
P9 q Tollendo Ponens en 1 y 8

Uso del simulador Truth Table.

Tarea 4: Razonamiento Deductivo e Inductivo

Se me presenta la siguiente situación: “En el restaurante al que siempre voy a almorzar, ofrecen
en su menú todos los viernes la bandeja paisa. Entonces decidí que el siguiente viernes, no
almorzaría ahí, porque personalmente no me gustan los frijoles”.

Inductivo, ya que se presentan varias experiencias individuales respecto al alimento que no le

gusta consumir y se puede concluir que el siguiente viernes, no almorzaría en el restaurante,
porque personalmente no le gustan los frijoles.
 CONCLUSIONES

 Las reglas de inferencia son una forma lógica que permite analizar las premisas y nos
lleva a su conclusión

 Las proposiciones son enunciados o expresiones que nos permiten determinar su

veracidad o su negación.

 Los conectivos lógicos son los enlaces entre dos o más enunciados o proposiciones
simples y estos generan una proposición compuesta.

 Las tablas de verdad son una herramienta que permite demostrar la validez de
argumentos de manera lógica.

 El uso del simulador Truth Table, permite la elaboración de tablas de verdad y la

verificación cuando se realiza el ejercicio de forma manual.
 REFERENCIAS

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

de http://hdl.handle.net/10596/6548
Chávez, C. P. (2000). Compendio de lógica. : Larousse - Grupo Editorial Patria. Páginas 163-
166. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=178&docID=1
1046000&tm=1492520104862
Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/6559
Gutiérrez, W. (2016). Validez de un argumento. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/6543
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
AR: El Cid Editor. Páginas 3-22. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=20&docID=10
732485&tm=1492519941380
Rodríguez, H. (2017). Leyes de inferencia (Validación de argumentos). [Archivo de video].
Recuperado de http://hdl.handle.net/10596/11486
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra
lineal. Volumen I: conjuntos numéricos, complementos. Madrid, ES: Editorial Tébar
Flores. Páginas 17-29. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10
995629&tm=1492519731065
Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. : Larousse - Grupo
Editorial Patria. Páginas 29 – 38. Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=40&docID=11
013570&tm=1492519542738