Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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:
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)
(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.
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:
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
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
i=1
P(ai)
n
i=1
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
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:
24/11/2016
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.
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
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