Lógica y Algebra Booleana

Matemticas Discretas
Unidad I: Lgica y Algebra Booleana

Matemtica Discretas - Semestre B-2006
2
Predicados
Los predicados son sentencias abiertas, en las que se
incluyen una o ms variables. Tambin se les llama
funcin proposicional.
Estos enunciados no son ni verdaderos ni falsos, si no
se especifican los valores de las variables.
Un predicado se convierte en una proposicin cuando
todas las variables que aparecen en l, se remplazan
por opciones permisibles del universo de discurso.
3
Predicados
Los predicados se representan por smbolos del tipo
p(x), q(x) o p(x,y), q(x,y,z), etc.
Por ejemplo:
Si p(x) = x > 3, p(x) se convierte en proposicin al

sustituir x por algn nmero natural.
p(4) es Verdadera.
p(2) es Falsa.
4
Cuantificadores
Otra forma de crear una proposicin o de cerrar una
funcin proposicional abierta, es la Cuantificacin.
Una proposicin abierta se cierra, si todas sus
variables se cuantifican.
Trataremos con dos tipos de cuantificadores:
Cuantificador Existencial
Cuantificador Universal
5
Denota que existe al menos un elemento x del Universo,
para el cual p(x) es verdadera.
Usamos la notacin:
x p(x)
x y p(x,y) x, y p(x,y)
6
Formas de expresarlo:
Hay un x
Para algn x
Para al menos un x
Existe un x tal que

Es verdadera, si existe al menos un elemento x del
universo tal que p(x) sea verdadera. Es falsa si no existe
ninguno.
7
Por ejemplo:
Si p(x) es x > 3
Cerramos p(x) al escribir x p(x), donde el universo
consiste en todos los nmeros reales.
Siempre debemos denotar el universo de discurso,
pues para algunos universos puede ser cierta y para
otros no.
8
Denota que una propiedad es verdadera para todos los
valores de una variable en un universo particular.
p(x) es verdadera, para todos los valores de x en el
dominio.
Usamos la notacin:
x p(x)
x y p(x,y) x, y p(x,y)
9
Formas de expresarlo:
Para todo x
Para cada x
Para cualquier x
Para todo x, y
Para todos x y y
Es verdadera, si para cada reemplazo de x, p(x) es
verdadera. Es falsa si existe al menos un x para el cual
p(x) es falsa.
10
Por ejemplo:
Si P(x) es x + 1
Cerramos p(x) al escribir x p(x), donde el universo son
todos los nmeros reales.
Si p(x) es x > 3 y el universo son todos los nmeros

reales. Entonces, x p(x) es falsa.
11
Traduccin de oraciones de lenguaje
natural a lenguaje formal
Puede haber diferentes formas de traducir una
frase particular.
1) Reescribimos la proposicin, de forma que podamos
identificar con claridad los cuantificadores que debemos
utilizar.
2) Introducimos las variables
3) Introducimos los predicados
4) Definimos el dominio.
12
Por ejemplo: Todo estudiante de esta clase vive en Mrida
1) Reescribimos la proposicin:
Para todo estudiante de esta clase, ese estudiante
vive en Mrida
2) Introducimos las variables:
Para todo estudiante x de esta clase, x vive en Mrida
3) Introducimos los predicados:
p(x) es x vive en Mrida
13
4) Definimos el dominio:
- Si el dominio de x consiste en los estudiantes de la
clase, entonces x p(x)
- Si el dominio son todas las personas, entonces
podemos expresar el enunciado como:
Para toda persona x, si la persona x es un estudiante
de esta clase, entonces x vive en Mrida
y q(x) ser x es un estudiante de esta clase
Entonces lo podemos expresar como x (p(x) q(x))
14
Otro ejemplo: Algn venezolano es futbolista
1) Reescribimos la proposicin:
Hay un venezolano que tiene como atributo
que es futbolista
2) Introducimos las variables:
Hay un venezolano x que tiene como atributo
que x es futbolista
15
3) Introducimos los predicados:
p(x) es x es futbolista
4) Definimos el dominio:
- Si el dominio son todas las personas, entonces:
Hay una persona x que tiene como atributos que x es
un venezolano y que es futbolista.
y q(x) ser x es un venezolano
Entonces lo podemos expresar como x (p(x) q(x))
16
Implicaciones Lgicas
x p(x) x p(x)
Si x p(x) es verdadera, tambin los x p(x).
Pero, lo contrario no es cierto:
x p(x) x p(x)
/
17
Implicacin Lgica
Si la implicacin p(x) q(x) es verdadera para cada x del
universo, entonces escribimos:
x [p(x) q(x)]
y decimos que p(x) implica lgicamente q(x)
18
Equivalencia Lgica
Dos proposiciones p(x) y q(x) son lgicamente
equivalentes y escribimos:
x [p(x) q(x)]
Cuando la bicondicional p(x) q(x) para cada x del
universo.
19
Equivalencias e Implicaciones Lgicas
Para un universo dado y proposiciones p(x) y q(x) en la
variable x:
x [p(x) q(x)] [x p(x) x q(x)]
x [p(x) q(x)] [x p(x) x q(x)]
x [p(x) q(x)] [x p(x) x q(x)]
[x p(x) x q(x)] x [p(x) q(x)]
20
Otras Equivalencias Lgicas
Para un universo dado y las proposiciones p(x) y q(x):
x [p(x) q(x)] x [p(x) q(x)] ...(1)
x p(x) x p(x) ...(2)
x [p(x) q(x)] x [p(x) q(x)] ...(3)
x [p(x) q(x)] x [p(x) q(x)] ...(4)
(2), (3) y (4) Tambin son vlidas para x
21
Recproca, Contrapositiva e Inversa
Sean p(x), q(x) proposiciones abiertas en un universo
dado y la proposicin cuantificada:
x [p(x) q(x)]
Entonces:
Recproca:
x [q(x) p(x)]
Contrapositiva o Contrarecproca:
x [q(x) p(x)]
Inversa:
x [p(x) q(x)]
22
Negacin de proposiciones que implican
una sola variable
Para negar la proposicin x p(x) hacemos:

[x p(x)] x p(x)
y para la proposicin x p(x) hacemos:

[x p(x)] x p(x)
23
Para dos variables x, y:

x y p(x, y) y x p(x, y)
Para tres variables, hay 3!= 6 maneras diferentes de

ordenar los cuantificadores y todas son equivalentes:
x y z x,y,z p(x, y, z)
y x z y,x,z p(x, y, z)
y z x y,z,x p(x, y, z)

Proposiciones con ms de un cuantificador
.
.
.
.
.
.
24
Negacin de proposiciones que implican
ms de un cuantificador
Cuando el dominio de un predicado p(x) consiste en n

elementos, donde n es un entero positivo, las reglas de la
negacin de sentencias cuantificadas son exactamente las
mismas que las Leyes de Morgan.
Ejercicio: Cul es la negacin de la siguiente
proposicin?
x y [(p(x,y) q(x,y)) r(x,y)]

Lógica y Algebra Booleana

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Lógica y Algebra Booleana

Transféré par

Droits d'auteur :

Formats disponibles

Matemticas Discretas

Unidad I: Lgica y Algebra Booleana

Si p(x) = x > 3, p(x) se convierte en proposicin al

Existe un x tal que

Si p(x) es x > 3 y el universo son todos los nmeros

Para negar la proposicin x p(x) hacemos:

y para la proposicin x p(x) hacemos:

Para dos variables x, y:

Para tres variables, hay 3!= 6 maneras diferentes de

Cuando el dominio de un predicado p(x) consiste en n

Vous aimerez peut-être aussi