TRABAJO COLABORATIVO 2

LOGICA MATEMATICA

INTEGRANTES:

GRUPO:
90004_380

PRESENTADO AL TUTOR:
WILMER HERNAN GUTIERREZ

UNIVIERSIDAD NACIONAL ABIERTA Y A DISTANCIA

MAYO DE 2016
 INTRODUCCIN

En el desarrollo de esta actividad colaborativa se analizarn diferentes casos propuestos por el

tutor en los temas de leyes de inferencia lgica, mediante el desarrollo de ejemplos prcticos, la
participacin de los estudiantes es completamente relevantes para el desarrollo ptimo de todos
los puntos de la actividad.
 OBEJTIVOS
Desarrollar la actividad siguiendo los lineamientos establecidos por el tutor
Comprender los conceptos especficos de las leyes de inferencia lgica
Comprender el concepto y dar correcto planteamiento a los ejercicios establecido
mediante el uso de tablas de la verdad
 DESARROLLO DE ACTIVIDAD COLABORATIVA 2
LEYES DE INFERENCIA LOGICA
Tarea 1: Aplicacin de las leyes de inferencia
Ley
Modus ponendo ponens
Modus tollendo tollens
Silogismo hipottico
Conceptualizacin
Esta regla es el mtodo
(modus), que afirma (ponens)
el consecuente, afirmando
(ponendo) el antecedente.
Esta ley se ve aplicada en la
deduccin de conclusiones a
partir de premisas
Se aplica tambin a las
proposiciones condicionales,
pero en este caso negando
(tollendo) el consecuente, se
puede negar (tollens) el
antecedente de la
condicional.
la regla modus tollendo
tollens permite pasar de dos
premisas: (a) una proposicin
condicional, y (b) una
proposicin que niega el
consecuente, a una
conclusin que niega el
antecedente.
Abreviatura del modus
Tollendo Tollens (TT)
Esta regla de inferencia
plantea un caso hipottico,
por lo cual puede tener
trminos validos o no. En la
Ejemplo
Premisa 1: si no hace frio,
entonces el lago no se helar.
Premisa 2: no hace frio.
Conclusin: el lago no se
helar.
En este ejemplo la regla
modus ponendo ponens
permite pasar de dos premisas
a la conclusin; decir que la
conclusin consecuencia
lgica de las premisas, es
decir, que siempre que las
premisas son ciertas, la
conclusin es tambin cierta.
Esta regla dice que si se tiene
dos proposiciones de la forma
PQ y P, se puede deducir la
conclusin Q.
Premisa 1: si tiene luz propia,
entonces el astro es una
estrella.
Premisa 2: el astro no es una
estrella.
Conclusin: por tanto, no
tiene luz propia.
El ejemplo se simboliza de la
siguiente manera:
sea
P= tiene luz propia
Q= el astro es una estrella
PQ
Q
P
premisa 1: si hace calor,
entonces juana va a nadar.
 lgica proposicional un
silogismo hipottico puede
expresar una regla de
inferencia, mientras que en la
historia de la lgica los
silogismos hipotticos han
sido una antelacin de la
teora de las consecuencias.
El silogismo hipottico se
compone de dos premisas
condicionales; la primera es
una condicional y la segunda
tiene como antecedente al
consecuente de la primera
premisa y la conclusin se
forma con el antecedente de
la segunda premisa
Abreviatura de silogismo
hipottico (SH)
Primera premisa: PQ
segunda premisa: QR
conclusin: PR
Modus Tollendo Ponens el silogismo disyuntivo que
en latn significa Modo que
negando afirma, explica que
cuando se tiene que elegir
entre dos alternativas y se
descarta alguna de ellas, toca
quedarse con la otra.
Doble negacin Afirma que negar dos veces
una proposicin es
lgicamente equivalente a la
Premisa 2: si juana va a
nadar, entonces arregla la
casa despus de comer.
Conclusin: si hace calor,
entonces arregla la casa
despus de comer.
Para simbolizar el
razonamiento ser:
D hace calor
S Juana va a nadar
H arregla la casa despus de
comer
Entonces: D S
SH
DH (Conclusion)
Premisa 1: Si amanece
lloviendo, Oscar debe viajar
en bus
Premisa 2: Si Oscar viaja en
bus, llega tarde al trabajo
De esta afirmacin se puede
concluir que:
Si amanece lloviendo,
entonces Oscar llega tarde al
trabajo.
Simbolizando el
razonamiento:
A. Amanece
lloviendo
B. Oscar debe viajar
en bus
C. Llega tarde al
trabajo
Concluyendo:
- No es cierto que
no vaya a llover ->
va a llover
 misma proposicin. A = - No es verdad que
