Lgica matemtica

Mtodos para probar la Validez de un razonamiento, razonamiento deductivo e inductivo

Pas 4-

Entregado por:

Edward Hernn Flrez Falla

Carlos Alberto vila
FABIAN ANDRES CERQUERA

JUAN MANUEL CORTES

Tutor

Grupo: 90004_197

UNAD: Universidad Abierta y A Distancia.

Ibague Tolima
 INTRODUCCIN

En el siguiente trabajo demostramos el estudio realizado mediante la aplicacin de las reglas de

inferencia lgica las cuales nos permite demostrar la validez de un argumento, apoyndonos en
el uso del simulador truth y las tablas de verdad. Las tipos de razonamiento en la lgica nos
permiten llegar a una conclusin dependiendo del tipo de argumento al que nos enfrentamos, que
en este caso se usar el razonamiento deductivo e inductivo.
 OBJETIVOS

Conocer los mtodos utilizados de leyes de inferencia y razonamientos deductivos e inductivos. Analizar
cada uno de los temas a desarrollar. Identificar cada una de las leyes de inferencia y tipos de
razonamiento. Desarrollar los puntos propuestos siguiendo los enlaces encontrados en el entorno de
conocimiento.
 TABLA DEL TRABAJO COLABORATIVO

TABLA 1:PLAN
TABLA 1:PLAN DE ACCION
Datos Estudiante Fotografa Rol dentro del Ejercicios Ejercicios
Trabajo seleccionados a seleccionados
Colaborativo desarrollar revisar
Identificacin REVISOR Tarea 1:e Tarea 1:e
1109004973
Nombre Tarea 2:e Tarea 2:e
Edward Hernan Florez
Tarea 3:b Tarea 3:b
falla
Cead Ibague Tarea 4:b Tarea 4:b

Identificacin ALERTAS Tarea 1: c Tarea 1: a

1108232359
Nombre Tarea 2: c Tarea 2: a
Fabian andres Tarea 3: c Tarea 3: a
cerquera lozano
CEAD Ibague Tarea 4: c Tarea 4: a
Identificacin EVALUADOR Tarea 1: b Tarea 1: c
1106713910
Tarea 2: d Tarea 2: b
Nombre
CARLOS ALBERTO Tarea 3: a Tarea 3: b
AVILA
Tarea 4: d Tarea 4: b
CEAD IBAGUE
 Actividades a desarrollar

Tarea 1: Conceptualizacin de las reglas de inferencia.

b. Modus Tollendo Ponens, Doble Negacin y Adjuncin

R// Modus Tollendo Ponens

El modus tollendo ponens (latn: "el modo que, al negar, afirma") o silogismo disyuntivo
(tambin conocido como eliminacin de la disyuncin o eliminacin del "o", abreviado
E), es, en lgica clsica, una forma de argumento vlida que contiene una declaracin
disyuntiva en una de sus premisas, y en lgica proposicional, una regla de inferencia
vlida.

El modus tollendo ponens o silogismo disyuntivo establece que, si se nos dice que al
menos una de las dos proposiciones es verdadera; y tambin 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 de " y en las lneas de una
demostracin, se puede colocar " Q" en una lnea posterior.

Un ejemplo de modus tollendo ponens o silogismo disyuntivo es:

O el incumplimiento es una violacin de seguridad, o no est sujeto a multas.

El incumplimiento no es una violacin de seguridad.
Por lo tanto, no est sujeto a multas.

La razn por la que esto le llama silogismo disyuntivo es que, primero, es un silogismo -
un argumento en tres pasos -, y segundo, contiene una disyuncin lgica, que es
simplemente el "o" que conecta ambos trminos. "P o Q" es precisamente una
disyuncin. Esta norma permite eliminar una disyuncin - el "o" - de una demostracin
lgica.
El silogismo disyuntivo est estrechamente relacionado al silogismo hipottico, que es
tambin un tipo de silogismo y una regla de inferencia.

Doble Negacin

Dentro de la Tautologa, se encuentra entonces tambin la Ley de la Doble Negacin, la

cual valindose de la Lgica logra demostrar que si un determinado enunciado es cierto,
la persona no se encuentra entonces ante una declaracin que no es cierta. Con
respecto a la frmula que la Lgica matemtica ha designado a este teorema, esta se
expresa de la siguiente manera:

