PONTIFICIA UNIVERSIDAD CATLICA DEL ECUADOR SEDE IBARRA

INTRODUCCIN

Ing. Csar Grijalva

INTRODUCCIN
La

lgica proposicional ?.

La lgica proposicional es un sistema formal diseado para analizar ciertos tipos de argumentos. En lgica proposicional, las frmulas representan proposiciones y las conectivas lgicas son operaciones sobre dichas frmulas, capaces de formar otras frmulas de mayor complejidad.

LGICA DE PREDICADOS PREMBULO Qu es lgica de predicados ?.

La lgica de primer orden tambin llamada lgica de predicados o clculo de predicados, es un sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden.

CLCULO DE PREDICADOS INFERENCIA

La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones establecidas. Un argumento, por ejemplo es una inferencia, donde las premisas son los datos o expresiones conocidas y de ellas se desprende una conclusin. Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.

CLCULO DE PREDICADOS INFERENCIA

Inductiva: (de lo particular a lo general) . Deductiva: (de lo general a lo particular). En este caso se encuentran MPP: Modus Ponendo Ponens y MTT: Modus Tollendo Tollens que de acuerdo a la tabla de verdad de la condicional son dos formas de establecer una inferencia vlida. Transductiva: (de particular a particular o de general a general). Abductiva: es semejante a la deductiva, al igual que el caso inductivo y transductivo no es una forma vlida de obtener conclusiones en matemticas o en lgica.

CLCULO DE PREDICADOS INFERENCIA

El Clculo predicados analiza la estructura interna de la lgica de proposiciones. A continuacin se formaliza el ejemplo: x: Todos los hombres son mortales. Hx: Scrates es hombre. Mx:Scrates es mortal. x(H(x) M x )Premisa H(s) Premisa M(s) Conclusin donde s es una constante que representa al individuo Scrates y los predicados H y M son definidos como: Hx: x es un hombre Mx: x es mortal Este razonamiento se traduce en la siguiente frmula del clculo de predicados. x(H(x) M x ), H s M(S)

CLCULO DE PREDICADOS
En trminos de lgica hay que distinguir entre objetos y propiedades que satisfacen o no esos objetos, de tal manera que hablaramos de propiedades como predicados y de objetos como sujetos.

Ejemplos:

Objetos: gente, casas, nmeros, planetas,... Propiedades: rojo, pequeo, primo,...

CLCULO DE PREDICADOS
Muchas proposiciones lgicas involucran sujetos u objetos, y su valor de verdad depende de estos. Ejemplo: Ana y Mara son hermanas : V Pedro y Juan son hermanos : F H(a, m) tiene 2 argumentos o es de aridad 2. H(p, j) tiene 2 argumentos o es de aridad 2. Llamamos predicado a la propiedad que se esta considerando, ejemplo: Ser hermanos Ser numero primo

A los sujetos u objetos los llamamos trminos. Ejemplo: Pablo es alumno. Se simboliza de la siguiente forma, donde Pablo es el sujeto y es alumno es el predicado: A(p) tiene un argumento que es p

LOS CUANTIFICADORES

Los cuantificadores son smbolos utilizados para indicar cuntos elementos de un conjunto dado cumplen con cierta propiedad. Existen muchos tipos de cuantificadores, pero quizs los ms estudiados y utilizados sean:
CUANTIFICADOR UNIVERSAL CUANTIFICADOR EXISTENCIAL

LOS CUANTIFICADORES
El clculo de predicados permite tambin el uso de cuantificadores para referirse a colecciones de objetos. Son 2 cuantificadores: Universal o General Todos los gatos tienen cola. Existencial o Particular Existen nmeros primos.

LOS CUANTIFICADORES
Podemos simbolizar los cuantificadores, estos pueden ser, segn el lenguaje natural. UNIVERSALES Todo, ningn o ninguno, cada, cualquiera, la forma de simbolizar es (conjuncin) o tambin as: , si

pongo x Se lee para todo x

LOS CUANTIFICADORES
Podemos simbolizar los cuantificadores, estos pueden ser, segn el lenguaje natural. PARTICULARES Algn, algunos, algn no, hay un, ciertos, ciertos no, la forma de simbolizar es (disyuncin) o tambin as: , si pongo (x) Se lee algn x

o existe un x

Elementos sintcticos del clculo de predicados.

Incluye todos lo del clculo de proposiciones: Constantes, variables proposicionales, conectores lgicos. Adems tiene los trminos, predicados y cuantificadores.

El Universo del Discurso o Dominio es el conjunto de individuos considerados bajo un cierto contexto. A cada individuo se identifica por una constante nica.

Predicados
Un predicado como por ejemplo Mara es la madre de Juan se puede escribir. M( m, j) donde el smbolo M es el predicado es madre de, m,j representan los individuos considerados. Obsrvese que el orden es importante.

Predicados
El nmero de argumentos se denomina la aridad del predicado. Los valores de verdad de predicados binarios se pueden dar en una tabla: filas son el 1er argumento y columnas el 2do argumento Ejemplo: El predicado mayor que '>'

Formulas atmicas y compuestas

Un predicado seguido por su lista de argumentos es una frmula atmica. Ej. madre(Mara, Juana) Las frmulas se pueden combinar mediante conectores lgicos. Ejemplo: madre(Maria, Juana) ~madre(Juana, Maria).

gato(Tom) tieneCola(Tom).

Variables y Particularizaciones
Muchas veces es deseable no particularizar el individuo. En ese caso se puede indicar mediante una variable, Ejemplo: x, y, z. Ejemplos: gato(x) tieneCola(x) madre(x, y) ~madre(y,x) As mismo, podemos dar un nombre a la expresin, ejemplo: A = gato(x) tieneCola(x)

Particularizacin
Las variables pueden sustituirse por elementos del universo de discurso. Para indicar que la variable x se reemplaza por Tom' se utiliza la siguiente notacin Ejemplo:

lo cual produce gato(Tom) tieneCola(Tom).

Cuantificador Universal
Con frecuencia se tienen predicados que aplican a todos los individuos de un dominio. Esto se indica mediante del cuantificador universal.

xA
se lee para todo A se denomina el mbito o alcance La variable x esta ligada por el cuantificador (una variable no ligada esta libre).

Cuantificador Particular
Nos permite indicar que el predicado es verdadero para al menos un elemento del dominio. Esto se indica as.

xA
y se lee Existe al menos un x tal que A

Cuantificadores
EJEMPLOS: Nadie es perfecto. Toda persona tiene una madre. Todos los perros son mamferos. Algunos perros son marrones.

Variables libres y ligadas

Consideremos el siguiente ejemplo:

x(P(x) Q(y)) yR(y)

la variable y es libre en el mbito del para todo, pero est ligada en el mbito del existe.
Al hacer una sustitucin, debe tenerse cuidado de no afectar variables ligadas y prevenir colisiones de nombres, por ejemplo:

Variables libres y ligadas

(x(P(x) Q(y))yR(y)) x(P(x) Q(z))yR(y)

Interpretacin y Validez
Para poder determinar la verdad o falsedad de una expresin en clculo de predicados es necesario tener: El universo del discurso claramente definido, una constante nica asignada a cada trmino del universo del discurso, un trmino del universo del discurso asignado a cada variable libre, y una asignacin para cada predicado dentro de la expresin.

Interpretacin de los cuantificadores.

Dado un universo de discurso {a1,...,an} y un predicado P(x), la interpretacin de xP(x) es:

xP(x) P(a1) P(a2) P(an)

De forma similar, el cuantificador existencial se interpreta de la siguiente manera: xP(x) P(a1) P(a2) P(an)