You are on page 1of 38

TRABAJO COLABORATIVO PASO 4

PRESENTADO POR:

MARTIN EDUARDO SANCHEZ

COD: 79.342.317

RONAL EDUARDO PINTO

COD: 80.803.810

CRISTIAN RODRIGUEZ

COD: 1.024.576.495

FABIAN RINCON

COD: 1.032.360.962

PRESENTADO A:

LUZMILA ROJAS

TUTORA CURSO

UNAD- UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CURSO ACADEMICO LOGICA MATEMATICA

BOGOTA D.C. MAYO 2017


CONTENIDO

INTRODUCCION
OBJETIVOS
PANTALLAZO DEL DILIGENCIAMIENTO COMPLETO TABLA 1
DESARROLLO DE LAS 4 TAREAS.
CONCLUSIONES
REFERENCIAS BIBLIOGRAFICAS
INTRODUCCION

Con el fin de lograr la ptima comprensin de las temticas relacionadas con la unidad 2
razonamientos lgicos es necesario realizar una adecuada revisin de las temticas
propuestas con el fin de cumplir con los objetivos establecidos para el presente trabajo
colaborativo.

En este trabajo colaborativo queremos exponer la solucin a las tareas propuestas en la gua
de actividades a travs de la interaccin y aportes enviados por cada integrante del grupo
colaborativo.
OBJETIVOS

Realizar una previa revisin de los contenidos de la unidad 2 del curso acadmico
lgica matemtica.
Gestionar la interaccin en grupo colaborativo con el fin de realizar las tareas
indicadas en la gua de actividades.
Aplicar los conceptos propuestos en la temtica de razonamientos lgicos en el
desarrollo del trabajo colaborativo.
PANTALLAZO DEL DILIGENCIAMIENTO COMPLETO TABLA 1

TABLA 1:PLAN DE ACCION - GRUPO 9004_657


