3.2 Lógica de predicados

Anuncio
Introducción a la Computación
Tc1001
Operadores Lógicos
3.2 Lógica de predicados
Predicados de primer orden
Lenguaje formal de la lógica de predicados (sintaxis)
Cuando decimos “Pitágoras nació en Grecia” declaramos una proposición. Esta
proposición tiene dos componentes principales:
Pitágoras
nació en Grecia
Sujeto
Término
predicado
El término es el objeto al cual se refiere la proposición, en este caso, Pitágoras. Y el
predicado es el que expresa algo sobre el término en la proposición.
Una proposición con predicado se forma al unir por lo menos un término con un
predicado. Estas uniones pueden ser de dos formas:
a. Si en la proposición el predicado expresa una propiedad o cualidad
verificada por el término se llama cópula afirmativa.
b. Si en proposición la propiedad expresada por el predicado no es
verificada por el término se llama cópula negativa.
Los predicados se representan mediante letras mayúsculas y los términos mediante
letras minúsculas.
Ejemplo:
p : Pitágoras
H (−) : nació en Grecia
El predicado es:
H ( p ) : Pitágoras nació en Grecia
Un predicado es una proposición en la que se afirma o se niega algo de uno o varios
objetos que son los términos del predicado.
El lenguaje formal de la lógica de predicados está formado por tres elementos:
términos, predicados y conectivos.
1. Términos. Según el objeto referenciado ( de quien se esté hablando ) el
objeto puede ser de tres tipos:
a. Término constante. El objeto referenciado es algo o alguien
específico. H ( p ) : Pitágoras nació en Grecia.
b. Término variable. El objeto referenciado no es algo o alguien
específico. F ( x ) : x es mayor que 3
c. Término función. El objeto referenciado viene dado por otro
objeto. G ( x, y ) : La hermana mayor de Nazira se llama Leyla. La
hermana mayor de x se llama y .
Ngj/2011
3.2 Lógica de predicados
79
Introducción a la Computación
Tc1001
Operadores lógicos
Si un término se refiere a todos los objetos que verifican una
propiedad expresada en el predicado, se le llama Término
universal. En caso contrario, cuando el término no se refiere a todos
los objetos se le llama Término existencial o particular.
2. Predicados. En función del número de términos referenciados, el
predicado puede ser:
a. Monádico o de atribución de propiedades a sujeto. Es el
predicado al que se refiere a un único término. H ( p ) : Pitágoras
nació en Grecia.
b. Poliádico o de relación entre términos. Es el predicado que se
refiere a más de un término. F ( x ) : x es mayor que 3 . G ( x, y ) :
La hermana mayor de Nazira se llama Leyla. La hermana mayor
de x se llama y .
Los predicados pueden ser: contradictorios o contrarios recíprocamente:
Son contradictorios uno del otro si cada uno de ellos se verifica en todos los
objetos que no verifican el otro.
Ejemplo:
F (x) y G (x ) son predicados contradictorios
F (x ) : Esa pared es blanca
G (x ) : Esa pared no es blanca
Son contrarios uno del otro si no pueden verificarse en un mismo objeto pero
puede existir un objeto que no verifica ni uno ni otro.
Ejemplo:
F ( x, y ) : Leyla es la hermana mayor de Nazira
F ( x, y ) y G ( x, y ) son predicados contrarios
G ( x, y ) : Leyla es la hermana menor de Nazira
3. Conectivos.
Negación,
conjunción,
disyunción,
implicación,
bicondicional:
a. Negación ¬ H ( p ) : Pitágoras no nació en Grecia
b. Conjunción H ( p ) : Pitágoras nació en Grecia y fue un gran
matemático
c. Disyunción F ( x, y ) : Leyla 0 es la hermana mayor de Nazira o es
la hermana menor.
d. Implicación G (x ) : si esa pared es blanca entonces yo necesito
lentes.
e. Bicondicional G (x ) : esa pared se ve blanca sí y sólo sí le da la
luz.
80
3.2 Lógica de predicados
Ngj/2011
Introducción a la Computación
Tc1001
Operadores Lógicos
Cuantificadores
Existen cuatro maneras de unir términos con predicados para obtener
proposiciones:
• A (universal afirmativo): Término universal con cópula afirmativa
“Todo…es…”
• E (universal negativo): Término universal con cópula negativa
“Ninguno… es…”
• I (existencia afirmativo): Término existencial con cópula afirmativa
“Alguno… es…”
• O (existencial negativo): Término existencial con cópula negativa
“Algún… no es…”
Ejemplo:
M (x ) : es mortal (predicado) en el dominio D: todas las personas.
A: Todas las personas son mortales ∀xM (x )
E: Ninguna persona es mortal ∀x ¬ M (x )
I: Alguna persona es mortal ∃xM (x )
O: Alguna persona no es mortal ∃x ¬ M (x)
Ngj/2011
3.2 Lógica de predicados
81
Introducción a la Computación
Tc1001
Operadores lógicos
Proposición abierta: P: x es mayor que uno
P (x ) : x > 1
P(5) : V
P (3) : V
P (0 ) : F ⇒
no siempre es verdadero
no siempre es falso
P: para algunos valores de x, x es mayor que uno
∃x
→
⇒
cuantificador: “para algunos”
“existe por lo menos uno”
Una frase declarativa es una proposición abierta si
1. contiene una o más variables
2. no es una proposición, pero
3. se convierte en una proposición cuando la variable que aparece se reemplaza
por un valor o algo permisible
Lo permisible se encuentra en:
un universo, universo de discurso
Universo contiene la opción que se puede considerar o permitir para la variable o
variable que interviene en la proposición abierta
∃ x P(x )
p ( x ) : x − 3 es un número impar dentro de los reales. U = Re
q(x, y ) : y − 3 es un número impar y x + 2 es un número entero dentro de los reales.
U = Re ∃ xy q(x, y )
∃→
existencial: existe como
Cuantificadores
∀→
universal: para todos
Ejemplos:
∀x
sen 2 x + cos 2 x = 1
∃ x , y x 2 + y 2 = 41 la suma de dos cuadrados es 41 x = 4
Si
∀x
∃x
Si
∀xp(x ) es verdad entonces ∃x es verdadero
Si
y =5
es V ⇒ ∃x es verdad
es F ⇒ ∀x es falso
∀xp (x ) ⇒ ∃xp (x ) : Significa que
⇒: implica lógicamente (con respecto al valor de verdad)
82
3.2 Lógica de predicados
Ngj/2011
Introducción a la Computación
Tc1001
Operadores Lógicos
En una implicación
Proposición :
∀x[ p( x ) → q( x )]
Contrapositiva:
Recíproca:
Inversa:
∀x[¬q(x ) → ¬p(x )]
∀x[q(x ) → p(x )]
∀x[¬p( x ) → ¬q( x )]
Equivalencia
∃x[ p(x ) ∧ q(x )] ⇒ ∃xp(x ) ∧ ∃xq(x )
∃x[ p(x ) ∨ q(x )] ⇒ ∃xp(x ) ∨ ∃xq(x )
∀x[ p(x ) ∧ q(x )] ⇒ ∀xp(x ) ∧ ∀xq(x )
∀x[ p(x ) ∨ q(x )] ⇒ ∀xp(x ) ∨ ∀xq(x )
Variable libre → x cuando
Variable libre → x cuando
∀x
∃x
Contraejemplo: un valor de x que hace que la proposición tenga el valor contrario
Reglas para negar proposiciones con cuantificadores:
¬ [ ∀x p ( x)
] ⇒ ∃x ¬
¬ [ ∃x p ( x) ] ⇒ ∀x ¬
¬ [ ∀x ¬ p ( x) ] ⇒ ∃x
¬ [ ∃x ¬ p ( x) ] ⇒ ∀x
Ngj/2011
p ( x)
p ( x)
p ( x)
p ( x)
3.2 Lógica de predicados
83
Introducción a la Computación
Tc1001
Operadores lógicos
84
3.2 Lógica de predicados
Ngj/2011
Descargar