Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lgica Matemtica
INTRODUCCIN A LA LGICA MATEMTICA
En la filosofa para determinar si un razonamiento es
investigaciones.
En la computacin para revisar programas.
En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por ejemplo;
para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha
tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no
prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene
pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso,
todo esto es la aplicacin de la lgica.
La lgica es muy importante; ya que permite resolver problemas a los que nunca se ha
enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de
conocimientos acumulados, pudiendo obtener nuevos inventos e innovaciones a los ya
existentes o simplemente utilizacin de los mismos.
Lic. Roy
Bloque 1
Lgica Matemtica
DESARROLLO DE LA LGICA
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona
reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en
matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los
programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la
vida cotidiana, para resolver una multitud de problemas. Indudablemente se usa en forma constante el razonamiento
lgico para realizar cualquier actividad.
PROPOSICIONES
Ejemplo.
p : La tierra es plana.
Una proposicin o enunciado es una oracin que puede ser falso
o verdadero pero no ambas a la vez.
La proposicin es un elemento fundamental de la lgica
matemtica.
q : 17 38 21
r: x y7
s : El Morelia ser campen.
t : Hola Cmo ests?
Los casos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones vlidas. El caso r
tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en
determinado momento. El caso s tambin est perfectamente expresado aunque para decir si es falsa o verdadera se tendra que
esperar a que terminara la temporada de ftbol. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un
valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.
Lic. Roy
Bloque 1
Lgica Matemtica
CONECTIVOS LGICOS Y PROPOSICIONES COMPUESTAS.
Existen conectores u operadores lgicos que permiten formar proposiciones compuestas (proposicin formada por varias
proposiciones).
Los operadores o conectores bsicos son:
Su funcin es negar la proposicin y se
representa mediante:
El smbolo .
El smbolo .
Un apostrofe o comilla
OPERADOR NOT
(Negacin)
TABLA DE VERDAD
p
p
Valor de verdad
_____
Entonces
_____
OPERADOR AND
(Conjuncin)
Ejemplo
Un punto
La letra y
Se le conoce como la multiplicacin lgica.
TABLA DE VERDAD
q
pq
Lic. Roy
Bloque 1
Lgica Matemtica
OPERADOR OR
(Disyuncin)
Ejemplo
El signo +.
La letra o.
Se le conoce como la suma lgica.
TABLA DE VERDAD
q
pq
r : Aprobar el curso.
Lic. Roy
Bloque 1
Lgica Matemtica
PROPOSICIONES CONDICIONALES
Una proposicin condicional es aquella proposicin compleja cuya conectiva dominante es el condicional. En matemticas se suele
utilizar muy frecuentemente la proposicin <<Si p entonces q >>. Tales proposiciones se llaman condicionales.
PROPOSICIN
CONDICIONAL
(Implicacin)
Ejemplo
siguiente manera:
pq
Se lee:
Si p entonces q
p implica q
TABLA DE VERDAD
q
pq
Otra proposicin que se presenta con frecuencia es de la forma p si, y solamente si, q que se abrevia p ssi q .
PROPOSICIN
BICONDICIONAL
Ejemplo
siguiente manera:
pq
Se lee:
p si y solo si q
TABLA DE VERDAD
q
pq
Lic. Roy
Bloque 1
Lgica Matemtica
EJERCICIOS
1.
De los siguientes enunciados, determina cuales son proposiciones e indique si son atmicas (simples) o compuestas.
a) Es primavera.
b) Los gatos y los perros son mascotas.
c) Juan es amigo de Pedro?
d) Dos es mayor que tres.
e) Algunos estudiantes estudian y aprueban.
f) Si llueve y hace sol sale el arco iris.
g) Cierra la puerta
h) O vienes o te quedas.
i) El cielo es azul y los campos son verdes.
2. Escribe con las conectivas y smbolos de la lgica proposicional las siguientes proposiciones.
a) A pesar de que el coche no aceler, hubo un accidente.
b) Tiene coche y, sin embargo, no sabe conducir.
c) Si no vienes ya, nos vamos a desayunar.
d) Slo nos vamos a desayunar si no vienes ya.
e) Si no vienes, jugaremos al baloncesto, slo si viene Jos y el rbitro se presenta o manda a un sustituto.
f) Juan canta slo si est contento.
g) Si Juan est contento, entonces canta.
h) Juan canta si est contento y est contento si canta.
i) Mara estudiar durante todo el verano si no aprueba lgica ni programacin.
j) Si Mara aprueba lgica har una fiesta y sino estudiar durante el verano.
3. Supongamos que cuatro personas, Pepe, Quimo, Raquel y Sonia van al cine y optan entre dos pelculas. Formaliza los siguientes
enunciados usando las letras de proposicin que indicamos:
p : Pepe ve la pelcula de vaqueros.
q : Quimo ve la pelcula de vaqueros.
Lic. Roy
Bloque 1
Lgica Matemtica
c d :
b) b c d :
c) b c d :
d) a b c d :
Lic. Roy
Bloque 1
Lgica Matemtica
TABLAS DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposicin compuesta,
para cada combinacin de valores de verdad que se pueda asignar a sus componentes.
En la elaboracin de una tabla de verdad es necesario determinar el nmero de renglones y columnas de la tabla; el nmero de
reglones depende del nmero de proposiciones simples de la expresin y el nmero de columnas depende de las proposiciones y
los conectores lgicos incluidos en la expresin lgica en cuestin.
No. reglones = 2n
Donde n = nmero de proposiciones simples.
No. de columnas
Una columna por cada proposicin.
Una columna por cada conector lgico
No. reglones = 2n
23 8
No. De Columnas
3 proposiciones, 1 negacin, 1 disyuncin, 1 conjuncin, 2 condicionales y 1 bicondicional.
CONTRADICCIN.
EQUIVALENCIA LGICA
Es aquella proposicin (compuesta) que es verdadera para todos los valores de verdad de sus
proposiciones simples.
Es aquella proposicin (compuesta) que es falsa para todos los valores de verdad de sus
proposiciones simples.
Dos proposiciones son lgicamente equivalentes, si coinciden sus resultados para los mismos valores
de verdad.
Se indican p q .
Lic. Roy
Bloque 1
Lgica Matemtica
EJERCICIOS
1.
p q r p q r
b)
p q r p q p r
Lic. Roy
Bloque 1
Lgica Matemtica
CUANTIFICADORES
PROPOSICIN ABIERTA
Ejemplo:
x 7.
l es abogado.
y | y es un entero.
Las sentencias mostradas en el ejemplo anterior no pueden ser comprobadas ni refutadas. Sin embargo, cuando asignamos
valores a estas variables el valor de verdad puede ser conocido. Tales declaraciones cuyos valores de verdad dependen de los
valores que tengan las variables se conocen como predicados.
Es importante observar que en lgica proposicional una variable toma valores (falso, verdadero)
y en lgica de predicados una variable toma valores de un universo de discurso U
Las variables x1; x2 ; ; xn en P x1; x2 ; ; xn son llamadas variables libres del predicado. Por consecuencia, el valor de
verdad del predicado P x1; x2 ; ; xn varia conforme x1; x2 ; ; xn asumen valores en U
Ejemplo:
P x : x | x . es abogado.
Q y : y | y es hombre.
Cada declaracin conlleva una asercin comn a algunos objetos que pertenecen a un universo. Puesto que las declaraciones para
todos y existe (o para algn) no estn disponibles en lgica proposicional, ninguna de estas declaraciones puede ser escrita en
forma lgica. Cuando agregamos smbolos para estas declaraciones junto con las reglas de uso en lgica proposicional, obtenemos
lgica de predicados.
Lic. Roy
Bloque 1
Lgica Matemtica
CUANTIFICADOR UNIVERSAL
CUANTIFICADOR EXISTENCIAL
El cuantificador existencial es usado para formar una proposicin xP x leda como:
existe un x tal que P x es verdadero" o para algn x , P x es verdadero".
Esta proposicin es verdad si y slo si P x es verdad para al menos un x en U .
xyP x, y yxP x, y x, y P x, y
xyP x, y yxP x, y x, y P x, y
Pero esto no puede ser hecho con cuantificadores de diferentes tipos.
ESCRITURA DE DECLARACIONES
Una sentencia que afirma que todo bajo cierta categora tiene una propiedad se traduce como:
x
Donde el antecedente es una proposicin verdadera nicamente si se cumple el criterio de la categora.
Ejemplo. Si queremos expresar: Todas las manzanas son malas" escribiramos x A x B x
Una sentencia que afirma que algn objeto u objetos bajo cierta categora tienen una propiedad se traduce como:
x
Ejemplo. Si queremos expresar Algunas manzanas son malas" se escribe como x A x B x
Lic. Roy
Bloque 1
Lgica Matemtica
EJERCICIOS.
Lic. Roy
Bloque 1
Lgica Matemtica
NEGACIN EN LOS CUANTIFICADORES
Entonces, para negar una funcin proposicional cuantificada universalmente se cambia el cuantificador existencial, y se niega la
funcin proposicional, similarmente, para negar una funcin proposicional cuantificada existencialmente se cambia el cuantificador
universal, y se niega la funcin proposicional.
Ejemplo:
p x : Es alumno de mi colegio.
q x : Es aplicado.
Entonces podemos escribirla como: x p x q x
Teniendo en cuenta la forma de negar una funcin proposicional cuantificada universalmente y una implicacin resulta:
x p x q x
Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi colegio que no son aplicados.
EJERCICIOS.
Escribir en lenguaje simblico, negarla y retraducir la negacin al lenguaje ordinario las siguientes proposiciones:
a) Todos los hombres son estudiantes
b) Existen nmeros enteros pares que son divisibles entre 3
c) Todos los metales son buenos conductores del calor
d) Algunos nmeros primos no son impares
Lic. Roy
Bloque 1
Lgica Matemtica
EJERCICIOS ADICIONALES DE PROPOSICIONES LGICAS Y CONECTORES
1.
Determine cules de las siguientes expresiones del idioma son proposiciones lgicas.
a) Coln descubri Amrica en mircoles.
b) 2 + 2 = 5.
c) Esprame un momento.
d) Estudien mucho.
e) x + 1 < 4.
f) Estoy mintiendo.
g) Todos los pericos son verdes.
h) La mesa es de color rojo.
i) Un ngulo recto mide 90 grados.
j) 2 + x2 = 8 3x.
Escribe con las conectivas y smbolos de la lgica proposicional las siguientes proposiciones.
a) Llueve y hace sol.
b) Llueve y no hace sol.
c) Llueve o hace sol.
d) Si no llueve, hace sol.
e) No es cierto que llueva.
f) No es cierto que no llueva.
g) Har sol si y slo si no llueve.
Lic. Roy
Bloque 1
Lgica Matemtica
Lic. Roy