Datos Estudiante Fotografa Rol dentro del Ejercicios Ejercicios
Trabajo seleccionado seleccionados
Colaborativo sa revisar
desarrollar
Identificacin: Cod Revisor Tarea 1: A Tarea 1:E
79.342.317
Tarea 2: A Tarea 2: E
Nombre:
Martin Eduardo Snchez Tarea 3: A Tarea 3: E
CEAD/CCAV/CERES/UDR Tarea 4: A Tarea 4: E
CEAD Jos Acevedo y Gmez
Identificacin Cod: Utilero Tarea 1:D Tarea 1:C
80.803.810
Tarea 2:D Tarea 2:C
Nombre: Ronal Eduardo
Pinto Tarea 3:D Tarea 3:C
CEAD/CCAV/CERES/UDR
Tarea 4:D Tarea 4:C
Identificacin: Cod: Revisor Tarea 1:C Tarea 1:D
1024576495
Tarea 2:C Tarea 2:D
Nombre: Cristian Rodrguez
CEAD/CCAV/CERES/UDR Tarea 3:C Tarea 3:D
Tarea 4:C Tarea 4:D
Identificacin Cod: Tarea 1:E Tarea 1:
1032360962
Tarea 2:E Tarea 2:
Nombre: Fabin Rincn
CEAD/CCAV/CERES/UDR Tarea 3:E Tarea 3:
Tarea 4:E Tarea 4:
Identificacin Tarea 1: Tarea 1:
Nombre
Tarea 2: Tarea 2:
CEAD/CCAV/CERES/UDR
Tarea 3: Tarea 3:
Tarea 4: Tarea 4:
Tarea 1: Aplicacin de las reglas de inferencia.
Socializar en el Foro diseado para el desarrollo de la actividad la conceptualizacin y dos
ejemplos especficos (En caso de ser extrado por alguna fuente bibliogrfica, se debe citar
correctamente empleando normas APA) de un grupo de las Reglas de Inferencia Lgica.
(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 Hipottico

MODUS PONENDO PONENS

[( p q ) p ] q

Esta regla de inferencia se interpreta como Modo Afimando Afirmando donde se lee de la
siguiente forma:

p q Si p entonces q

p y p (y se da p y ocurre q)

q Entonces q (en conclusin q)

De acuerdo a esto, se lee Si p entonces q y se ocurre p, luego ocurre p.

Ejemplos extrados del Modulo de Lgica Matemtica UNAD, Pagina 96.

Referencia Bibliogrfica

ACEVEDO G. G. , (2008) Capitulo 4 Deduccin. Modulo Lgica Matemtica UNAD ( Pag


92-96). Bogota

Ejemplo 1:
[( p q ) p ] q
- Premisa 1: Si Julin estudia Ingeniera de sistemas a distancia, entonces l estudia
en la UNAD.
- Premisa 2: Julin estudia Ingeniera de sistemas a distancia.
- Conclusin: Julin estudia en la UNAD.

Simblicamente el ejemplo 1 se expresa as:

Si p: Si Julin estudia Ingeniera de sistemas a distancia,

q: l estudia en la UNAD.

Se utiliza el lenguaje simblico definido as:

Premisa 1: p q

Premisa 2: p

Conclusin: q

Ejemplo 2:

Premisa 1: Si x + y = z entonces y + x = z

Premisa 2: x + y = z

Conclusin: y + x = z

Simblicamente: Si p: x + y = z

q: y + x = z

Entonces: Premisa 1 : p q
Premisa 2: p

Conclusin: q

MODUS TOLLENDO TOLLENS

[ ( p q ) q] p

Esta regla de inferencia indica que si una implicacin es verdadera y su consecuente es


falso, entonces su antecedente ser falso donde se lee de la siguiente forma:

p q Si p entonces q

q y no q (y no se da q y ocurre p)

p Entonces no p (en conclusin no p)

De acuerdo a esto, se lee Si p entonces q y no se ocurre q, luego no ocurre p.

Ejemplos extrados del Modulo de Lgica Matemtica UNAD, Pagina 97.

Referencia Bibliogrfica

ACEVEDO G. G. , (2008) Capitulo 4 Deduccin. Modulo Lgica Matemtica UNAD ( Pag


97). Bogota

Ejemplo 1: Deducir una conclusin del siguiente conjunto de premisas


Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros

dos ngulos es menor de 90.

Premisa 2: La suma de los otros dos ngulos no es menor de 90.

Conclusin: Un ngulo de un tringulo no es mayor de 90.

Simblicamente:

p: Un ngulo de un tringulo es mayor de 90

q: La suma de los otros dos ngulos es menor de 90.

Premisa 1: p q

Premisa 2: q

Conclusin: p

Ejemplo 2: Deducir una conclusin del siguiente conjunto de premisas.

Premisa 1: q r

Premisa 2: ( r)

Conclusin: q

SILOGISMO HIPOTTICO

[ ( p q ) ( q r ) ] ( p r )
Esta inferencia se expresa de la siguiente forma:

p q Si p entonces q

qr Si q entonces r

p r de donde si p entonces r

Ejemplos extrados del Modulo de Lgica Matemtica UNAD, Pagina 99.

Referencia Bibliogrfica

ACEVEDO G. G. , (2008) Capitulo 4 Deduccin. Modulo Lgica Matemtica UNAD ( Pag


99). Bogota

Ejemplo 1:

Premisa 1: Si el agua se hiela, entonces sus molculas forman cristales.

Premisa 2: Si las molculas forman cristales, entonces el agua aumenta de volumen.

Conclusin: Si el agua se hiela, entonces el agua aumenta de volumen.

Simblicamente:

p: El agua se hiela

q: Sus molculas forman cristales

r: El agua aumenta de volumen

Premisa 1: p q
Premisa 2: q r

Conclusin: p r

Ejemplo 2:

Premisa 1 : p q

C. Simplificacin, Adicin y Silogismo Disyuntivo

LEY DE Y SIMPLIFICACIN.

Simplificacin (S): obviamente, es la operacin inversa. Si disponemos de un enunciado


formado por dos miembros unidos por una conjuncin, podemos hacer de los dos miembros
dos enunciados afirmados por separado

AB
A

Ejemplo1:

P: tengo un perro

Q: tengo un gato

P Q: tengo un perro y tengo un gato


P: tengo un perro

Ejemplo 2:

P: est lloviendo

Q: est haciendo frio


P Q: est lloviendo y est haciendo frio Q: est
haciendo frio

Ley de adicin:

Dado un enunciado cualquiera, es posible expresarlo como una eleccin (disyuncin)


acompaado por cualquier otro enunciado.

AVB

EJEMPLO 1:

P: tengo casa

Q: tengo carro

P: tengo casa
PVQ: tengo casa o tengo carro

EJEMPLO 2:

P: esta lloviendo

Q: esta haciendo frio

P: esta lloviendo

PVQ: est lloviendo o est haciendo frio.

Silogismo disyuntivo

Dadas tres premisas, dos de ellas implicaciones, y la tercera una disyuncin cuyos
miembros sean los antecedentes de los condicionales, podemos concluir en una nueva
premisa en forma de disyuncin, cuyos miembros seran los consecuentes de las dos
implicaciones. Lgicamente, si planteamos una eleccin entre dos causas, podemos
plantear una eleccin igualmente entre sus dos posibles efectos, que es el sentido de esta
regla.

AVB

A>C

B>D

CVD

EJEMPLO:

P: si llueve

Q: se inunda la ciudad

R: si nieva

S: se congelan los perros

P>Q: si llueve entonces se inunda la ciudad

R>S: si nieva entonces se congelan los perros

PVR: si llueve o si nieva

QVS: se inunda la ciudad o se congelan los perros.


EJEMPLO 2:

P: si como picante

Q: me duele el estomago

R: si como helado

S: me da gastritis

P>Q: si como picante entonces me duele el estomago

R>S: si como helado entonces me da gastritis

PVR: si como picante o si como helado

QVS: me duele el estomago o me da gastritis

D. Simplificacin Disyuntiva, Absorcin y Ley de Morgan

Simplificacin disyuntiva: Nos permite pasar de dos premisas a la conclusin, esta regla se
aplica siempre que se d una proposicin condicional y se d precisamente el consecuente.
La misma regla se aplica tanto si el antecedente y consecuente es una proposicin atmica
como molecular. Es prcticamente el Modus Ponendo Ponens

Simblicamente:

Ejemplo
Absorcin:

Absorcin es una forma lgica de argumento vlido y una regla de inferencia de la


lgica proposicional.1 2 La regla establece que se P implica Q, entonces P implica P y
Q. La regla hace posible introducir conjunciones en pruebas. Esto se llama ley de
absorcin ya que el trmino Q es "absorbido" por el trmino P en la consecuencia.3
Formalmente:

Leyes De Morgan. Estas leyes nos sirven para cuando tengo la negacin de una
conjuncin o de una disyuncin y se estable una equivalencia entre ellas

E. Distributiva, Exportacin, y Contraposicin.

Distributiva:
Se aplica a la operacin matemtica que, efectuada sobre el resultado de una segunda opera
cincon dos elementos, da el mismo resultado que otra que consiste en hacer dos operacion
es parciales.

Ejemplo:

Exportacion:
Cambio de conectivo de conjuncin a condicional cuando el antecedente es una conjuncin,
y los agrupa de diferente manera al dejar el primer conjunto como antecedente de toda la
preposicin y pasar el segundo conjunto al consecuente de la proposicin como parte
condicional.

Ejemplo:

Si corro entonces, tengo velocidad luego avanzo; es lgicamente equivalente a: si corro y


tengo velocidad, entonces avanzo.

Si me enamoro entonces, amo luego e produce felicidad; es lgicamente equivalente a: si


me enamoro y amo, me producir felicidad.

Contraposicin:

ley que dice que, para cada sentencia condicional, hay una equivalencia lgica entre la
misma y su contraposicin. En la contraposicin de una sentencia, el antecedente y
consecuente son invertidos y negados

Ejemplo:

La proposicin "Todos los murcilagos son mamferos" puede ser reescrita en su forma
condicional "Si algo es murcilago, entonces es mamfero." Por ltimo, la ley dice que la
sentencia es idntica a su contrapositiva "Si algo no es mamfero, entonces no es
murcilago."

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.


A. El programa Ser Pilo Paga est dirigido a los mejores bachilleres del pas, con
menores recursos econmicos para que accedan a Instituciones de Educacin
Superior acreditadas en alta calidad. El secretario de educacin en determinado
municipio ha informado al alcalde como fue la premiacin, 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 acadmicos en la universidad que desee y
el tercer lugar recibir un porttil ltima generacin; 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%.

Solucin

p: Gabriela gano la beca del 100%

q: Juan recibi la beca del 50 %

r: Daniela recibi la beca del 50 %

s: Pedro gano la beca del 50 %

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

-Uso de las tablas de verdad

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

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

-Uso de las reglas de inferencia

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

No aplica realizar reglas de inferencia por que es una contingencia , por lo que el
argumento es NO VALIDO.

-Uso del simulador Truth Table.


C. El consejo directivo de una Universidad, preocupado por el nmero de estudiantes sin
matricular, realiza un anlisis de este fenmeno y encuentra la siguiente situacin. Si se
suben las matrculas, habr retiros masivos. Si hay retiros masivos, entonces el rector debe
replantear el aumento en las matrculas o la universidad se cerrar. Si la universidad se
cierra, el rector ser el responsable. El rector no replantear el aumento en las matrculas y
el rector no ser despedido. En consecuencia, no subirn las matrculas.

Preposiciones

p: Si se suben las matrculas.

q: Habr retiros masivos.

r: El rector debe replantear el aumento en las matrculas.

s: La Universidad cerrara.

t: El rector ser el responsable.

u : El rector ser despedido


{[ ( p q ) [q ( r s )] ] [ ( s t ) ( r u)] }

~ ~ ~ (pq [q(rs (st (~r~u {[(pq)[q(rs)]][(st)(~r {[(pq)[q(rs)]][(st)(~r


P Q R S T U R U P ) )] ) ) ~u) ] } ~u) ] }~p
V V V V V V F F F V V V V F F F V
V V V V V F F V F V V V V F F F V
V V V V F V F F F V V V F F F F V
V V V V F F F V F V V V F F F F V
V V V F V V F F F V V V V F F F V
V V V F V F F V F V V V V F F F V
V V V F F V F F F V V V V F F F V
V V V F F F F V F V V V V F F F V
V V F V V V V F F V V V V F F F V
V V F V V F V V F V V V V V V V F
V V F V F V V F F V V V F F F F V
V V F V F F V V F V V V F V F F V
V V F F V V V F F V F F V F F F V
V V F F V F V V F V F F V V V F V
V V F F F V V F F V F F V F F F V
V V F F F F V V F V F F V V V F V
V F V V V V F F F F V F V F F F V
V F V V V F F V F F V F V F F F V
V F V V F V F F F F V F F F F F V
V F V V F F F V F F V F F F F F V
V F V F V V F F F F V F V F F F V
V F V F V F F V F F V F V F F F V
V F V F F V F F F F V F V F F F V
V F V F F F F V F F V F V F F F V
V F F V V V V F F F V F V F F F V
V F F V V F V V F F V F V V V F V
V F F V F V V F F F V F F F F F V
V F F V F F V V F F V F F V F F V
V F F F V V V F F F V F V F F F V
V F F F V F V V F F V F V V V F V
V F F F F V V F F F V F V F F F V
V F F F F F V V F F V F V V V F V
F V V V V V F F V V V V V F F F V
F V V V V F F V V V V V V F F F V
F V V V F V F F V V V V F F F F V
F V V V F F F V V V V V F F F F V
F V V F V V F F V V V V V F F F V
F V V F V F F V V V V V V F F F V
F V V F F V F F V V V V V F F F V
F V V F F F F V V V V V V F F F V
F V F V V V V F V V V V V F F F V
F V F V V F V V V V V V V V V V V
F V F V F V V F V V V V F F F V V
F V F V F F V V V V V V F V F F V
F V F F V V V F V V F F V F F F V
F V F F V F V V V V F F V V V F V
F V F F F V V F V V F F V F F F V
F V F F F F V V V V F F V V V F V
F F V V V V F F V V V V V F F F V
F F V V V F F V V V V V V F F F V
F F V V F V F F V V V V F F F F V
F F V V F F F V V V V V F F F F V
F F V F V V F F V V V V V F F F V
F F V F V F F V V V V V V F F F V
F F V F F V F F V V V V V F F F V
F F V F F F F V V V V V V F F F V
F F F V V V V F V V V V V F F F V
F F F V V F V V V V V V V V V V V
F F F V F V V F V V V V F F F F V
F F F V F F V V V V V V F V F F V
F F F F V V V F V V F F V F F F V
F F F F V F V V V V F F V V V F V
F F F F F V V F V V F F V F F F V
F F F F F F V V V V F F V V V F V

Tabla de verdad

Truth Table

p q r s t u {[(pq)[q(rVs)]][(st)(ru) ] } p

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

Reglas de inferencia

NO APLICAN YA QUE ES UNA CONTINGENCIA

D. Desde muy joven empec a trabajar para poder buscar tener una buena calidad de
vida, pero siempre me fue complicado poder ingresar a hacer mis estudios
superiores; hoy en da afortunadamente la UNAD ofrece una excelente oportunidad
de formacin acadmica para quienes tenemos una vida laboral muy densa, pues la
virtualidad, aunque demanda de disciplina y adecuados hbitos de estudio, nos
permite contar con las 24 horas del da, los siete das de la semana para ingresar a
realizar las actividades segn las fechas lmites establecidas; esto es algo que me ha
alegrado mucho y le hice el siguiente comentario a mis amigos, para que se motiven
e ingresen a estudiar en la UNAD: He ingresado a estudiar administracin de
empresas y lograr materializar mi proyecto de vida. Si he ingresado a estudiar en la
UNAD Administracin de empresas, entonces conseguir un mejor estatus laboral.
Por lo tanto, conseguir un mejor estatus laboral y lograr materializar mi proyecto
de vida.

Solucin

P: Ingrese a estudiar en la UNAD administracin de empresas


Q: lograr materializar mi proyecto de vida
R: conseguir un mejor estatus laboral
q
1. p

2. p r

______
q
r
Usando tablas de verdad

P Q R P ^ P (P ^ Q)^( P R ((P ^ Q)^( P R)) R


Q R) ^Q
^Q
R
V V V V V V V V
V V F V F F F V
V F V F V F F V
V F F F F F F V
F V V F V F V V
F V F F V F F V
F F V F V F F V
F F F F V F F V

Usando true table

1. pq

2. p r

______
q
r
3. p simplificacin en 1
4. q simplificacin en 1
5. r ponendo pones entre 2 y 3
6. r^q Adjuncin entre 4 y 5

E. Desde muy joven empec a trabajar para poder buscar tener una buena calidad de
vida, pero siempre me fue complicado poder ingresar a hacer mis estudios
superiores; hoy en da afortunadamente la UNAD ofrece una excelente oportunidad
de formacin acadmica para quienes tenemos una vida laboral muy densa, pues la
virtualidad, aunque demanda de disciplina y adecuados hbitos de estudio, nos
permite contar con las 24 horas del da, los siete das de la semana para ingresar a
realizar las actividades segn las fechas lmites establecidas; esto es algo que me ha
alegrado mucho y le hice el siguiente comentario a mis amigos, para que se motiven
e ingresen a estudiar en la UNAD: He ingresado a estudiar administracin de
empresas y lograr materializar mi proyecto de vida. Si he ingresado a estudiar
en la UNAD Administracin de empresas, entonces conseguir un mejor estatus
laboral. Por lo tanto, conseguir un mejor estatus laboral y lograr
materializar mi proyecto de vida.

P= He ingresado a estudiar administracin de empresas

Q= lograr materializar mi proyecto de vida.

R= he ingresado a estudiar en la UNAD Administracin de empresas

S= conseguir un mejor estatus laboral

[[(>) & (~ > )] & ( > )] > (~ > )

TABLA DE VERDAD

p q P+q P+q p >q p=q


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

Truth Table

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

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

expression is a tautology

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. [( p q )(r s ) ( p r )] (q s )

A. Si Andres realiza sus actividades en el tiempo establecido entonces obtendr buenas


notas , y por lo tanto pasara con xito el periodo acadmico entonces asi avanzara
en su carrera profesional y si Andres realiza sus actividades en el tiempo establecido
o pasara con xito el periodo acadmico entonces obtendr buenas notas o asi
avanzara en su carrera profesional.

p: Si Andres realiza sus actividades en el tiempo establecido


q: obtendr buenas notas
r: pasara con xito el periodo acadmico
s: asi avanzara en su carrera profesional
-Uso de las tablas de verdad.

p q r s (pq) ( r s) ( p r ) (q s ) [( p q )(r s ) ( p r )] (q s )
V V V V F F V V V
V V V F F F V F V
V V F V F V F V V
V V F F F F F F V
V F V V F F V F V
V F V F F F V F V
V F F V F V F F V
V F F F F F F F V
F V V V V F F V V
F V V F V F F F V
F V F V V V F V V
F V F F V F F F V
F F V V F F F F V
F F V F F F F F V
F F F V F V F F V
F F F F F F F F V

-Uso de las reglas de inferencia.

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

1. p q

2. r s

3. p r

q s Silogismo Disyuntivo en 1,2 y 3

4. p simplificacin en 3

5. r simplificacin en 3

6. q Ponendo Ponens en 4 y 1
7. s Ponendo Ponens en 5 y 2
8. q s conjuncin en 6 y 7
- Uso del simulador Truth Table.

C. [( p q ) ( r s ) ( p s ) ] ( s q )

[( ) ( ~) ( )] ( )

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

Language natural

La moto es mejor, ya que es fcil de de conducir. el carro es mejor, no es comodo.la moto


es mejor y es cmoda . En consecuencia es cmodo y fcil de conducir.

P= la moto es mejor

q = es fcil de conducir

r= el carro es mejor

s = es cmodo

Premisa 1: La moto es mejor, ya que es fcil de de conducir

Premisa 2: el carro es mejor, no es cmodo.

Premisa 3: la moto es mejor y es cmoda

CONCLUSION: es cmoda y fcil de conducir.


REGLAS DE INFERENCIA

Language formal

P1: p>q

P2: r > -s

P3: p s

CONCLUSION: s q

P4: p LEY SIMPLIFICACION 3

P5: q MODUS PONENDO PONENS 1, 4

P6: s LEY SIPLIFICACION 3

P7: q s ADJUNCION 5, 6

P8: s q LEY CONMUTATIVA 7

Tabla de verdad

P Q R S _S ( P>Q ) ( R> _S) ( P>Q ) ( R> _S) ( PS ) [(pq)(r~s)(ps)] (sq) [(pq)(r~s)(ps)](sq


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

Truth Table

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

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

expression is a tautology

D. {[()]()()()}

P: Camila realiza su trabajo de lgica a tiempo


Q: Camila obtendr buena nota
R: Los compaeros de Camila no aportan al foro
S: Camila entrega el trabajo con sus compaeros
T: El profesor hace los aportes respectivos

Si Camila realiza su trabajo de lgica a tiempo entonces obtendr buena nota o los
compaeros de camilo no aportan al foro. Si Camila entrega el trabajo con sus compaeros
entonces no obtendr buena nota. Si el profesor hace los aportes respectivos entonces los
compaeros de Camila aportan al foro. Camila su realiza su trabajo a tiempo y el profesor
hace los aportes respectivos.

Validacin por tablas de verdad.

P Q R S T Q v () ~q ~r P^t 1 1q
r

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1= {[()]()()()}

Validacin por leyes de inferencia lgica

1. ()
2.
3.
4. P^t
---------------
q
5. P simplificacin 4
6. T simplificacin 4
7. ~r Ponendo ponens entre 3 y 6
8. Qvr ponendo ponens entre 5 y 1
9. Q tolendo ponens

E. Jos, es estudiante de la UNAD, donde se interesa por el curso de Matemtica Lgica


porque trata mtodos de anlisis y razonamiento, junto con sus compaeros argumenta que:
Si aplican los mtodos de anlisis adecuados, y si entregan a tiempo los ejercicios de las
guas, entonces cumplen los objetivos planteados en el curso por lo tanto sern
profesionales de alta calidad entonces aplicaran sus conocimientos en su vida personal y
laboral.

p: Si aplican los mtodos de anlisis adecuados


q: si entregan a tiempo los ejercicios de las guas
r: cumplen los objetivos plateados en el curso
s: sern profesionales de alta calidad.
t: aplicaran sus conocimientos en su vida personal y laboral.

p q R s t (pq) (rs) (q s) (p r) [(pq) (rs) [(pq)(rs)][(q [(pq)(rs)][(q s)t] (pr)]


s) t

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

Es una contingencia

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)

A- Se me presenta la siguiente situacin: el restaurante al que siempre acudo,


encuentro que uno y otro mircoles, aparentemente sin excepcin el plato principal
del almuerzo es arroz con pollo. Entonces decid que no almorzara ah los
mircoles, porque los mircoles sirven arroz con pollo y a m no me gusta.

Este razonamiento es inductivo se parte del hecho particular y en este caso es la


experiencia continua de la persona que acude al restaurante donde evidencia que uno y otro
mircoles encuentra que el plato principal es arroz con pollo con lo cual esta persona
analiza la situacin y decide no almorzar en el restaurante los das mircoles porque sirven
arroz con pollo y a l no le gusta.

C- Explica la conclusin a la que llega Mafalda, de acuerdo a la caricatura. Explica el


mtodo de razonamiento (inductivo o deductivo) utilizado.

El razonamiento presentado corresponde a un razonamiento deductivo ya que Mafalda


llega a la conclusin de que de la mujer en la humanidad no ha ocupado un papel si no
un trapo, a partir de una serie de premisas. o sea parte de lo general para llegar a lo
particular.

D- Los msculos de los brazos son de fibras estriadas que responden a los impulsos
voluntarios de la corteza parietal del lado opuesto. Cuando existen lesiones en la
regin parietal, se pierde el control de algunos msculos voluntarios, entre otros, del
brazo. Despus del accidente donde el paciente recibi un golpe en la cabeza, perdi
el control del movimiento de sus brazos, as que es muy probable que tenga una
lesin en la corteza parietal.

Respuesta: Este es un razonamiento inductivo pues se va de algo menor a una


generalizacin con respecto a un estado de salud
E- Se sabe que en Bogot casi todos los fanticos del ftbol, son hinchas de
Millonarios, Santaf o Nacional, pero no todos. Cierto da me encuentro con una
persona en Bogot, amante del ftbol y prejuzgo, que probablemente, con base en
los conocimientos anteriores, esta persona es hincha de Nacional.

Respuesta : este razonamiento es de tipo deductivo ya que va de lo general partiendo


del hecho de los fanticos del futbol en Bogot , a lo particular con respecto al
prejuzgamiento de la persona hincha de Nacional.
CONCLUSIONES

Se aplicaron los conceptos que enmarcan la unidad 2 del curso acadmico lgica
matemtica.

A travs del trabajo en grupo colaborativo se realizaron las tareas propuestas en la


gua de actividades.

La consulta de fuentes bibliogrficas permitio aclarar los conceptos relacionados


con la temtica de razonamientos lgicos.
REFERENCIAS BIBLIOGRAFICAS

ACEVEDO G. G. , (2008) Capitulo 4 Deduccin. Modulo Lgica Matemtica UNAD ( Pag


92-99). Bogot