Trabajo Final Paso 4 LOGICA MATEMATICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍA

LOGICA MATEMATICA
PASÓ 4
LOGICA MATEMATICA
Presentado Por.
YENNI M SOSA RODRIGUEZ. Cód. 35.536.075
CRISTIAN DAVID TRIANA NIÑO cód. 1070967504
Tutor (a):
GEOVANNI ORTIZ
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
FACATATIVA/CUNDINAMARCA
NOVIEMBRE DEL 2017
LOGICA MATEMATICA
CONTENIDO
1. Introducción
2. Objetivos
3. desarrollo de las cuatro tareas
4. Conclusiones
5. Referencias Bibliográficas
LOGICA MATEMATICA
Introducción
En el presente trabajo realizaremos una serie de ejercicios en los cuales
pondremos en práctica la aplicación de las leyes de verdad, después de un
exhausto estudio de las mismas, Luego de desarrollar los ejercicios emplearemos
el manejo del simulador Truth Table para realizar las respectivas comprobaciones.
LOGICA MATEMATICA
Objetivos
Generales
 Comprender las herramientas que proporciona la lógica para el análisis del
lenguaje, y dominar el vocabulario técnico conectado con ellas. Esto nos
permite conocer algunas de las figuras clave en la historia de la lógica, y su
aportación al desarrollo de esta disciplina.
Específicos
1. Aplicar las herramientas aprendidas al análisis de argumentos del lenguaje
natural.
2. Crear estrategias para el desarrollo del trabajo colaborativo, el cual parte

del aporte individual de cada uno de los integrantes del grupo y luego
realizar la consolidación del trabajo con base en el análisis y la reflexión
que hace todo el grupo de cada uno de los aportes realizados.
3. Ejercitar hábitos intelectuales más generales, como la capacidad de

análisis y de síntesis, la claridad de pensamiento, la discusión rigurosa y
razonada, y la reflexión crítica, entre otros.
LOGICA MATEMATICA
Tarea 1: Conceptualizació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:
a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipotético
Modus Ponendo Ponens
El condicional o implicación es aquella operación que establece entre dos

enunciados una relación de causa-efecto. La regla „ponendo ponens‟ significa,
“afirmando afirmo” y en un condicional establece, que si el antecedente (primer
término) se afirma, necesariamente se afirma el consecuente (segundo término,
en este caso ).
Ejemplo 1
p q “si llueve, entonces las calles se mojan”
p “Llueve”
q “luego, las calles se mojan”
Ejemplo 2
p q “si tengo dinero entonces compro bicicleta”
p “tengo dinero”
q “compro bicicleta”
LOGICA MATEMATICA
Modus Tollendo Tollens
Tollendo tollens significa “negando, niego”, y se refiere a una propiedad inversa de

los condicionales, a los que nos referíamos en primer lugar.
Ejemplo 1
p q “si llueve, entonces las calles se mojan”
¬q “Las calles no se mojan”
¬p “luego, no llueve”
Ejemplo 2
p q “si el gato ve un ratón, entonces se pondra en posición de caza”
¬q “el gato no se puso en posición de caza”
¬p “el gato no vio ningún ratón”
Silogismo Hipotético
Es una forma de argumento válido que consiste en un silogismo con una sentencia
condicional para una o ambas de sus premisas. En la lógica proposicional, el
silogismo hipotético es una regla de inferencia válida (llamado también argumento
cadena, regla de cadena, o el principio de transitividad de la implicación, y a veces
abreviado SH)
Ejemplo 1
p q “si la bola roja golpea a la bola blanca, la bola blanca se mueve”
q r “si la bola blanca golpea a la bola negra, la bola negra se mueve”
p r “si la bola roja golpea a la bola blanca, la bola negra se mueve”
Ejemplo 2
p q “Si los hombres son caballeros, entonces son respetuosos”
q r “Si son respetuosos, entonces tratan bien a las damas”
p r “Luego, si los hombres son caballeros, entonces tratan bien a las damas”
LOGICA MATEMATICA
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)
c. La Vicerrectoria Académica, quiere realizar una campaña motivacional para los

