(NOMBRE DEL TRABAJO)

LOGICA MATEMATICA
EVALUACIN DISTANCIA

ESTUDIANTE:
MIGUEL ANGEL UNRISA FULA

DOCENTE
ALEXANDRA MARIA
SILVA MONSALVE

UNIVERSIDAD SANTO TOMS VICERRECTORA DE UNIVERSIDAD

ABIERTA Y A DISTANCIA
INGENIERIA DE INFORMATICA
CENTRO DE ATENCIN UNIVERSITARIO BOGOTA

BOGOTA, MARZO 23 DE 2017

 2

Tabla de contenido
Resumen ....................................................................................................................................................... 3
INTRODUCCION............................................................................................................................................. 4
DESARROLLO DE LA ACTIVIDAD .................................................................................................................... 5
PUNTO 1 .................................................................................................................................................... 5
PUNTO 2 .................................................................................................................................................... 7
PUNTO 3 .................................................................................................................................................... 8
PUNTO 4 .................................................................................................................................................. 10
PUNTO 5 .................................................................................................................................................. 11
PUNTO 6 .................................................................................................................................................. 11
PUNTO 7 .................................................................................................................................................. 12
PUNTO 8 .................................................................................................................................................. 12
PUNTO 9 .................................................................................................................................................. 13
PUNTO 10 ................................................................................................................................................ 15
 3

Resumen
El objetivo de este trabajo es conocer ms afondo la aplicacin de la lgica matemticas en
nuestro entorno diario y como llevarlo a cabo con datos exactos. Para tener estos resultados nos
basamos en videos donde nos explica cada propiedad y ley de la algebra proporcional; adems
gracias a la ayuda del tutor de la asignatura y el apoyo en la Aula virtual, logramos adquirir los
conocimientos necesarios para la solucin y resolucin de problemas diarios y enfocarlos a las
lgica matemticas. Gracias a la ardua investigacin encontramos diversas formas de solucionar
un problema y como poder solucionarlo en diversos puntos de vista como tambin como
simplificar una expresin muy grande como la de un circuito elctrico para entenderlo mejor y
plasmarlo en la vquela correspondiente (modo fsico). Ya que gracias a la lgica matemtica
podemos plantear el problema de diversas formas e igual su solucin, lo que permite concluir
que la solucin de diversos problemas son solucionables y aplicables a la ciencia de la lgica
matemtica que si no hubiese aplicacin de la lgica matemtica no tendramos una forma de
expresar nuestra soluciones exactas y verdaderas. Sin la lgica matemtica y la electrnica
digital no podramos tener una gran evolucin de la tecnologa y nuestra forma de ver y pensar
en el mundo.
Palabras claves: funciones, anlisis, algebra booleana, compuertas, mapa Karnough.
 4

INTRODUCCION

Este trabajo est basado en lo Explicado, los materiales de apoyo que el tutor ha dejado en

el aula virtual e investigaciones audiovisuales, por el cual estaremos realizando los ejercicios

planteados por el docente donde vemos que son aplicados a la vida. Detallando la importancia de

la ciencia de la lgica matemtica y su gran ayuda que ha sido para la evolucin humana.

Hay que tener en cuenta que la lgica matemticas no solo es para la carrera aplicada a las

ingeniera si no que la encontramos en todas las carreras como es artes plsticas; ya que ayuda en

la parte de la geomtrica y la profundidad de planos, y su aplicacin para la carrera de

administracin de empresas ya que gracias a la logica matemticas y sus anlisis a profundidad

podemos ver y tomar decisiones al futuro de una empresa o proyeccin a bajo, medio y largo

plazo.

Lo interesante es que la aplicacin y solucin de estos problemas siguen siendo los mismo

de las pocas antiguas donde el factor problema y para solucionar es el dinero, la evolucin, el

desarrollo humano, y los negocios.

 5

OBJETIVO GENERALES

Mostrar la importancia y el buen planeamiento que se debe realizar para la solucin de

diversos problemas empleando la lgica y las propiedades de la lgica matemtica

OBJETIVO ESPECIFICOS
1. Por medio del problemas mostrar la aplicacin de la lgica matematica
2. Aplicar elemento de las ecuaciones y anlisis aplicando sistemas de funciones
3. Plantear diversas formas para la solucin de problemas utilizando mtodos ms
simplificados
4. Utilizaciones de grficos para toma de decisiones a futuro
5. Aplicacin de funciones exponenciales y propiedades de la algebra booleana

DESARROLLO DE LA ACTIVIDAD
PUNTO 1
En cada caso, determinar todos los modelos de la frmula proposicional correspondiente:
 6

A. (p q) (q p)
p q (pq) (qp)

v v v V v
v f f V v
f v v V f
f f v V v

CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para
todos los valores es verdadera. Por lo tanto es una TAUTOLOGIA y es SATISFACTIBLE
B. (p q) (p q)
p q p q (p q) (p q)

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

CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para
toda la mayora de valores es verdadera pero se tiene un valor en falso. Por lo tanto es una
CONTRADICCION y es INSATISFACTIBLE
C. p q
p q (pq)

v v V
v f F
f v V
f f V

CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para
toda la mayora de valores es verdadera pero se tiene un valor en falso. Por lo tanto es una
CONTINGENCIA y es SATISFACTIBLE
D. d. p p
p p (p p)

v f V
f v V
v f V
f v V

CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para
todos los valores es verdadera. Por lo tanto es una TAUTOLOGIA y es SATISFACTIBLE
E. p p
 7

p p (p p)

v f F
f v F
v f F
f v F

CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para
todos los valores es falso. Por lo tanto es una CONTRADICCION y es INSATISFACTIBLE
F. (p q) (q p)
p q (p q) (q p)

v v v V v
v f f V v
f v v V f
f f v V v

CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para
todos los valores es verdadera. Por lo tanto es una TAUTOLOGIA y es SATISFACTIBLE
G. (p q) (q p)
p q ( p q) (q p)

v v v V v
v f f F f
f v f F f
f f v V v

CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para
toda la mayora de valores es verdadera pero se tiene un valor en falso. Por lo tanto es una
CONTINGENCIA y es SATISFACTIBLE

PUNTO 2
En una isla hay dos tribus, la de los veraces (que siempre dicen la verdad) y la de los mentirosos (que
siempre mienten). Un viajero se encuentra con tres isleos A, B y C y cada uno le dice una frase:
Determinar a qu tribu pertenecen A,B,C. realce la representacin mediante calculo de predicados
1. A dice B y C son veraces y C es veraz
a (b c) c
a b c (b c) a (b c) c (b c) c
v v v v v v
v v f f f f
v f v f f f
 8

v f f f f f
f v v v v v
f v f f v f
f f v f v f
f f f f v f
CONCLUSION: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final para la
mayora de los valores es verdadera. Por lo tanto A dice la verdad y pertenece a la tribu de los
VERACES
2. B dice Si A y C son veraces, entonces B y C son veraces y A es mentiroso
b (a c) (b c a)
a b c a (a c) b (a c) (b c) (b c a)
v v v f v v f v f
v v f f f f v f f
v f v f v f v v f
v f f f f v f f f
f v v v f f v f f
f v f v f f v f f
f f v v f v f f f
f f f v f v f f f
NOTA: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final es que ms de la
mitad de valores son verdaderos. Por lo tanto B dice la verdad y pertenece a la tribu de los VERACES
3. C dice B es mentiroso y A o B es veraz
c (b) (a b)
a b C b c (b) (a b)
v v v f f F v
V v f f v V v
v f v v v V v
v f f v f F v
f v v f f F v
f v f f v V v
f f v v v V v
f f f v f F f
NOTA: El clculo proposicional nos muestra en la tabla de verdad, que el resultado final es que ms de la
mitad de valores son falsos. Por lo tanto C miente y pertenece a la tribu de los MENTIROSOS
PUNTO 3
Determinar si los siguientes argumentos son lgicamente correctos:
Si Juan es andaluz, entonces Juan es europeo. Juan es europeo. Por tanto, Juan es andaluz.
p= Juan es andaluz
q= Juan es Europeo

H1 = pq
H2 = q
C =p

Pq
Aplicamos determinacin de la implicacin
p V q
 9

H2 = p V T
p p
CONCLUCION: El argumento lgico no es correcto

Cuando tanto la temperatura como la presin atmosfrica permanecen contantes, no llueve. La

temperatura permanece constante. En consecuencia, en caso de que llueva, la presin atmosfrica no
permanece constante.
p= la temperatura es constante
q= la presin es constante
r= llueve

h1 = p q r
h2 = p
c = r q

p
Exportacin h1
P (q r)
h2 modus ponens
q r
Expandir
q V r
Conmutatividad del V
r V q
Definicin implicacin
r q
CONCLUCION: el argumento logico es correcto

Siempre que un nmero x es divisible por 10, acaba en 0. El nmero x no acaba en 0. Luego, x no es
divisible por 10.
p = x es divisible por 10
q = x acaba en 0

h1 = q
h2 = p q
c = p

pq
h1, modus tollens
p
CONCLUCION: el argumento es correcto

En cierto experimento, cuando hemos empleado un frmaco A, el paciente ha me- jorado

considerablemente en el caso, y slo en el caso, en que no se haya empleado tambin un frmaco B.
Adems, o se ha empleado el frmaco A o se ha empleado e l frmaco B. En consecuencia,
podemos afirmar que si no hemos empleado el frmaco B, el paciente ha mejorado
considerablemente.
 10

p = usar A
q = usar B
r = el paciente mejora

h1 = p q r
h2 = p V q
C = q r

(p q) r
Destructiva
P (q r)
Adicin
(p v q) (q r)
H2, modus pomens
q r = C
CONCLUCION: El argumento lgico es correcto

PUNTO 4