Ejemplo:

Adjuncin
Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante
la adjuncin, podemos unirlos en una sola premisa utilizando el operador
(conjuncin).
Ejemplo
p Juan es cocinero
q Pedro es polica
___________________________________
p q Juan es cocinero y Pedro es polica

C. Simplificacin, Adicin y Silogismo Disyuntivo

EJEMPLO SIMPLIFICACIN (Regla)
PQ
Conclusin Q

EJEMPLO ADICIN (Regla)

P
Conclusin P Q

EJEMPLO SILOGISMO DISYUNTIVO (Regla)

PQ
P
Conclusin Q
E: Distributiva, Exportacin, y Contraposicin
Distributiva:
Es en la que el resultado de un nmero multiplicado por la suma de dos o ms sumandos, es igual
a la suma de los productos de cada sumando por ese nmero.

( + ) = +

En trminos de lgica.
Permite distribuir la variable lgica de afuera y su operador lgico con las variables lgicas de
dentro y su operador lgico.

( ) = ( ) ( ) ( ) = ( ) ( )

EJEMPLOS:

P= llueve duro en la montaa

Q= El rio se desborda
R= Hay inundaciones

( ) = ( )

P= Hay cantantes en la ciudad

Q= Los cantantes se enferman
R= Hay que llevar los cantantes al hospital
 = ( )

Exportacin:
Es una regla de reemplazo vlida de la lgica proposicional. La regla establece que si P implica
Q entonces P implica P y Q. La regla permite sentencias condicionales que tengan antecedentes
conjuntivos que se sustituyen por declaraciones que tienen consecuentes condicionales y
viceversa en pruebas lgicas.

EJEMPLOS:
P= llueve duro en la montaa
Q= El rio se desborda
R= Hay inundaciones

(( ) ) ( ( ))

P= Hay cantantes en la ciudad

Q= Los cantantes se enferman
R= Hay que llevar los cantantes al hospital

(( ) ) ( ( ))

Contraposicin:
La contraposicin de una proposicin (a) consiste en obtener la conversa de la observa (a) por
consiguiente.
1. Se hace la obversin de (a) y as se obtiene una proposicin (b)
2. Se hace la conversin de (b) y as obtendr una proposicin (c) la cual ser la contrapuesta de
(a).
3. En algunas ocasiones la transformacin se hace por una cambio en la relacin, por ejemplo si
es categrica, se puede transformar en condicional, disyuntiva o viceversa.

Procesos: En el proceso de conversin, En el proceso de obversin y En el proceso de

contraposicin
Primera proposicin: Convertiente, Obvertiente, Contraponente
Segunda proposicin: Conversa, Obversa, Contrapuesta

EJEMPLOS:
A= Hay estudiantes en la ciudad
B= No hay estudiantes en la ciudad
C=Todos los estudiantes no estn en la ciudades
D=Edward es un mal estudiante
E=Carlos no es un mal estudiante
F=Carlos siempre es un buen estudiante

.Tarea 2: Problemas de aplicacin I

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

Uso de las tablas de verdad.

Uso de las reglas de inferencia.
Uso del simulador Truth Table.

C. La Vicerrectora Acadmica, quiere realizar una campaa motivacional para los estudiantes y
que as obtengan mejores calificaciones, por esta razn 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 evaluacin. Por consiguiente Juan est preparado para el lunes
y llega seguro a la evaluacin.

p: Si Juan estudia el fin de semana

q: estar preparado para el lunes
r: Juan se va de paseo
s: llegar seguro a la evaluacin
p: no estudia el fin de semana

Lenguaje simblico:
{[(p q) r] (r p) (p s )} q s
p q r s p (p q) ( r p ) ( p s ) qs [(p q) r] (p q) r] (r p) {[(p q) r] (r p) (p s )} {[(p q) r] (r p) (p s )} q s

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