estudiantes y que así obtengan mejores calificaciones, por esta razón se plantea
el siguiente argumento: “Si Juan estudia el fin de semana, entonces estará
preparado para el lunes, o Juan se va de paseo. Si Juan se va de paseo, entonces
no estudia el fin de semana. Ocurre que Juan Estudió el fin de semana y llegará
seguro a la evaluación. Por consiguiente Juan está preparado para el lunes y llega
seguro a la evaluación”.
p: Juan estudia el fin de semana
q: Juan esta preparado para el lunes
r: Juan se va de paseo
s: llegara seguro a la evaluación
¬p: no estudiara el fin de semana
Premisa 1 p q
Premisa 2 r ¬p
Premisa 3 p ˄ s
Conclusion q ˄ s
[(p q ) ˄ (r ¬p) ˄( p ˄ s)] q ˄s

LOGICA MATEMATICA
Tabla de verdad
LOGICA MATEMATICA
P simples negaciones premisas union de tres premisas conclusion union de las tres premisas implicando la conclusión
simples
p q r s ¬p (p→q) (r→¬p) (p˄s) (p→q) ˄ (r→¬p) ˄( p˄s) (q ˄ s) [(p→q) ˄ (r →¬p) ˄( p˄s)]→ q ˄ s
V V V V F V F V F V V
V V V F F V F F F F V
V V F V F V F V F V V
V V F F F V F F F F V
V F V V F F F V F F V
V F V F F F F F F F V
V F F V F F F V F F V
V F F F F F F F F F V
F V V V V V V F F V V
F V V F V V V F F F V
F V F V V V V F F V V
F V F F V V V F F F V
F F V V V V V F F F V
F F V F V V V F F F V
F F F V V V V F F F V
F F F F V V V F F F V
LOGICA MATEMATICA
USO DE INFERIENCIA ESTADISTICA
Premisa 1 p q
Premisa 2 r ¬p
Premisa 3 p ˄ s
Premisa 4 p simplificamos en 3
Premisa 5 q modus ponendo ponens 1,4
Premisa 6 s simplificamos en 3
Presima 7 q ˄ s adjunción 5,6
Conclusion q ˄ s
LOGICA MATEMATICA
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:
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual

escogió, para que no sea escogido por otro integrante)
a. [(𝑝 → 𝑞) ∧ (¬𝑟 → ¬𝑠) ∧ (𝑝 ∧ 𝑠)] → (𝑞 ∧ 𝑠)
premisa 1 (𝑝 → 𝑞)
premisa 2 (¬𝑟 → ¬𝑠)
premisa 3 (𝑝 ∧ 𝑠)
Conclusión (𝑞 ∧ 𝑠)
LOGICA MATEMATICA
P simples Negaciones premisas union de tres premisas conclusion union de las tres premisas implicando la conclusión
simples
p q r s ¬r ¬r (𝑝→𝑞) (¬𝑟→¬𝑠) (𝑝∧𝑠) [(𝑝→𝑞)∧(¬𝑟→¬𝑠)∧(𝑝∧𝑠)] (𝑞∧ 𝑠) [(𝑝→𝑞)∧(¬𝑟→¬𝑠)∧(𝑝∧𝑠)]→(𝑞∧𝑠)
V V V V F F V V V V V V
V V V F F F V V F F F V
V V F V F V V V V F V V
V V F F F V V V F F F V
V F V V F F F V V F F V
V F V F F F F V F F F V
V F F V F V F V V F F V
V F F F F V F V F F F V
F V V V V F F F F F V V
F V V F V F V F F F F V
F V F V V V V V F F V V
F V F F V V V V F F F V
F F V V V F V F F F F V
F F V F V F V F F F F V
F F F V V V V V F F F V
F F F F V V V V F F F V
LOGICA MATEMATICA
Uso de las reglas de inferencia.
premisa 1 (𝑝 → 𝑞)
premisa 2 (¬𝑟 → ¬𝑠)
premisa 3 (𝑝 ∧ 𝑠)
Premisa 4 p simplificamos en 3
Premisa 5 q modus ponendo ponens 1,4
Premisa 6 s simplificamos en 3
Premisa 7 r modus tollendo tollens 2,6
Presima 8 q ˄ s adjunción 5,6

LOGICA MATEMATICA
Conclusión (𝑞 ∧ 𝑠)
LOGICA MATEMATICA
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)
a. Explica la conclusión a la que llega el personaje, de acuerdo a la caricatura.