no(no A) no voy a ir -> voy
a ir
- p: el piso est seco
~p: el piso est
mojado
~(~p): el piso no
est mojado
p = ~(~p) -> el piso est seco
= el piso no est mojado
Adjuncin Establece que si poseemos - p: Marcela es
dos premisas separadas modista
podemos unirlas en una sola q: David es
premisa utilizando el constructor
operador de la adjuncin () pq: Marcela es
modista y David
es constructor
- p: Tengo una
moto
q: Tengo un casco

Simplificacin Regla que se aplica a Ejemplo de web conference:

proposiciones unidas con
"&. como ambas premisas
son ciertas por tanto la
conclusin tambin lo ser es .: p
por ello que esta regla nos
permite pasar de una
conjuncin a cada una de las
proposiciones.
Dos premisas unidad por
conjuncin
solo queremos que ocurra una
de las dos
El sol brilla y la humedad no
es alta
p^q p^q
.: q
Desarrollo de otras premisas:
El agua hierve y la
olla no est a
temperatura ambiente.
saqu buena nota y no
voy a perder.
La llanta se pinch y
no puedo conducir el
auto.
La comida est
caliente y no quiero
quemarme.
Estoy jugando futbol
y no puedo jugar
ajedrez.

Adicion Esta ley expresa el hecho que Ejemplo de web conference:

si tiene una proposicin que El sol brilla
es cierta, entonces la y queremos agregar el
disyuncin de aquella luego...
proposicin y otra cualquiera el sol brilla (O la humedad no
ha de ser tambin cierta. es alta)
 agregar una proposicin a Desarrollo de otras premisas:
una indicada a He comprado
p celular"
------- "Hoy fui al colegio"
... p v q "vi televisin en la
noche"
"Escuch radio en la
tarde"
"Escuch radio"
___________________
a v b He comprado celular
o he comprado Tablet
"Hoy fui al colegio o
fui clase de piano"
"vi television en la
noche o lei un libro"
"Escuch radio o
jugu ftbol"
"cocin en la noche o
fui de viaje"

Silogismo disyuntivo En el silogismo disyuntivo, la Ejemplo de web conference:

premisa mayor es una Es enero o es febrero
proposicin disyuntiva. La p: es enero
premisa menor o afirma o q: es febrero
niega una de las dos si no es enero o es febrero
alternativas expuestas en la si no ocurre uno ocurre otro
proposicin disyuntiva. dos casos que no ocurra p o q
pvq pvq
p q
...q ...p
Desarrollo de otras premisas:
Est lloviendo o est
soleado.
Es noviembre o es
diciembre.
Me compran una
mascota o me
compran una bici.
desayuno o almuerzo.
monto bici o voy en moto.
Tarea 2: problemas de aplicacin parte 1
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 leyes de Inferencia.

a. Estudiar en la modalidad a Distancia en la UNAD es una metodologa educativa que

