Está en la página 1de 13

Nociones de Lgica

Lgica de Predicados

24/11/2016

Nociones de Lgica
Concepto de Lgica de Predicados
Es la parte de la lgica que estudia las funciones proposicionales y su
cuantificacin.
Para definir funcin proposicional, se requiere considerar los siguientes elementos:

1. El universo del discurso, U, el cual consiste en un espacio fijo dado de


elementos, objetos, cosas, individuos, etc., a los cuales hace referencia la
funcin proposicional.
2. Una variable denotada x, y, z, , que es la representacin simblica de los
elementos de U, es decir, dicha variable toma valores en U.

24/11/2016

Nociones de Lgica
Funcin Proposicional
Una funcin proposicional se define como la expresin P(x) tal que se convierte
en proposicin cuando se sustituye x por un valor particular arbitrario perteneciente
al universo del discurso.
Ntese entonces que la funcin proposicional no es una proposicin en s
misma, por lo tanto, no se puede decir nada acerca de su valor de verdad hasta
tanto no se sustituya la variable por un valor del Universo. Ntese tambin que la
definicin anterior hace referencia a una funcin proposicional de una sola variable,
x; la definicin puede ser fcilmente generalizada a funciones proposicionales de
varias variables.

24/11/2016

Nociones de Lgica
Funcin Proposicional
Ejemplo:
U = conjunto de los seres humanos.
P(x): x es habitante de Venezuela.

(No es proposicin)

Sea x = Hctor, entonces:


P(Hector): Hector es habitante de Venezuela.

(Proposicin)

24/11/2016

Nociones de Lgica
Funcin Proposicional
De acuerdo al nmero de variables que intervienen en la definicin de la funcin
proposicional, sta recibe diferentes nombres:
p
Proposicin simple, frmula bien formada, etc.
P
Proposicin compuesta, frmula bien formada, etc.
P(x)
Funcin proposicional de una variable, predicado o propiedad.
P(x, y) Funcin proposicional de dos variables, relacin binaria.
...
P(x1, x2, ..., xn) Funcin proposicional de n variables, relacin n-aria.

En una funcin proposicional hasta que no se sustituyan las variables que


intervienen en ella por valores particulares de U, no se puede decidir sobre su
veracidad o falsedad.

24/11/2016

Nociones de Lgica
Funcin Proposicional
Ejemplos:
Sea el Universo de los humanos, entonces las
siguientes son funciones proposicionales
definidas en ese universo, la primera es un
predicado (o funcin proposicional) de una
sola variable y la segunda es una relacin
binaria entre los elementos de U:

Sea U el conjunto de los nmeros enteros, las


siguientes son funciones proposicionales de
dos y tres variables respectivamente:

P(x): x trabaja en la Universidad.


Q(x, y): x vive cerca de y.

Se puede observar que:

Al tomar elementos particulares de U para x, y


y sustituirlos en P(x) y Q(x, y), se podr
concluir sobre la verdad o falsedad de las
proposiciones resultantes.
24/11/2016

M(x, y): x es menor que y.


S(x, y, z): x+y=z

M(4,8) verdadero
M(9,5) falso
S(3,4,10) falso
S(3,5,8) verdadero
6

Nociones de Lgica
Cuantificador y Proposicin Cuantificada
Hay otra forma de decidir sobre la veracidad de la funcin proposicional, y consiste
en formar proposiciones cuantificadas o categricas mediante el uso de
cuantificadores.
Universal: x[P(x)], (x) P(x): para todo x perteneciente a
U, se verifica P(x).
Cuantificadores

Existencial: x[P(x)], (x)/P(x): existe al menos un x


perteneciente a U, tal que verifica P(x).

Un cuantificador es un "modificador" de la funcin proposicional. Ellos tienen la


propiedad de que al anteponerlos a una funcin proposicional, la convierten en
proposicin sin necesidad de sustituir sus variables por elementos del universo del
discurso U.

24/11/2016

Nociones de Lgica
Cuantificador y Proposicin Cuantificada
As, si U={a1, a2, ..., an}, entonces x[P(x)] y x[P(x)] tienen el siguiente desarrollo:

P(ai)
n

x[P(x)] P(a1) P(a2) ... P(an) =

i=1

El cuantificador universal que precede a P(x) indica que:


P(a1) v, y P(a2) v, y ..., y P(an) v. lo que corresponde a la conjuncion de las
proposiciones P(ai), i = 1, ..., n.

P(ai)
n

x[P(x)] P(a1) P(a2) ... P(an) =

i=1

El cuantificador existencial que precede a P(x), indica que:


P(a1) v, o P(a2) v, o ..., o que P(an) v, lo que corresponde a la disyuncin de las
proposiciones P(ai), i = 1, ..., n.
Nota: El cuantificador universal se detecta por la presencia en la oracin de palabras como "todo",
"cualquiera", "cada uno", entre otras, y el cuantificador existencial por las palabras "alguno", hay",
"existe", "algn", "al menos uno".
24/11/2016

