TRABAJO COLABORATIVO 2

PENSAMIENTO LOGICO MATEMATICO

LOGICA PROPOSICIONAL

PRESENTADO POR:

ANA LUCIA VIDES RUEDA

ELIZABETH SAAVEDRA

JOSE DE LOS SANTOS PUENTES

DARIO ORLANDO DITTA

GIOVANNY RICARDO PADILLA

TUTOR:

NEVARDO ALONSO AYALA

GRUPO:
200611_240

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

BARRANCABERMEJA

ABRIL

2016

1
 TABLA DE CONTENIDO

INTRODUCCION.3
OBJETIVOS..4
EJERCICIO GRUPAL..5
EJERCICIOS PRIMER APORTE INDIVIDUALE.8
EJERCICIOS SEGUNDO APORTE INVIDUAL..18
CONCLUSIONES.23
BIBLIOGRAFIA.24

2
 INTRODUCCION

En nuestro quehacer diario constantemente hacemos, deducciones. Esto significa,

que cada conclusin que obtenemos se deduce de algo. Este algo o punto de
partida se llama premisa. Por ejemplo si exponemos un trozo de hielo al calor, se
concluye que el hielo se derrite, o cuando un campesino ve una densa nube en el
cielo, deduce que va a llover, o tambin de "todos los mamferos son vertebrados"
se puede concluir en "algunos mamferos son vertebrados". Este proceso de pasar
de un conjunto de premisas a la conclusin se llama inferencia o deduccin.

Cuando diseamos un sistema de representacin del conocimiento para interpretar

frases y poder derivar inferencias de ellas, tenemos que hacer elecciones que
permitan obtener un resultado lgico. La decisin ms importante que hay que tomar
es la expresividad de la representacin del conocimiento. Cuanto ms expresiva es,
decir algo es ms fcil y ms compacto. Sin embargo, cuanto ms expresivo es un
lenguaje, ms difcil es derivar inferencias automticamente de l.

3
 OBJETIVOS

Identificar el lenguaje simblico de las proposiciones.

Conocer los usos propios de cada smbolo
Usar correctamente los conectivos lgicos para simbolizar las proposiciones
compuestas que se indican
Traducir al lenguaje simblico razonamientos expresados en lenguaje
ordinario

4
EJERCICIO GRUPAL

Si Andrs estudia Economa, entonces participar en la convocatoria de

una beca para especializacin. Pero, no participar en la convocatoria,
si reprob el curso de Fundamentos de Administracin y no aprob el
curso de Finanzas. Si Andrs no reprob el curso de Fundamentos de
Administracin o aprob el curso de Finanzas, entonces participar en
la convocatoria de una beca para especializacin. Por lo tanto,
participar en la convocatoria si y solo si evidencia un promedio de 4,3
en todos sus estudios.

Solucin.

Para el desarrollo del ejercicio y su representacin a travs de las tablas de verdad,

se desarrolla el problema de lgica proposicional, planteado las proposiciones as:

p: Estudia economa.
q: Participar en la convocatoria de una beca para especializacin.
r: Aprob el curso de fundamentos de administracin
s: Aprob el curso de Finanzas
t: Evidencia un promedio de 4,3 en todos sus estudios

Sobre las proposiciones tenemos para cada razonamiento del problema as:

Si Andrs estudia Economa, entonces participar en la convocatoria de una

beca para especializacin (pq).

No participar en la convocatoria, si reprob el curso de Fundamentos de

Administracin y no aprob el curso de Finanzas. ((rs)q).

No reprob el curso de Fundamentos de Administracin o aprob el curso de

Finanzas, entonces participar en la convocatoria de una beca para
especializacin. (rsq)

Participar en la convocatoria si y solo si evidencia un promedio de 4,3 en

todos sus estudios. qt.

Segn el conjunto de proposiciones, tenemos el planteamiento del problema para

las tablas de verdad as:

(((pq)((rs)q))((rs)q))(qt)

5
Se desarrolla el modelo de tablas de verdad en el Simulador TRUTH
(((p>q)&((~r&~s)>~q))&((r+s)>q))>(q=t), cuya frmula se describe anteriormente y
nos da como resultado:

A continuacin se anexan las tablas de verdad que permite comprobar los

resultados del simulador, as:

(((pq)((rs)q))((rVs)q))(qt)

( ((r (r ((r
(p ((pq) (((pq)((r (q (((pq)((r
r s) V Vs)
pqr s ((r s)q)) s)q))((rVs)
t r s q s q s q
q) s)q)) ((rVs)q)) t) q))(qt)
) ) ) )
VVV VV FFFV F V V V V V V V
VVV VF FFFV F V V V V V F F
VVV F V FVFV F V V V V V V V
VVV F F FVFV F V V V V V F F
VVF VV VF F V F V V V V V V V
VVF VF VF F V F V V V V V F F
VVF F V VVF V V F F F V F V V
VVF F F VVF V V F F F V F F V

6
VF V VV F F V F F V F V F F F V
VF V VF F F V F F V F V F F V V
VFV FV F V V F F V F V F F F V
VFV FF F V V F F V F V F F V V
VF F VV V F V F F V F V F F F V
VF F VF V F V F F V F V F F V V
VFF FV V V V F V V F F V F F V
VFF FF V V V F V V F F V F V V
F VV VV F F F V F V V V V V V V
F VV VF F F F V F V V V V V F F
F VV F V F V F V F V V V V V V V
F VV F F F V F V F V V V V V F F
F VF VV V F F V F V V V V V V V
F VF VF V F F V F V V V V V F F
F VF F V V V F V V F F F V F V V
F VF F F V V F V V F F F V F F V
F F V VV F F V V F V V V F F F V
F F V VF F F V V F V V V F F V V
FFVFV F V V V F V V V F F F V
FFVFF F V V V F V V V F F V V
F F F VV V F V V F V V V F F F V
F F F VF V F V V F V V V F F V V
FFF FV VV V V V V V F V V F F
FFF FF VV V V V V V F V V V V
Los resultados de la tabla contienen en su mayora valores verdaderos (25)
y algunos falsos (7), razn por la cual su tabla corresponde a una
Coincidencia.

7
EJERCICIOS INDIVIDUALES

1. Rafael siempre quiso ser actor de teatro, pero no logr cumplir su sueo
porque se dedic a trabajar para buscar su sustento diario. Pero ha llegado
una felicidad a Rafael y es el hecho de que su hija Sofa quiere ser actriz de
teatro y pensando en su hija construye en su mente el siguiente pensamiento:
No es cierto que: si mi hija Sofa estudia los libretos, obtiene representar el
papel protagnico en la obra de Teatro. Si no estudia, lo pasa divertido en el
ensayo. Si no obtiene el papel protagnico, no lo pasa bien en el ensayo. As
pues, mi hija Sofa obtiene el papel protagnico. De acuerdo al resultado en la
tabla de verdad justifique si el pensamiento de Rafael con relacin a su hija es
coherente o incoherente.

Solucin.

Para el desarrollo del ejercicio 1 y su representacin a travs de las tablas de

verdad, se desarrolla el problema de lgica proposicional, planteado las
proposiciones as:

p: Estudia los libretos.

q: Obtiene el papel protagnico.

r: Lo pasa divertido en el ensayo.

Sobre las proposiciones tenemos para cada razonamiento del problema as:

No es cierto que: si mi hija Sofa estudia los libretos, obtiene representar el

papel protagnico en la obra de Teatro. (pq).

Si no estudia, lo pasa divertido en el ensayo. pr.

Si no obtiene el papel protagnico, no lo pasa bien en el ensayo. qr

Segn el conjunto de proposiciones, tenemos el planteamiento del problema para

las tablas de verdad as:

((((pq)(pr))(qr))r)

Se desarrolla el modelo de tablas de verdad en el Simulador TRUTH, cuya frmula

se describe anteriormente y nos da como resultado:

8
Complementamos la solucin del problema con el generador de tablas de verdad,
(https://www.youtube.com/watch?v=Eu5zOy-PLCo&nohtml5=False), sobre la cual
su frmula seria:

((((p>q)&(p>r))&(q>r))>r)

La solucin del generador de tablas coincide con la solucin planteada en el

Simulador TRUTH, dando como resultado:

A continuacin se anexan las tablas de verdad que permite comprobar los

resultados de los dos simuladores utilizados, diseo segn el material compartido
por el docente, asi:

9
La coincidencia nos permite ratificar el correcto resultado y por ende afirmar:

Los resultados de la tabla contienen en su mayora valores verdaderos y uno

solo falso, razn por la cual su tabla corresponde a una Coincidencia.

El pensamiento de Rafael con relacin a su hija es coherente, dado que los

8 posibles resultados, un 87,5% tendrn un resultad verdadero, lo cual se
confirma con su hija al obtener el papel protagnico.

10
2. Francisco es estudiante del curso de Herramientas Digitales para la Gestin
del Conocimiento junto con Luis. Luis en un aporte individual para el Trabajo
Colaborativo Uno escribe en el foro la siguiente idea: Si Francisco mi
compaero de curso, aprende Cmaptools y realiza los mapas conceptuales,
entonces Francisco aprende Cmaptools, entonces el realiza mapas
conceptuales o reconoce una red de conceptos y Francisco no realiza mapas
conceptuales y el no reconoce una red de conceptos. Qu se puede decir
de esta informacin?

Si Francisco mi compaero de curso, aprende Cmaptools y realiza los mapas

conceptuales, entonces Francisco aprende Cmaptools, entonces el realiza mapas
conceptuales o reconoce una red de conceptos y Francisco no realiza mapas
conceptuales y el no reconoce una red de conceptos

p, si francisco mi compaero de curso, aprende cmaptools.

q, realiza los mapas conceptuales,
p, francisco aprende cmaptools.
q, el realiza mapas conceptuales,
r, reconoce una red de conceptos,
~q, francisco no realiza mapas conceptuales.
~r, el no reconoce una red de conceptos.

[(p ^ q) > (q v r) ]^ (~q ^ ~r)

[(p ^ q) > (q v r) ]^
p q r ~q ~r (p^q) (qvr) (~q^~r) [(p ^ q) > (q v r)] (~q ^ ~r)

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

11
Podemos decir que este argumento es un tautologa ya que en cualquier
interpretacin es verdadera.

12
4. El organizador del Congreso Nacional de Matemticas a invitado a un viejo
colega para que sea ponente en la lnea de Ecuaciones Diferenciales. scar
no lleg a tiempo para su ponencia y en su afn de salvar la situacin le
comenta lo siguiente a Andrs el organizador del evento: Como vivo en un
lugar muy retirado, entonces debo desplazarme en un viaje de 7 horas por
tierra para llegar a cumplir con la ponencia en el evento. Es as que, cuando
viajo en avin me mareo. Siempre que me da mareos, me entra un fuerte dolor
de cabeza. As pues, siempre que me entra un fuerte dolor de cabeza, viajo.
El organizador del Congreso de Matemticas pensar que es correcta la
justificacin por el retraso o scar se contradice o no hay sentido en lo que
expresa?

PREMISA 1: Cuando viajo en avin me mareo.

PREMISA 2: Siempre que me da mareo, me entra un fuerte dolor de cabeza.
CONCLUSION: Siempre que me entra un fuerte dolor de cabeza , viajo
Se dice que:
P: Premisa 1.
Q: Premisa 2.
R: Conclusin.
P= Cuando viajo en avin me mareo.

Q= Me entra un fuerte dolor de cabeza.

R= Siempre que me entra un fuerte dolor de cabeza, viajo

es me entra un fuerte dolor de

cabeza.

PREMISA 1 + PREMISA 2:

[(p q) ^ (r q)]

PREMISAS + CONCLUSIN:

[(p q) ^ (r q)] (r p)

13
( ( p q ) ^ ( r q ) ) ( r p )

V V V V V V V V V V V

V V V V F V V V F V V

V F F F V F F V V V V

V F F F F V F V F V V

F V V V V V V F V F F

F V V V F V V V F V F

F V F F V F F V V F F

F V F V F V F V F V F

14
Es una contingencia , el organizador del evento pensara que no hay sentido en lo
que dice justificacin por parte de Oscar es indeterminada.

15
5. En el Fondo de empleados de una empresa desean premiar a los asociados
ms antiguos con un viaje para dos personas con todo pago a la isla de San
Andrs, los asociados ms antiguos son Alberto, Javier, Camilo y los
hermanos Luis y Carlos. En la Junta para determinar a quien otorgar el
premio se hace la siguiente consideracin con relacin a los ahorros: Si
Alberto posee mayor cantidad de ingresos que Javier, Javier posee mayor
cantidad de ingresos que Luis. Camilo posee mayor cantidad de ingresos que
Carlos el hermano de Luis, si Javier posee mayor cantidad de ingresos que
Luis. Por lo tanto, Si Alberto posee mayor cantidad de ingresos que Javier,
Camilo es quien posee mayor cantidad de ingresos que Carlos.
es correcto o contradictorio el anlisis?

Solucin:

Declaracin de las proposiciones simples

P: Si Alberto posee mayor cantidad de ingresos que Javier,

q: Javier posee mayor cantidad de ingresos que Luis.

r: Camilo es quien posee mayor cantidad de ingresos que Carlos.

Declaracin de las proposiciones compuestas (lenguaje formal)

Si Alberto posee mayor cantidad de ingresos que Javier entonces Javier posee
mayor cantidad de ingresos que Luis y Camilo posee mayor cantidad de ingresos
que Carlos el hermano de Luis. Si Javier posee mayor cantidad de ingresos que
Luis por lo tanto Si Alberto posee mayor cantidad de ingresos que Javier, entonces
Camilo es quien posee mayor cantidad de ingresos que Carlos.

{[p (q ^ r) ] ^ ( q ^ p) } r

p q r (q ^ r) p (q ^ r) [p (q^ r)] ^ (q^p) {[p (q ^ r)] ^ (q ^ p)} r

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

16
V F F F F F V
F V V V V V V
F V F F F F V
F F V F V F V
F F F F V F V

Para saber el nmero de filas primero debemos conocer el nmero de premisas que
tenemos; p, q y r, por lo tanto correspondera

2n = 23= 2x2x2= 8, entonces 8 sera el nmero de filas para la tabla.

es correcto o contradictorio el anlisis?

Como resultado de la tabla nos muestra una tautologa es decir es correcto el

anlisis ya que la junta que determinara a quien otorgar el premio considera de
manera correcta la relacin de los ahorros de los asociados.

Verificamos con el simulador Truth Table

17
C. Ninguna obra de teatro puede ser el reflejo de un subrealismo.
Algunos monlogos pueden ser el reflejo de un subrealismo.
Algunos monlogos no son obras de teatro.

p= Ninguna obra de teatro puede ser el reflejo de un subrealismo.

q= Algunos monlogos pueden ser el reflejo de un subrealismo.

r= Algunos monlogos no son obras de teatro.

simblicamente p (qr)

Representacin mediante diagramas de ven

18
19
B. Ningn empleado puede ser Gerente y Tesorero al mismo tiempo.
Jacobo es un empleado.
Jacobo no puede ser Gerente y Tesorero al mismo tiempo.
P1- Ningn empleado puede ser Gerente y Tesorero al mismo tiempo

P2- Jacobo es un empleado.

C- Jacobo no puede ser Gerente y Tesorero al mismo tiempo.

Juan como clase de todos los que son juan.

JACOBO

EMPLEADO

SER GERENTE Y TESORERO

De esta forma quedaran representadas las premisas, como la conclusin en un

enunciado, la interseccin entre Jacobo y ser gerente y tesorero estn sombreadas
al haber representado las premisas por lo que el silogismo es vlido.

JACOBO

SER GERENTE Y
EMPLEADO
TESORERO

20
d. Toda progresin aritmtica consta de un valor inicial y una razn. Todos los
ejercicios del curso de Clculo Diferencial son progresiones aritmticas. Todos los
ejercicios del curso de Clculo Diferencial constan de valor inicial y una razn.
Solucin:

E V

P1: Toda progresin aritmtica consta de un valor inicial y una razn

Cuantificador
Particular
Afirmativo

T E

P2: Todos los ejercicios del curso de Clculo Diferencial son progresiones aritmticas

Cuantificador
Particular
Afirmativo

C: Todos los ejercicios del curso de Clculo Diferencial constan de valor inicial y
una razn.

V: valor inicial y una razn

E: progresiones aritmticas
T: ejercicios del curso de Clculo Diferencial

21
e. Algunos docentes en Licenciatura son de la Universidad UNAD.

Todos los docentes de Matemticas son de la Universidad UNAD.

Algunos docentes de Matemticas no son docentes en Licenciatura.

Solucin:

Silogismo:

P1 Premisa 1 - Algunos docentes en Licenciatura son de la Universidad

UNAD.

P2 Premisa 2 - Todos los docentes de Matemticas son de la Universidad

UNAD.

C Conclusin - Algunos docentes de Matemticas no son docentes en

Licenciatura.

A continuacin se adjunta el diagrama de Venn para el enunciado e, detallando el

cumplimiento de sus premisas en color, adems se relaciona el cumplimiento de la
conclusin como el rea que contiene la letra X.

Del grfico adjunto, se evidencia que la conclusin est presente en la combinacin

de las premisas del diagrama de Venn (central), por lo cual la conclusin es vlida.

22
 CONCLUSIONES

La lgica proposicional es una de las piezas fundamentales de la Inteligencia

Artificial, ya que para realizar los cambios necesarios para la evolucin de esta
ciencia, se precisa de un lenguaje formal para representar los hechos que se reciben
del mundo real y el uso de las proposiciones. El utilizar proposiciones es una seal
que encaja en forma perfecta en este mbito. Es un modo sencillo y prctico de
resolver un problema, considerando que se puede resolver disgregando el problema
en proposiciones u oraciones sencillas que permiten analizar los hechos y tomar
decisiones, es decir, crear nuevas proposiciones u oraciones sencillas o
compuestas que se incorporan a la base de conocimiento, permitiendo el
incremento y mejora de esta.

Este trabajo nos ha permitido profundizar los conocimientos del uso de la lgica
para la resolucin de problemas o la representacin de la realidad a nivel de
proposiciones.

23
 REFERENCIAS BIBLIOGRFICAS

Mora, J. F., & Leblanc, H. (s.f.). MATEMATICAS DISRETAS. Recuperado el

Abril de 2016, de https://matedisunidad3.wordpress.com/category/creditos/

SUREZ, O. J. (31 de Marzo de 2016). PRIMERA WEBCONFERENCE,

CURSO 200611_PENSAMIENTO LGICO Y MATEMTICO. CCAV Eje
Cafetero/Zona/ Occidente.

Conectores lgicos y tablas de verdad

https://www.youtube.com/watch?v=kANelfBRR9Y

Tablas de verdad -Parte 1

https://www.youtube.com/watch?v=jNhmDvHs3I4

Propuesta gua de actividades Lgica Matemtica - SIMULADOR TABLAS

DE VERDAD https://www.youtube.com/watch?v=KGNtz9VEkAE

Tabla de verdad! FACIL COMO NUNCA ANTES

https://www.youtube.com/watch?v=z60JCvpweys&ebc=ANyPxKoU5g0_i-
DkOYG-
7Tzk_9s3T7nz5WejLAVVBOvZdoqkZ7bCjanipZquOj5Zrm6uI2BGUeav-
IF3OtXGGHhX0a4koiYH9Q&nohtml5=False

http://ntic.educacion.es/w3//eos/MaterialesEducativos/mem2003/logica/

http://ntic.educacion.es/w3//eos/MaterialesEducativos/mem2003/logica/logic
a/03tablasvdad/generadorfrset.html

http://html.rincondelvago.com/logica_26.html

http://www.monografias.com/trabajos71/logica-proposicional/logica-
proposicional.shtml

24