Explica el método de razonamiento (inductivo o deductivo) utilizado
El razonamiento que presenta Holmes es INDUCTIVO, ya que deduce de

experiencias pasadas que cuando su mamá se está bañando y no le dijo a el que
se bañara es porque va a salir sin él y por ende llamara a Rosalyn para que lo
cuide
LOGICA MATEMATICA
Tarea 1: Conceptualizació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.
Modus Tolendo Ponens, Doble Negación y Adjunción.

Tolendo Ponens:
También conocido como la eliminación de la disyunción o eliminación del o.
Si se nos dice que al menos una de las dos afirmaciones es verdadera; y también
se nos dijo que no es la primera la que es verdadera se puede inferir que tiene que
ser la última la que es verdadera
Si uno de los miembros de la disyunción es negado, el otro miembro queda
automáticamente afirmado ya que uno de los términos de la elección ha sido
descartado
Simbologicamente el modo tollendus ponen se puede expresar
De la premisa PVQ
LOGICA MATEMATICA
Y la premisa ¬P
Se puede concluir Q
De (P) V Q
Y ¬¿P)
Se deduce Q
De P V(Q)
Y ¬Q
Se deduce P
Ejemplo
P v Q: He ido a estudiar o me he ido a jugar
¬Q: No he ido a jugar
∴P: Por tanto, he ido a estudiar
Ejemplo 2
PVQ: Estoy despierto o estoy durmiendo
¬ P :No estoy despierto
∴ Q: Por lo tanto estoy durmiendo
Doble negación:
La regla de doble negación simplemente establece que si un enunciado esta
doblemente negado equivaldría al enunciado afirmado y se simboliza
−(−P)
P
Ejemplo 1:
¬¬ P:La bacteria no está presente en ninguna de las especies
∴ P : La bacteria está ausente en todas las especies
LOGICA MATEMATICA
También podemos decir que es una tautología por que

P ¬P ¬(¬ P) P ↔¬(¬ P)
V F V V
F V F V
Ejemplo 2
P :El acusado es inocente
¬ P: El acusado no es inocente el acusado es culpable
∴ ¬(¬ P−P): El acusado no es culpable
Adjunción:
Esta ley permite que dos proposiciones dadas como premisas donde ambas son
verdaderas se pueda adjuntar por medio del término del enlace y originando como
conclusión una adjunción
Su abreviatura es Ad. Simbólicamente seria
(1) P
(2) Q
(3)P ⋀ Q Ad 1 y 2
Ejemplo 1
P : Andres es Conductor
Q :Jose es profesor
LOGICA MATEMATICA
∴ P ⋀ Q: Andres esconductor y Josees profesor
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:

La secretaría General de la Universidad está preocupada porque el

proveedor de los diplomas manifestó inconvenientes con su impresión,
por ello la secretaría les dio este argumento para que cumplan con la
fecha estipulada “No es cierto que el Rector no pudo dar el discurso o
los diplomas no llegan a tiempo, la fiesta de graduación tendría que
cancelarse. La fiesta de graduación tendría que cancelarse y los
estudiantes se enojarían. Si la fiesta se cancelara, habría que devolver
el dinero. No se devolvió el dinero. Por lo tanto, el Rector pudo dar el
discurso”.
Proposiciones:
P. cumplir con las fechas estipuladas
Q. la fiesta tendrá que cancelarse
R. devolver el dinero
S. el discurso del rector
T. el rector será el responsable.