realmente forma profesionales competentes, pues se debe ser muy disciplinado con los
hbitos de estudio adquiridos para cumplir con las actividades acadmicas, pero con la
ventaja de que al usar las tecnologas facilita la comunicacin entre los diferentes
protagonistas del proceso de formacin acadmico. Carolina se ha esforzado por
mantener un slido hbito de estudio, pero hay momentos en que el cansancio la vence,
el siguiente relato es algo que le ocurri un da: Si me mandas la gua de actividades por
mensajera interna del curso, entonces terminar de realizar las demostraciones. Si no me
mandas la gua de actividades por mensajera interna, me ir a la cama temprano. Y si
me voy a la cama temprano, me levantar descansada. Por lo tanto, si no acabo de
realizar las demostraciones, me levantar descansada. (Gmez, 2015).

Leyes de Inferencia
P: Si me mandas la gua de actividades por mensajera interna del curso.
Q: entonces terminar de realizar las demostraciones.
R: Me ir a la cama temprano.
S: Me levantare descansada.
proposicin en lenguaje simblico:

[(p -> q) ^ (p -> r) ^ (r -> s)]

q -> s.
Tabla de la verdad (tautalogia)
( P Q ) ( p R ) ( R S ) ( Q S )
V V V V F V V V V V V V V F V V V
V V V V F V V V F V F F V F V V F
V V F V F V V F V F V V V F V V V
V V F V F V V F V F V F V F V V F
V F V F F V V V F V V V V V F V V
V F V F F V V V F V F F V V F F F
V F F F F V V F F F V V V V F V V
V F F F F V V F F F V F V V F F F
F V V V V F V V V V V V V F V V V
F V V V V F V V V V V F V F V V F

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

b. Johanna est planteando una situacin problemtica para su ensayo del curso de
Matemticas financiera de la UNAD, para lo cual hace la siguiente cita bibliogrfica:
Si hay una situacin de crisis econmica, el ndice de natalidad disminuye. Si avanza
la medicina, las expectativas de vida sern mayores. Si el ndice de natalidad disminuye
y las expectativas de vida se hacen mayores, entonces la sociedad ir envejeciendo
rpidamente. La crisis econmica es un hecho y los avances en la medicina son
constantes. Luego, la sociedad envejecer con rapidez. (Gmez, 2015).

Leyes de Inferencia

P Si hay una situacin de crisis econmica, el ndice de natalidad disminuye Q Si

avanza la medicina, las expectativas de vida sern mayores

R ndice de natalidad disminuye y las expectativas de vida se hacen mayores S Luego,

la sociedad envejecer con rapidez

Tabla de la verdad (tautalogia)