E: En el colegio, estn realizando actividades para incentivar los buenos hbitos de estudio, as
que nos manifestaron el siguiente argumento, el cual se dio como resultado de una encuesta
realizada a los padres de familia: Si estudio diariamente, tendr tiempo para otras actividades.
Me va bien en los cursos o no tendr tiempo para otras actividades. Si duermo en exceso,
entonces no me va bien en los cursos. Por lo tanto, si estudio diariamente, entonces no duermo en
exceso.

Premisas
1: Si estudio diariamente, tendr tiempo para otras actividades.
2. Me va bien en los cursos o no tendr tiempo para otras actividades.
3. Si duermo en exceso, entonces no me va bien en los cursos.
4. Por lo tanto, si estudio diariamente, entonces no duermo en exceso.
 P= Estudio diariamente

Q= Tendr tiempo para otras actividades Q= Tendr tiempo para otras actividades

R= Me va bien en los cursos R= Me va bien en los cursos

S= duermo en exceso S= duermo en exceso

1: Si estudio diariamente, tendr tiempo para otras actividades.

2. Me va bien en los cursos o no tendr tiempo para otras actividades.
3. Si duermo en exceso, entonces no me va bien en los cursos.
4. Por lo tanto, si estudio diariamente, entonces no duermo en exceso.

1. pq
2. r q
3. s r
4. pvs

[ (pq) (r q) (s r) ] pvs
D.
La secretara General de la Universidad est preocupada porque el proveedor de los
diplomas manifest inconvenientes con su impresin, por ello la secretara 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 graduacin tendra que
cancelarse. La fiesta de graduacin tendra que cancelarse y los estudiantes se
enojaran. Si la fiesta se cancelara, habra que devolver el dinero. No se devolvi el
dinero. Por lo tanto, el Rector pudo dar el discurso.
R//
Las proposiciones simples son:
p = el rector pudo dar el discurso.
q = los diploman llegan a tiempo.
r = cancelar la fiesta de graduacin.
s = enojarse los alumnos.
t = devolver el dinero.
Y las proposiciones compuestas son:
1) (~p v ~q) (r s)
2) r t
3) ~t
C) p
Donde C es la conclusin, se cumple ~t, entonces por tollendo tollens sobre 2) tenemos
~r. Entonces el consecuente de 1) (r s) es falso, luego por tollendo tollens sobre 1) se
cumple ~ (~p v ~q)

Por las leyes de Morgan

~ (~p) ~ (~q)
Por la doble negacin
pq
Por simplificacin
P

Representacin lenguaje simblico:

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

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

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

De acuerdo a los resultados de la tabla de verdad se considera que es una tautologa y

por tanto el razonamiento es verdadero.
Tarea 3: Problemas de aplicacin II

Expresar los siguientes enunciados en Lenguaje natural relacionada con la dinmica de la

Universidad de su rol como estudiante y demostrar la validez del argumento dado a travs de:

Uso de las tablas de verdad.

Uso de las reglas de inferencia.
Uso del simulador Truth Table.

A:

[( ) ( ) ( )] ( )

R//
[(p q) ( r s) (p s)] (q s)
V V V V F V F V V V V V V V V
V V V V F V V F V F F V V F F
V V V F V F F F V V V V V V V
V V V V V V V F V F F V V F F
V F F F F V F F V V V V F F V
V F F F F V V F V F F V F F F
V F F F V F F F V V V V F F V
V F F F V V V F V F F V F F F
F V V V F V F F F F V V V V V
F V V V F V V F F F F V V F F
F V V F V F F F F F V V V V V
F V V V V V V F F F F V V F F
F V F V F V F F F F V V F F V
 F V F V F V V F F F F V F F F
F V F F V F F F F F V V F F V
F V F V V V V F F F F V F F F

Como la columna resultado son todas verdaderas (V) decimos que esta expresin es
una tautologa.
B:
{( ) [( ) ] [( ) ] }

Como no me dedico al estudio entonces no voy a tener un mejor futuro. como quiero tener un
mejor futuro, me voy a preparar para salir adelante entonces me dedicare al estudio. Y como
tendr un mejor futuro, me voy a preparar para salir adelante o me dedico al estudio. Por lo
tanto ser un gran ingeniero entonces tendr un mejor futuro Are todo lo posible para dedicarme
al estudio o ser un gran ingeniero.

1. Como no me dedico al estudio entonces no voy a tener un mejor futuro.