LOGICA MATEMATICA
{[(p q) ˄ (q (r ν s) ˄ (s t) ˄ (¬r ˄ ¬s)]} ¬p

V V V V V V V V V V V V V V V V V V V
V V V V V V V V F V F V F F V F F V V
V V V V V V F V V V V V V F F F V V V
V V V V V F F F F F F V F F F F F V V
V F F F F V V V V V V V V V V V V V V
V F F F F V V V F V F V F F V F F V V
V F F F F V F V V V V V V F F F V V V
V F F F F V F F F F F V F F F F F V V
F V V V V V V V V V V V V V V V V F F
F V V V V V V V F V F V F F V F F V F
F V V V V V F V V V V V V F F F V V f
F V V V V F F F F F F V F F F F F V F
F V F F F V V V V V V V V V V V V F F
F V F F F V V V F V F V F F V F F V F
F V F F F V V V V V V V V F F F V V F
F V F F F V V F F V F V F V F V F F F
Uso de leyes de inferencia:
Hay contingencia, por lo tanto no se puede demostrar el argumento

mediante reglas de inferencia.
Uso del simulador truth table:

LOGICA MATEMATICA
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:
LOGICA MATEMATICA

((p→ q) Λ (¬r →p) Λ (q Vs))→ (¬q →s)
Lenguaje natural
Si no estudias en la unad tendrás que estudiar en clases presenciales

además si no tienes trabajo para pagarte tus estudios la unad tiene
convenio con el icetex y puedes estudiar o trabajar por lo tanto si no
tienes clases presenciales entonces puedes trabajar.
P: Yo no estudio en la unad
Q: yo tendré que estudiar clases presenciales
¬R: Yo no tengo trabajo para pagar mis estudios
S: yo puedo trabajar
((p→q) Λ (¬r→p) Λ (qVs))→ (¬q→s)
1. leyes de inferencia.
P1: P→Q
P2:¬R→P
P3: QVS
P4:¬Q→S Ley de contraposición contraria de p3
∴=¬Q→S
2. Uso de truth table
LOGICA MATEMATICA
3. Uso de tablas de la verdad

LOGICA MATEMATICA
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
d. Todos los seres humanos sentimos temor a provocar la muerte de

otra persona. Las personas con creencias religiosas tienen esta
prohibición como norma de conducta. Además este temor es compartido
por personas sin religión. Finalmente, este repudio a lastimar a otro,
existe en todo tipo de culturas, en cualquier parte del mundo. Por lo
tanto, esto es un valor que es independiente de la religión, y del
contexto cultural, y al ser compartido por todos los seres humanos, es
un valor Universal.
LOGICA MATEMATICA
El razonamiento es deductivo
Porque estamos comparando premisas universales entre sí, o dos premisas
universales para sacar una conclusión particular.
premisas texto razonamiento
Todos los seres
1 humanos sentimos temor P
a provocar la muerte de
otra persona.
Las personas con
2 creencias religiosas
tienen esta prohibición Q P
como norma de conducta
Además este temor es
compartido por personas
3 sin religión. Finalmente,
este repudio a lastimar a R P
otro, existe en todo tipo
de culturas, en cualquier
parte del mundo
Por lo tanto, esto es un
valor que es
conclusión independiente de la P
religión, y del contexto
cultural, y al ser
compartido por todos los
seres humanos, es un
valor Universal.
LOGICA MATEMATICA
Son verdaderas ya que sus premisas son verdaderas y su conclusión también es

verdadera.
LOGICA MATEMATICA
Conclusiones
 En un sentido general se llama razonamiento lógico al proceso de
realizar una inferencia de una conclusión a partir de un conjunto de
premisas.
 La conclusión puede no ser la consecuencia lógica de las premisas y

aun así dar sentido amplio, no en el sentido de la lógica.
 Los razonamientos pueden ser válidos correctos o no válidos

incorrectos.
 En general, se considera un razonamiento cuando sus premisas ofrecen

soporte suficiente a su conclusión y puede discutirse el significado de
“soporte suficiente” a aunque cuando se trata de un razonamiento no
deductivo no podemos hablar de validez sino de “fortaleza” o “debilidad”
del razonamiento dependiendo de la solidez de las premisas.
 La solución podrá ser más o menos probable pero jamás necesaria, solo
es aplicable en el término válido a razonamientos del tipo deductivo. en
el caso de razonamiento deductivo el razonamiento es “válido” cuando
la verdad de las premisas implica necesaria mente la verdad de la
conclusión.
LOGICA MATEMATICA
Bibliografía
Anónimo (2011). El 3 numero binario adjunción. Colombia. Recuperado de:
http://el3nbinario.blogspot.com.co/2011/03/ley-de-adjuncion.html
Bochenski, I.M. (1968). Historia de la lógica formal, Madrid, Ed. Gredos.
Calles López E. (2016). Modus Tollendo y Modus Ponendo. Honduras. Recuperado de:
http://www.slideshare.net/edin_streets/modus-tollendo-y-modus-ponendo-62402035
Deaño, A. (1980) introducción a la lógica formal. Madrid, Alianza Editorial.
De Lira B,J. (1994). ”Lógica y pensamiento”, en investigación y ciencia. Año 4 de

1994, Aguascalientes, Universidad Autónoma de Aguascalientes.
Gaitán, M.P. (2014). Leyes de inferencia. Cali, Valle. Recuperado de:

http://www.slideshare.net/MariaGaitan2/leyes-de-la-logica-e-inferencias
Guzmán, L.D. (2011). Lógica matemática experiencia 2. Flandes, Tolima.

Recuperado de:
http://es.slideshare.net/luzdaly/logica-matematica-experiencia-2
Plan filosofía. Taller de debates y taller de astronomía. Reglas de inferencia.

Recuperado de: http://planfilosofia.jimdo.com/ Consultado en junio de 2016.
LOGICA MATEMATICA
Rubio, A. (2014). Inferencias Lógicas, Ibagué, Tolima. Recuperado de:

https://docs.google.com/a/unad.edu.co/file/d/0B4iHOdwk51OYSVdjQjNzOVVsLTA/
edit

Trabajo Final Paso 4 LOGICA MATEMATICA

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Trabajo Final Paso 4 LOGICA MATEMATICA

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍAS E INGENIERÍA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

2. Crear estrategias para el desarrollo del trabajo colaborativo, el cual parte

3. Ejercitar hábitos intelectuales más generales, como la capacidad de

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

Socializar en el Foro diseñado para el desarrollo de la actividad la

(Solo selecciona un grupo de los 5 mostrados e informa en el foro cual escogió,

a. Modus Ponendo Ponens, Modus Tollendo Tollens, y Silogismos Hipotético

Modus Ponendo Ponens

El condicional o implicación es aquella operación que establece entre dos

p q “si llueve, entonces las calles se mojan”

q “luego, las calles se mojan”

p q “si tengo dinero entonces compro bicicleta”

Modus Tollendo Tollens

Tollendo tollens significa “negando, niego”, y se refiere a una propiedad inversa de

p q “si llueve, entonces las calles se mojan”

¬q “Las calles no se mojan”

p q “si el gato ve un ratón, entonces se pondra en posición de caza”

¬q “el gato no se puso en posición de caza”

¬p “el gato no vio ningún ratón”

p q “si la bola roja golpea a la bola blanca, la bola blanca se mueve”

q r “si la bola blanca golpea a la bola negra, la bola negra se mueve”

p r “si la bola roja golpea a la bola blanca, la bola negra se mueve”

p q “Si los hombres son caballeros, entonces son respetuosos”

q r “Si son respetuosos, entonces tratan bien a las damas”

Tarea 2: Problemas de aplicación I Solucionar los siguientes enunciados y

 Uso de las tablas de verdad.

 Uso de las reglas de inferencia.

 Uso del simulador Truth Table.

c. La Vicerrectoria Académica, quiere realizar una campaña motivacional para los

p: Juan estudia el fin de semana

q: Juan esta preparado para el lunes

s: llegara seguro a la evaluación

¬p: no estudiara el fin de semana

[(p q ) ˄ (r ¬p) ˄( p ˄ s)] q ˄s

USO DE INFERIENCIA ESTADISTICA

Premisa 5 q modus ponendo ponens 1,4

Presima 7 q ˄ s adjunción 5,6

Tarea 3: Problemas de aplicación II

Expresar los siguientes enunciados en Lenguaje natural relacionada

 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

a. [(𝑝 → 𝑞) ∧ (¬𝑟 → ¬𝑠) ∧ (𝑝 ∧ 𝑠)] → (𝑞 ∧ 𝑠)

premisa 2 (¬𝑟 → ¬𝑠)

Uso de las reglas de inferencia.

premisa 2 (¬𝑟 → ¬𝑠)

Premisa 5 q modus ponendo ponens 1,4

Premisa 7 r modus tollendo tollens 2,6

Presima 8 q ˄ s adjunción 5,6

Tarea 4: Razonamiento Deductivo e Inductivo

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

a. Explica la conclusión a la que llega el personaje, de acuerdo a la caricatura.

El razonamiento que presenta Holmes es INDUCTIVO, ya que deduce de

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

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

También podemos decir que es una tautología por que

∴ P ⋀ Q: Andres esconductor y Josees profesor

Tarea 2: Problemas de aplicación I

 Uso de las tablas de verdad.

La secretaría General de la Universidad está preocupada porque el