( P Q ) ( R r ) Q S ) T ( p R ) t
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 V V F F F V V v V F
V V V F V F F F V F F V V F V V V V V
V V V F V F F F V F F V F F V V V V F
V V V V F V V V V V V V V F V F F V V
V V V V F V V F V V V F F F V F F V F
V V V V F V F V V F F V V F V F F V V
V V V V F V F V V F F V F F V F F V F
V F F F V V V F F F V V V F V V V V V
V F F F V V V F F F V V F F V V V V F
V F F F V F F F F F F V V F V V V V V
V F F F V F F F F F F V F F V V V V F
V F F F F V V F F F V V V F V F F V V
V F F F F V V F F F V V F F V F F V F
V F F F F V F F F F F V V F V F F V V
V F F F F V F F F F F V F F V F F V F
F V V V V V V V V V V V V F F F V V V
F V V V V V V F V V V F F F F F V V F
F V V F V F F F V F F V V F F F V V V
F V V F V F F F V F F V F F F F V V F
F V V V F V V V V V V V V F F F F V V
F V V V F V V V V V V F F F F F F V F
F V V V F V F V V F F V V F F F F V V
F V V V F V F V V F F V F F F F F V F
F V F V V V V V F F V V V F F F V V V
F V F V V V V V F F V V F F F F V V F
F V F F V F F F F F F V V F F F V V V
F V F F V F F F F F F V F F F F V V F
F V F V F V V V F F V V V F F F F V V
F V F V F V V V F F V V F F F F F V F
F V F V F V F V F F F V V F F F F V V
F V F V F V F V F F F V F F F F F V F
Tarea 3: problemas de aplicacin parte 2
a) Estudiar en la modalidad a Distancia en la UNAD es una metodologa educativa que
realmente forma profesionales competentes, pues se debe ser muy disciplinado con los
hbitos de estudio adquiridos para cumplir con las actividades acadmicas, pero con la
ventaja de que al usar las tecnologas facilita la comunicacin entre los diferentes
protagonistas del proceso de formacin acadmico. Carolina se ha esforzado por mantener
un slido hbito de estudio, pero hay momentos en que el cansancio la vence, el siguiente
relato es algo que le ocurri un da: Si me mandas la gua de actividades por mensajera
interna del curso, entonces terminar de realizar las demostraciones. Si no me mandas la
gua de actividades por mensajera interna, me ir a la cama temprano. Y si me voy a la
cama temprano, me levantar descansada. Por lo tanto, si no acabo de realizar las
demostraciones, me levantar descansada. (Gmez, 2015).
P= si me mandas la gua de actividades por mensajera interna
F= terminare de realizar las demostraciones
Q= me ir a la cama temprano
T= me levantare descansada
[[(pf)^(pq)^(qt)](fr)

Negacin de la preposicin

Si no me mandas la gua de actividades por mensajera interna entonces no terminare de

realizar las demostraciones. Si me mandas la gua de actividades por mensajera interna
me ire a la cama tarde y si me voy a la cama tarde me levantare cansada

Por lo tanto si acabo de realizar las demostraciones me levantare cansada.

[[(pf)^(pq)^( qt)](fr)

Al negar las preposiciones del argumento no se concluye un absurdo por tanto el

argumento no tiene valides.

Uso del simulador Truth Table

b) Johanna est planteando una situacin problemtica para su ensayo del curso de Matemticas
financiera de la UNAD, para lo cual hace la siguiente cita bibliogrfica: Si hay una situacin de
crisis econmica, el ndice de natalidad disminuye. Si avanza la medicina, las expectativas de
vida sern mayores. Si el ndice de natalidad disminuye y las expectativas de vida se hacen
mayores, entonces la sociedad ir envejeciendo rpidamente. La crisis econmica es un hecho y
los avances en la medicina son constantes. Luego, la sociedad envejecer con rapidez. (Gmez,
2015).

P= si hay una crisis de situacin econmica

Q= el ndice de natalidad disminuye
R= Si avanza la medicina
T= Las expectativas de vida sern mayores
S= la sociedad ira envejeciendo rpidamente

[[(pq) ^ (rt)^(q^t)]s)]^(p^r)s
Si no hay una crisis econmica, el ndice de natalidad aumenta, si la medicina no avanza, las
expectativas de vida sern menores. Si el ndice de natalidad aumenta y las expectativas se hacen
menores entonces la sociedad no ira envejeciendo rpidamente.

La crisis econmica no es un hecho y los avances en la medicina no son constantes, luego la

sociedad no envejecer con rapidez

[[(pq) ^ (rt)^( q^t)]s)]^( p^r) s

Al negar las preposiciones del argumento se concluye que es un absurdo por tanto el argumento
es verdadero.
Uso del simulador Truth Table
 Tarea 4: Creatividad en la proposicin de situaciones de la vida cotidiana.

En un letrero de la UNAD, se presenta el siguiente argumento en lenguaje simblico.

((pq)(rp)(qVs))(qs)

El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de tal forma que
la informacin o el mensaje que deseen expresar tenga sentido lgico (Es decir deben hacer lo
contrario de la tarea 2 y 3, ya que las anteriores tareas, se presentaban en lenguaje natural y el
propsito es convertirlo en lenguaje simblico).

Finalmente, deben demostrar que el anterior argumento es vlido a travs de:

Uso de las tablas de verdad.

Uso de las leyes de inferencia.
Uso del mtodo de reduccin al absurdo.
Uso del simulador Truth Table.

