Académique Documents
Professionnel Documents
Culture Documents
LOGICA MATEMATICA
ELABORADO POR:
MARLYZ ISABEL ACOSTA
FABIN ANDRS ARRIETA RODRGUEZ
YOJAIRA PAOLA BADEL
ERMES BERMUDEZ
LIZETH VIVIANA QUINTERO
GRUPO:
551105_6
TUTOR
PEDRO J. RUIZ P.
3 DE ABRIL DE 2016
1
INTRODUCCIN
La lgica proposicional o lgica de orden cero es un sistema formal cuyos elementos ms
simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas,
representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
complejidad. La lgica proposicional trata con sistemas lgicos que carecen de
cuantificadores, o variables interpretables como entidades. En lgica proposicional si bien no
hay signos para variables de tipo entidad, s existen signos para variables proposicionales (es
decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido),
de ah el nombre proposicional.
En la elaboracin de este trabajo se logr el conocimiento y se identific el propsito y
temtica la unidad de estudio, Evidenciando el contenido del mdulo, el cual est orientando
a estudiar los conceptos y la aplicacin de la lgica proposicional (proposiciones lgicas,
enunciados y conectivos, reglas de inferencia, tablas de verdad y tautologas), reglas de
inferencia y sus demostraciones (modus Ponendo Ponens, modus Tollendo Tollens, regla de
doble negacin, leyes de Morgan, entre otras). Teniendo en cuenta el objetivo de este curso es
que se pueda identificar las diferentes herramientas que se usan en los mtodos con el fin de
mejorar el conocimiento y desempeo en nuestra formacin.
b) p (p V q)
c) p q
d) p V q
R/
a) q:
No se han divisado tiburones cerca de la costa
b) p (p V q):
No est permitido nadar en la costa de Cartagena y est
permitido nadar en la costa de Cartagena p se han divisado tiburones en la costa
c) p q:
Est permitido nadar en la costa de Cartagena y se han divisado
d) p V q
divisado
Tiburones cerca de la costa
4. Sean p y q los enunciados p: Estamos bajo cero q: Nieva, escriba los siguientes
enunciados utilizando p, q y conectivos lgicos.
a) Estamos bajo cero y nieva
b) Estamos bajo cero, pero no nieva
c) No estamos bajo cero y no nieva
R/
R/
R/
(p q)
(p q)
(p q)
3
R/
(p V q) V (p q)
(p q)
(p q)
R/
(p
q)
p
7. Escriba cada uno de los siguientes enunciados en la forma si p, entonces q
a) Nieva siempre que el viento sopla del noreste
R/ Si sopla el viento del noreste entonces nieva
b) El manzano florecer si el tiempo se mantiene clido durndote una semana
R/ Si se mantiene clido durante una semana entonces el manzano florecer
c) Que el Real Madrid gane el campeonato implica que venci al Barcelona
R/ Si el Real Madrid gana el campeonato entonces vencieron al Barcelona
a) p q (p q)
b) [r s]
c) p
(q
[(s q)
r]
r)
(p q)
p q
p q
(p
q)
V
[r s]
[(s q)
rs
s q
r]
[r s] q
(s q) r
[r s] q
[(s q)
r]
(q
P
r)
r
(q
r)
V
6
b) P1: Si
P2:
C:
es par
es un nmero par
es par
c) P1: p q V s
P2: p
C: q V s
12. Utilizando el modus tollendo tollens, llegue a la conclusin C.
a) P1: Si estoy preparado profesionalmente, entonces triunfar en mis negocios
P2: Fracas en mis negocios
C: No estoy preparado profesionalmente
b) P1: S t
P2: ( t)
C: S
c) P1: p V q
r
P2: ( r)
C: (p V q)
13. Traduzca en dos formas cada una de las siguientes frases a expresiones lgicas utilizando
funciones proposicionales, cuantificadores y conectivos lgicos. En primer lugar, el
dominio consistir en los estudiantes de tu clase, y en segundo lugar, ser el conjunto de
todas las personas.
a)
a)
b)
c)
d)
14. Traduzca cada una de las siguientes frases a expresiones lgicas utilizando funciones
proposicionales, cuantificadores y conectivos lgicos. El dominio es el conjunto de todas
las personas.
b)
c)
d)
e)
Nadie es perfecto.
No todo el mundo es perfecto.
Todos tus amigos son perfectos.
Cada uno de tus amigos es perfecto
R/
R/
R/
R/
x (Ex Px)
x (Ax Px)
x (Ax Px)
x (Ax Px)
15. Traduzca cada una de las siguientes frases a expresiones lgicas de tres formas diferentes,
variando el dominio y utilizando funciones proposicionales con una y con dos variables.
a) Un estudiante de tu universidad ha vivido en Cali.
Solucin:
Introduciendo la variable x, de tal forma que nuestra frase se convierte en:
Un estudiante x de tu universidad que tiene como atributo que x ha vivido en
Cali
Introducimos el predicado C(x), que es el enunciado << x ha vivido en Cali>>. Si
el dominio para x consiste en el estudiante de tu universidad, se puede traducir la
primera frase como x C(x).
No obstante, si estamos interesados en otras personas adems de las de la clase,
tomamos la frase de forma ligeramente diferente y la podramos expresar como:
Hay una persona x que tiene como atributos que x es un estudiante de la
universidad y que x ha vivido en Cali
En este caso, el dominio para la variable x es todas las personas. Introducimos el
predicado S(x), << x es un estudiante de tu universidad>>. Nuestra solucin se
Hay una persona x que tiene como atributos que x es un estudiante de tu escuela y
que x sabe java, x sabe prlog y x sabe C++
TRABAJO COLABORATIVO
1. Responder los tres problemas iniciales dados en las preguntas generadoras
Leer las siguientes situaciones particulares y establecer posibles soluciones. En el
transcurso de la actividad se darn las herramientas necesarias para contestar las
preguntas all planteadas.
Preguntas generadoras:
escalera, ya que si aumenta la cantidad de agua, o sube la marea, el barco subir con la
superficie del agua, lo que en conclusin podemos afirmar que despus de tres horas,
el nivel del escaln ser el mismo.
Al leer cada uno de los siguientes textos Cul sera el orden lgico de los
prrafos para tener un texto coherente?
a) Cuando Edison lo vio lo nico que dijo fue:
b) Gracias a Dios, podemos empezar de nuevo
c) En aquel momento tena 67 aos
d) El laboratorio de Thomas Edison fue prcticamente destruido por un incendio en
diciembre de 1914
e) Que se pensaba no iba arder
f) Aunque el laboratorio era de cemento
g) Sin embargo, cuando su hijo Charles encontr a Edison
h) Con su cabello blanco ondeando en el viento
i) este incendio es de gran valor, todos nuestros errores se estn quemando con el
j) Por lo tanto gran parte del trabajo de Edison se destruy esa noche
k) Tres semanas despus del incendio Edison fabric su primer fongrafo
R/ El orden lgico de estos prrafos seran los siguientes:
d) El laboratorio de Thomas Edison fue prcticamente destruido por un incendio en
diciembre de 1914
f) Aunque el laboratorio era de cemento
e) Que se pensaba no iba arder
j) Por lo tanto gran parte del trabajo de Edison se destruy esa noche
g) Sin embargo, cuando su hijo Charles encontr a Edison
c) En aquel momento tena 67 aos
11
2. Verifique con tablas de verdad, que los siguientes condicionales son tautologas
12
( p q) ( p q)
p
pq
( p q ) (p q)
Teniendo en cuenta que: Una tautologa es una frmula cuyo valor de verdad es el mismo
para todas las interpretaciones posibles. Por lo tanto, ( p q ) y
( p q)
no son
(pV r)
( p q)
( p r)
p ( pV r)
( p q) V ( p r )
13
Alicia estudia matemticas. Por tanto, Alicia estudia o bien matemticas o bien ingeniera.
R/ Regla de la adicin, ya que tenemos una proposicin verdadera entonces podemos
concluir que las otras dos proposiciones son verdaderas
p ( p V q )
Si nieva hoy, se cerrara la universidad. La universidad no est cerrada hoy. Por tanto, no
nieva hoy.
R/ Regla del Tollendo Tollens, ya que sabemos que tenemos una implicacin y sabemos
que el primer trmino es verdadero y su segundo trmino o conclusin es falso, entonces
podemos concluir la negacin del primero.
( ( p q ) q ) p
Si voy a nadar, entonces estar al sol demasiado tiempo. Si estoy al sol demasiado
tiempo, me quemar. Por tanto, si voy a nadar me quemar.
R/ Regla de la Transitividad de la implicacin, ya que si tenemos dos implicaciones
unidas por una conjuncin y donde el segundo trmino de la primera implicacin y el
primer trmino de la segunda implicacin son los mismos, entonces podemos concluir
con la implicacin del primer trmino de la primera implicacin con el ltimo trmino de
la segunda implicacin, es decir como si hiciramos un puente.
14
( ( p q ) ( q r ) ) ( q r )
5. Demuestre que la conclusin es consecuencia lgica de las premisas dadas.
Si el reloj esta adelantado, entonces Juan llego antes de la diez y vio partir el coche de
Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs. O Andrs
dice la verdad o estaba en el edificio en el momento del crimen. El reloj esta adelantado.
Por lo tanto, Andrs estaba en el edificio en el momento del crimen.
R/ Primero tenemos que asignar un valor a cada proposicin:
p = Si el reloj esta adelantado
q = Juan lleg antes de las diez
r = Vio partir el coche Andrs
s = Andrs dice la verdad
t = Estaba en el edificio en el momento del crimen
Demostrando que la conclusin es consecuencia lgica de las premisas dadas.
p ( q r )
1.
2.
s r
3.
sVt
4.
5.
(q r ) :
( q r ) r
6.
r :
15
7.
s :
exclusiva, de manera que los dos miembros no pueden ser simultneamente verdaderos,
ni simultneamente falsos.
sV t
s
t
8.
t :
previamente dadas
CONCLUSION
Las proposiciones lgicas, evidentemente son fundamentales dentro del estudio de las
matemticas, porque permiten la generacin de afirmaciones a partir de verdades o falsedades
existentes, que permiten cuestionar la realidad, lo que un matemtico debe entender para su
ejercicio, ya que las matemticas son ciencias exactas que describen simblica, algortmica y
estructural, una situacin, y debe ser sustentada lgicamente.
Por ello con estos trabajos: individual y colaborativo, se logr comprender, asimilar y
cuestionar las situaciones de forma lgica, a partir de premisas, adems se aprovecharon los
conceptos estudiados y relacionados con la lgica proposicional siendo esta una parte
fundamental en la inteligencia artificial ya que precisa de lenguaje formal para representar los
hechos que se perciben en el mundo real, as como tambin las reglas de inferencia y
demostraciones lgicas.
Utilizar proposiciones es algo sencillo y practico en el momento de resolver problemas,
considerando que lo podemos hacer disolviendo dicho problema en proposiciones u oraciones
sencillas que permitan analizar los hechos, as tambin como crear nuevas proposiciones ya
sean sencillas o compuestas y de esta manera tomar las decisiones.
16
BIBLIOGRAFIA
http://datateca.unad.edu.co/contenidos/551105/logica_2014-_2/Entorno%20de%20
conocimiento/Libro_de_logica_cap._1.pdf
Resumen de las leyes de inferencia. Recuperado Junio 13 de 2014
http://rosmirofuentesrocha.weebly.com/uploads/6/2/7/4/6274527/deduccion_proposicional.pdf
Garca I ( ). Introduccin a la lgica y mtodos de demostracin cap. 2.
Domingo A. ( ). Lgica matemtica. Recuperado Junio 14 de
2014http://www.monografias.com/trabajos-pdf3/logica-matematica/logica-matematica.pdf
17