Utilice un formalizacin en terminos de calculo de predicados para llegar a un a conclusin 4. Un rey

somete a un prisionero a la siguiente prueba: lo enfrenta a dos puertas, de las que el prisionero debe elegir
una, y entrar en la habitacin correspondiente. Se informa al prisionero que en cada una de las
habitaciones puede haber un tigre o una dama. Como es natural, el prisionero debe elegir la puerta que le
lleva a la dama (entre otras cosas, para no ser devorado por el tigre). Para ayudarle, en cada puerta hay un
letrero:

Puerta 1: en esta habitacin hay una dama y en la otra un tigre.

Puerta 2: en una de estas habitaciones hay una dama y en una de estas habitaciones Hay un tigre.
p= en esta habitacin hay una dama
q= en la otra hay un tigre
r= en una de estas habitaciones hay una dama
s= en una de estas habitaciones hay un tigre

Puerta 1= p q

Esta opcin si admite suposiciones tales como:

~p q, p ~q, ~p ~q del ellas la nica verdadera es ~p & q

Puerta 2= r s
 11

Esta opcin no admite ms suposiciones porque ~r y ~s son contradicciones y siempre es

verdadero.

El prisionero debera elegir la puerta 2.

PUNTO 5
Es cierto que si F G y F son satisfacerles, entonces G es satisfacerle? Si es cierto, dar una explicacin.
Si no es cierto, dar un contraejemplo.
Solucin:
Si es satisfactoria ya que al utilizar la regla de inferencia del modus poniendo nos muestra que G es
satisfactoria.
H1 = f g
H2 = f
C =g

PUNTO 6

En un texto de Lewis Carroll, el to Jorge y el to Jaime discuten acerca de la barbera del pueblo, atendida
por tres barberos: Alberto, Benito y Carlos. Los dos tos aceptan las siguientes premisas:

Si Carlos no est en la barbera, entonces ocurrir que si tampoco est Alberto, Benito tendr que estar
para atender el establecimiento.

Si Alberto no est, tampoco estar Benito.

El to Jorge concluye de todo esto que Carlos no puede estar ausente, mientras que el to Jaime afirma que
slo puede concluirse que Carlos y Alberto no pueden estar ausentes a la vez. Decidir con el mtodo de
tabla de la verdad cul de los dos tiene razn.
p q r ((r p) q) (p q)
V V V F F V F F
V V F V F V F F
V F V F F F F V
V F F V F F F V
F V V F V V V F
F V F V V V V F
F F V F V F V V
f f f v v F V V

CONCLUSION: El to Jaime tena razn ya que los dos no pueden ausentarse a la vez, en
cambio solo Carlos si puede ausentarse
 12

PUNTO 7

Calcular una forma normal disjuntiva de cada una de las siguientes fr- mulas

a. (p (q r)).
(p ( q r)) por 2
p ( q r) por 3
p ( q r) por 4
p (q r) por 5

b. (pq) (qp).
( p q) ( q p)
p qqp

c. ( p q ) r.
(p q) ( q p) r
(( p q ) (q p )) r
((pq)(qp))r

((pq)(qp))r

((pq)(qp))r

(((pq)q)((pq)p))r
(((pq) (qq))((pp)(qp)))r

(((pq)(qq))r)(((pp)(qp))r)

(((pq)r)((qq)r))(((pp)r)((qp)r))

(pqr)(qqr)(ppr)(qpr)

PUNTO 8
Formalizar el siguiente argumento: Si una ciudad es vecina de otra, entonces la segunda es vecina de la
primera. Bogot es vecina de Tunja. Por tanto, Tunja es vecina de Bogot
 13

SIMBOLIZACION
P = Una ciudad es vecina de otra

Q = la segunda es vecina de la primera

R = Bogot es vecina de Tunja

V = Tunja es vecina de Bogot

Si p entonces q y r por tanto v

(p q) (r v)

PUNTO 9
Realizar las siguientes operaciones entre nmeros binarios. Es indispensable que realice el procedimiento
y la explicacin. No sern vlidos resultados de la operacin sin el correspondiente procesito y
explicacin de cmo se realiz la operacin.

a. 1010101111010 + 10001010 - 10001101011 + 111110100101

b. 1001010010 * 1101101
 14

c. 100101001101 / 001001

d. 11011010101011 010101011110
 15

PUNTO 10
Para el circuito de la figura 1
a. Halle la expresion algebraica que representa el circuito.
b. Realice la tabla de la verdad para el circuito.
c. Simplifique la exprecin utilizando los teoremas del alebra de Boole.

Solicion :

a. La salida uno es: (. + + . ) + (.

+ + . ) + (. + + . )

Salida dos es:(. + + + . + . .

. + . ) + (
. + + + . + . . . + . )

a b . + + . .
+ + . . + + . (. + + . ) + (.
+ + . )
+ (. + + . )
1 1 0 0 0 0 1 1
1 0 0 1 0 1 1 0
0 1 1 0 1 0 0 1
0 0 1 1 1 1 0 0
16