Leyes de inferencia
(( )(r p)(qs)) (q s)
Premisas:
p: El tutor viene al aula
q: Hacer el examen
r: Est enfermo
s: dictar clase

Si el tutor viene al aula, entonces hace el examen y si no est enfermo, el tutor viene al aula y
hace el examen o dicta clase. Por lo tanto, si no hace el examen, entonces dicta clase.
Uso del simulador Truth Table
 CONCLSUIONES
Aunque desde un principio identificamos cierto nivel de complejidad en los ejercicios propuestos
en cada una de las tareas asignadas, gracias a la disciplina y compromiso de cada uno de los
integrantes del curso dividimos la actividad y cada uno se encarg de realizar su punto
respectivo; durante el desarrollo de cada una de las tareas analizamos y pudimos abordar de la
mejor manera la complejidad de cada uno de estos ejercicios gracias a las diferentes ayudas por
parte del tutor y ayudas didcticas en la red, concluyendo que la lgica matemtica no solo hace
parte de una enseanza para la vida profesional o acadmica sino que hace parte del diario vivir.
 BIBLIOGRAFIA

Ley del silogismo, Katherine cruz, noviembre 2012

https://prezi.com/7nw5pnfxvvv8/ley-del-silogismo-hipotetico/
http://www.dfisica.ugto.mx/~msabido/logica/2_a.pdf
Scribd. (2016). EJERCICIOS LOGICA 4. [online] Disponible en:
https://es.scribd.com/doc/3203753/EJERCICIOS-LOGICA-4 [Accedido 23 Abril. 2016].
Tolendo-ponens-459.blogspot.com.co. (2016). Tollendo Ponens: TOLLENDO PONENS. [online]
Disponible en: http://tolendo-ponens-459.blogspot.com.co/p/tollendo-ponens_27.html [Accedido
23 Apr. 2016].
Sites.google.com. (2016). Modus Tollendo Ponens [MTP] o silogismo disyuntivo - seranhelo.
[online] Disponible en: https://sites.google.com/site/seranhelo/cursos/logica/guias/reglas-
derivadas/modus-tollendo-ponens [Accedido 23 Apr. 2016].
Es.wikipedia.org. (2016). Doble negacin. [online] Disponible en:
https://es.wikipedia.org/wiki/Doble_negaci%C3%B3n [Accedido 23 Apr. 2016].
Escuela2punto0.educarex.es. (2016). :::> Aprende Lgica. [online] Disponible en:
http://escuela2punto0.educarex.es/Humanidades/Etica_Filosofia_Ciudadania/Aprende_logica/log
ica/03tablasvdad/021dobleneg.html [Accedido 23 Apr. 2016].
Datateca.unad.edu.co. (2016). Leccin 8: Tautologa trivial y Doble Negacin. [online]
Disponible en:
http://datateca.unad.edu.co/contenidos/551105/Modulo_exe_2013/leccin_8_tautologa_trivial_y_
doble_negacin.html [Accedido 23 Apr. 2016].
LGICA, L. (2011). LAS LGICAS: LEYES DE INFERENCIA LGICA. [online]
Laslogicass.blogspot.com.co. Disponible en: http://laslogicass.blogspot.com.co/2011/03/modus-
ponendo-ponens-pp-p-q-p-q-modus.html [Accedido 23 Apr. 2016].
INFERENCIA, R. (2016). Lgica Matemtica: REGLAS DE INFERENCIA. [online]
Lgicaepn.blogspot.com.co. Disponible en: http://lgicaepn.blogspot.com.co/2011/12/reglas-de-
inferencia.html [Accessed 23 Apr. 2016].
Tipos de Silogismos
http://www.mentesenblanco-razonamientoabstracto.com/silogismos-tipos.html
Leyes de Inferencia Lgica
http://laslogicass.blogspot.com.co/2011/03/modus-ponendo-ponens-pp-p-q-p-q-modus.html