2. como quiero tener un mejor futuro, me voy a preparar para salir adelante entonces me
dedicare al estudio.
3. Y como tendr un mejor futuro, me voy a preparar para salir adelante o me dedico al
estudio.
4. Por lo tanto ser un gran ingeniero entonces tendr un mejor futuro Are todo lo posible
para dedicarme al estudio o ser un gran ingeniero.

1. Como no me dedico al estudio entonces no voy a tener un mejor futuro.

2. como quiero tener un mejor futuro, me voy a preparar para salir adelante entonces me
dedicare al estudio.
3. Y como tendr un mejor futuro, me voy a preparar para salir adelante o me dedico al
estudio.
4. Por lo tanto ser un gran ingeniero entonces tendr un mejor futuro, are todo lo posible
para dedicarme al estudio o ser un gran ingeniero.
 {( ) [( ) ] [( ) ] }

: me dedico al estudio P: voy a tener un mejor futuro

voy a tener un mejor futuro q: me voy a preparar para salir adelante
r: me dedico al estudio
S: ser un gran ingeniero

1. ( )
2. [( ) ]
3. [( ) ]
4.

C: {( ) [ ( )] ( ) ( )}
Johanna es estudiante de Administracin de empresas o casi siempre participa en los foros.
Johanna es estudiante de Administracin de empresas y ocurre que es estudiante de
Administracin de empresas entonces casi siempre participa en los foros entonces el rol que
le gusta escoger es alertas. Si Johanna es estudiante de Administracin de empresas entones
Johanna le gusta la materia de lgica matemtica. Le gusta entregar sus aportes a tiempo y
estudia Administracin de empresas entonces Johanna le gusta la materia de lgica
matemtica y el rol que le gusta escoger es alertas.

p: Johanna es estudiante de Administracin de empresas