Nociones de Lgica
Cuantificador y Proposicin Cuantificada
Ejemplo:
Sea U = El conjunto de los estudiantes de
FACYT.
Las variables x, y U.
B(x): x es bachiller.
F(x): x estudia Fsica.
E(x, y): x y y estudian el mismo ao.
Entonces se verifica que:
x[B(x)] v
x[F(x)] f
x[F(x)] v
xy[E(x, y)] f
xy[E(x, y)] f
24/11/2016

x[B(x)] v
x[F(x)] v
x[F(x)] f
xy[E(x, y)] v
xy[E(x, y)] v

La negacin de una proposicin cuantificada


verifica las siguientes equivalencias:
x[P(x)]
Desarrollo del x.
( P(a1) P(a2) ... P(an) )
Por la Ley de De Morgan de
P(a1) P(a2) ... P(an)
Desarrollo del x.
xP(x)
Por lo cual tenemos que:
x[P(x)] x[P(x)]
x[P(x)] x[P(x)]
9

Nociones de Lgica
Tipos de Proposiciones Cuantificadas
Sean S(x) y P(x) dos funciones proposicionales definidas en un universo dado U, las cuatro
formas tpicas de las proposiciones cuantificadas o categricas se representan como:

Proposicin universal afirmativa.


Todo S es P
x [S(x) P(x)]
Proposicin universal negativa.
Ningn S es P
x S(x) P(x)
Proposicin particular o existencial afirmativa.
Algn S es P
x S(x) P(x)]
Proposicin particular o existencial negativa.
Algn S es no P
x S(x) P(x)

24/11/2016

Nota: Es importante aclarar que una


proposicin
cuantificada
puede
tambin
tomar
otra
forma,
dependiendo del contenido de las
funciones proposicionales que la
constituyan y del universo del
discurso que se defina.
En la
prctica, las cuatro proposiciones
cuantificadas anteriores son las ms
comunes, para el caso de funciones
proposicionales
de
una
sola
variable.

10

Nociones de Lgica
Tipos de Proposiciones Cuantificadas
Ejemplos:
Todas las sustancias que tienen la facultad de
dar coloracin azul al papel rojo de tornasol
son cidas.
Esta proposicin es del tipo:
Todo S es P.
Sea U=el conjunto de las sustancias qumicas.
x U.
C(x): x tiene la facultad de dar coloracin azul
al papel rojo de tornasol.
A(x): x es cido.

Algunos dirigentes del gobierno no son


graduados universitarios.
Esta proposicin es del tipo:
Algn S es no P.

Sea U=conjunto de los seres humanos. x U.


D(x): x es dirigente del gobierno.
G(x): x es graduado universitario.
x[D(x) G(x)]

xC(x) A(x)]
24/11/2016

11

Nociones de Lgica
Tipos de Proposiciones Cuantificadas
Ejemplos:
Los buenos consejos nunca hacen dao.
Esta proposicin es del tipo:
Ningn S es P.
Sea
U = el conjunto de los mensajes. x
U.
C(x): x es un buen consejo.
D(x): x hace dao.
xC(x) D(x)

24/11/2016

Sea U = el conjunto de los nmeros naturales.


x, y, z U.
S(x, y, z): x + y = z
P(x, y, z): x. y = z
M(x, y): x < y
Simbolizar las siguientes proposiciones:
Para cualquier x y cualquier y, hay un z tal que
x+y=z
xyz[S(x, y, z)]
Ningn x es menor que 0
x[R(x, 0)] x[R(x, 0)]
Para todo x, x + 0 = x
x[S(x, 0, x)]
Hay un x tal que x. y = y para todo y
xy[P(x, y, y)]
12

Nociones de Lgica
Equivalencias e Implicaciones Lgicas con Cuantificadores
x, y U,
P(x), Q(x) y P(x, y) funciones proposicionales y
R una proposicin cualquiera.
Las siguientes son equivalencias e implicaciones lgicas que usan cuantificadores:
Sean

01
02
03
04
05
06
07
08
09
10

x[P(x)] x[P(x)]
x[P(x)] x[P(x)]
x[P(x)] x[P(x)]
x[P(x)Q(x)] x[P(x)] x[Q(x)]
x[P(x)] x[Q(x)] x[P(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)Q(x)] x[P(x)]x[Q(x)]
x[P(x)Q(x)] x[P(x)]x[Q(x)]
x[P(x)]R x[P(x)R]

24/11/2016

11
12
13
14
15
16
17
18
19
20

x[P(x)]R x[P(x)R]
x[P(x)]R x[P(x)R]
x[P(x)]R x[P(x)R]
x[RP(x)] R x[P(x)]
xy[P(x, y)] yx[P(x, y)]
xy[P(x, y)] yx[P(x, y)]
yx[P(x, y)] xy[P(x, y)]
xy[P(x, y)] yx[P(x, y)]
x[P(x)Q(x)] x[P(x)Q(x)]
x[P(x)Q(x)] x[P(x)Q(x)]
13