q: Siempre participa en los foros
r: Johanna le gusta la materia de lgica matemtica
s: El rol que le gusta escoger es alertas
t: Le gusta entregar sus aportes a tiempo
p q r s t (pq) (qs) (pr) (t p) rs (pq) p [p (qs)] (pr) (t p) {(pq) p [p (qs)] {(pq) p [p (qs)] (pr) {(pq) p [p (qs)] (pr) (t p)} {(pq) p [p (qs)] (pr) (t p)} r s
V V V V V V V V V V V V V V V V V
V V V V F V V V F V V V F V V F V
V V V F V V F V V V V F V F F F V
V V V F F V F V F V V F F F F F V
V V F V V V V F V V V V F V F F V
V V F V F V V F F V V V F V F F V
V V F F V V F F V F V F F F F F V
V V F F F V 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 V V F V V V F V V V F V V F V
V F V F V V V V V V V V V V V V V
V F V F F V V V F V V V F V V F V
V F F V V V V F V V V V F V F F V
V F F V F V V F F V V V F V F F V
V F F F V V V F V F V V F V F F V
V F F F F V V F F F V V F V F F V
F V V V V V V V F V F V F F F F V
F V V V F V V V F V F V F F F F V
F V V F V V F V F V F V F F F F V
F V V F F V F V F V F V F F F F V
F V F V V V V V F V F V F F F F V
F V F V F V V V F V F V F F F F V
F V F F V V F V F F F V F F F F V
F V F F F V F V F F F V F F F F V
F F V V V F V V F V F V F F F F V
F F V V F F V V F V F V F F F F V
F F V F V F V V F V F V F F F F V
F F V F F F V V F V F V F F F F V
F F F V V F V V F V F V F F F F V
F F F V F F V V F V F V F F F F V
F F F F V F V V F F F V F F F F V
F F F F F F V V F F F V F F F F V

p q s r t {(pVq) p [p qs)] (pr) (t p)} r V s

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

Definicin Razonamiento Deductivo:

En el razonamiento deductivo las premisas y la conclusin estn relacionadas de tal modo que es
absolutamente imposible que las premisas sean verdaderas a menos que la conclusin lo sea. Es
decir en el argumento deductivo, la conclusin se sigue de manera inmediata y certera de las
premisas.

Definicin Razonamiento Inductivo:

En el razonamiento inductivo las premisas no son fundamentos definitivos para la verdad de la
conclusin. Estas proporcionan cierto apoyo o respaldo para la conclusin. Es decir en el
argumento inductivo la conclusin se sigue de las premisas de manera probable y puede cambiar
con nuevas afirmaciones. El razonamiento es de tipo inductivo, ya que como se explica en la
definicin, las premisas son un apoyo a la conclusin y no una certeza, adems de que la
conclusin puede cambiar, si se adiciona afirmaciones tales como que el paciente era
cuadripljico de nacimiento, lo cual cambia la conclusin de que tuvo una lesin en la corteza
gracias al accidente. Otro punto es el hecho de que las premisas de manera probable lo cual se
evidencia en el enunciado ya que la conclusin es : as que es muy probable que tenga una
lesin en la corteza parietal.

Teniendo en cuenta el tipo de razonamiento que se presente, ayuda a resolver la siguiente

inquietud a Vctor

B:
En meses distintos Alexis, Jaime y Juan le prestaron dinero a Eduardo y este no les pago, Vctor
no sabe si prestarle la suma de dinero que le solicita Eduardo, decide tener en cuenta el
razonamiento para tomar su decisin, por lo que solicita la ayuda de un experto como t, el cual
le da la siguiente respuesta:

Razonamiento deductivo ya que en las primicias son certeras de hechos reales donde se dice que
las personas que le han prestado dinero a Eduardo el cual no les ha querido pagar y teniendo en
cuenta estas primicias y el tipo de razonamiento puede llegar a la conclusin
C.
Se ha soltado desde la azotea del edificio donde vivo una hoja tamao oficio, otra hoja de papel
hecha bola, un limn y un tomate con un peso de 4 Kg. Mientras tanto un observador en el piso
midi el momento de llegada de los tres objetos. El resultado de la observacin es que la hoja
tamao oficio le afect la resistencia del aire, en tanto que los otros tres objetos llegaron al mismo
tiempo al suelo, independientemente de su peso. Por lo tanto, la gravedad afecta igualmente a todos
los objetos, independientemente de su peso.

RESPUESTA: Razonamiento deductivo, porque parte de hechos reales y va de lo general a lo

particular.

D.
Todos los seres humanos sentimos temor a provocar la muerte de otra persona. Las personas con
creencias religiosas tienen esta prohibicin como norma de conducta. Adems este temor es
compartido por personas sin religin. 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
religin, y del contexto cultural, y al ser compartido por todos los seres humanos, es un valor
Universal.

R// Este ejercicio tiene un razonamiento deductivo pues este es aquel que compara premisas
universales entre s, o dos premisas universales para sacar una conclusin particular.
 CONCLUSIONES

Al concluir el desarrollo de este trabajo acadmico hemos aprendido y aplicado las distintas reglas de
inferencia que se han propuesto para desarrollarlas en las distintas tareas que se nos han presentado.
Los tipos de razonamiento deductivo e inductivo que hemos utilizado para la comprensin y anlisis de
distintas situaciones mostradas en los trabajos a desarrollar colaborativamente y individualmente.
 REFERENCIAS BIBLIOGRFICAS

Arredondo, C. J., & Escobar, V. G. (2015). Lgica: temas bsicos. Distrito

Federal, MXICO: Grupo Editorial Patria. Pginas 80- 84 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=91&docID
=11230887&tm=1496180214861

Villalpando, B. J. F. (2014). Matemticas discretas: aplicaciones y ejercicios. : Larousse -

Grupo Editorial Patria. Pginas 19 - 29. Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=30&docID=1101
3570&tm=1492518308189
Razonamientos deductivos e inductivos Razonamientos deductivos e inductivos - Monografias.com

http://www.monografias.com/trabajos-pdf5/razonamientos-deductivos-e-
inductivos/razonamientos-deductivos-e-inductivos.shtml
Gonzles, T. L., & Saavedra, M. (2009). Aciertos matemticos 11: serie para la
educacin media. Bogot, CO: Educar Editores S.A. Pginas 13 -19 Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=14&docID=1034
5286&tm=1492518671601
Gutirrez, W. (2016). Validez de un argumento. [Archivo de video].
Recuperado de http://hdl.handle.net/10596/6543