Lógica de Predicados 1

Anuncio
Lógica de Predicados 1
rafael ramirez
rafael@iua.upf.es
Ocata 320
Porqué Lógica de Predicados
„
„
„
La logica proposicional maneja bien afirmaciones
compuestas de no, y, o, si…entonces
En situaciones con un conjunto finito (pequeño) de
elementos, esto es suficiente para hablar de existe,
todo, para todo.
Ejemplo: si tenemos 3 estudiantes A, B y C, tomando
p=“A tiene ojos cafes”, q=“B tiene ojos cafes”, r=“C tiene ojos cafes”
la afirmacion “existe un estudiante con ojos cafes” se
puede representar por p ∨ q ∨ r
2
Porqué Lógica de Predicados
„
En situaciones con conjuntos infinitos (muy grandes)
requríamos formulas infinitas, p.e. “cada persona es
hombre o mujer” se traduciría como:
(p0∨q0)∧ (p1∨q1)∧ (p2∨p2)∧…
„
Que pasa si queremos representar el argumento:
Todos los hombres son mortales,
Socrates es un hombre,
Por lo tanto, Socrates es mortal.
3
Lógica de Predicados
„
„
„
„
La logica de predicados (tambien llamada logica de primer
orden) es una extension de la logica proposicional que usa
variables para los objetos.
Si usamos x para representar a algun humano, la afirmacion
“cada persona es hombre o mujer” se puede representar como
∀x(H(x)∨M(x)) donde H(x)= “x es hombre”, M(x)= “x es mujer”
Estas variables se pueden combinar con símbolos de función
para representar objetos nuevos y con símbolos de predicado
para describir ralaciones entre objetos.
Ejemplo: si s(x) representa “el padre de x”, y
M(x,y) representa “x es menor que y”, entonces
“toda persona es menor que su padre” se representa
por ∀x M(x,s(x))
4
Ejercicio
Traduce:
5
Ejercicios
„
„
„
Ejercicio P4-#3a “no todas las aves pueden volar”
Ejercicio P4-#3b “todos los hombres son mortales. Socrates es
un hombre. Por lo tanto Socrates es mortal.”
Ejercicio P4-#3c “Existe un hermano de Ana que le gusta a
Blanca”
6
Ejercicios
„
Ejercicio P4-#3a “no todas las aves pueden volar”
¬(∀x (B(x) → F(x)))
„
Ejercicio P4-#3b “todos los hombres son mortales. Socrates es
un hombre. Por lo tanto Socrates es mortal.”
∀x (H(x) → M(x)) , H(s) | M(s)
„
Ejercicio P4-#3c “Existe un hermano de Ana que le gusta a
Blanca”
∃x (H(x,a) ∧ L(x,b))
7
Correctez y completez
„
„
Extenderemos los conceptos de interpretacion semántica╞ y
de deduccion natural ├ a la logica de predicados.
Obtenemos similares teoremas de correctez y completez:
A1, A2, … An ╞ B si y solo si A1, A2, … An ├ B
8
Alfabeto de la logica de 1er orden
„
„
„
„
„
„
Símbolos de puntuación
“(“ “,” “)”
Variables
x, y, z, x1, x2, … , u, v
Constantes
a, b, c, a1, …
Símbolos de función
f, g, f1,…
Simbolos de predicado
p, q, r, p1,…
Conectivos
Los mismos que logica proposicional + ∀, ∃
9
Términos y fórmulas atómicas
„
TERMINOS
„
Las variables y constantes son terminos
„
„
„
Si f es una función de n argumentos y t1,…,tn son terminos,
entonces f(t1,…,tn) es un término.
FORMULAS ATOMICAS
Si p es un predicado con n argumentos y t1,…,tn son terminos,
entonces p(t1,…,tn) es una fórmula atómica.
10
Términos y fórmulas atómicas
„
„
„
FORMULAS DE PRIMER ORDEN
Una fórmula atómica es una fórmula (de 1er orden)
Si A y B son fórmulas entonces
A→B, ¬A, A∨B, A∧B, ∀xA, ∃xA
son fórmulas
11
Algunas definiciones
„
„
„
„
El alcance de un cuantificador es la formula a la cual
se aplica.
Una ocurrencia de una variable esta acotada si esta
dentro del alcance de un cuantificador ∀x
Si no lo esta entonces la variable esta libre
Una formula esta cerrada si no tiene ninguna
ocurrencia libre de variables
12
Interpretaciones
Una interpretación I para una formula A es:
„
„
„
„
„
„
Un dominio D (un conjunto no vacío)
Una relacion en el dominio D para cada símbolo de
predicado en A
Una funciones en el dominio D para vada símbolo de
funcion en A
Un elemento de D para cada constante en A
En caso de que la formula sea abierta, un elemento de D
para cada variable libre de A
Nota que en el caso proposicional solo hay variables (p,q,…) y
nuestro dominio D es el conjunto {T,F}
13
Modelos
Sea A una formula cerrada
Definicion: A es verdad en I, o I es una modelo de A, si
v(A) = T bajo I. Notacion: I╞ A
Si A = ∀x p(a,x)
I1: D=N, p= ≤, a=1
I2: D=N, p= ≤, a=0
I3: D=Z, p= ≤, a=0
I1╞ A
No I2╞ A
No I3╞ A
14
Satisfacibilidad
Definicion: Una formula A es satisfacible si para alguna
interpretación I, I╞ A
Definicion: Una formula A es válida (notación ╞ A) si para
toda interpretación I, I╞ A
∀x p(a,x) satisfacible y es falsifiable
Que tal ∀x p(x) → p(a) ?
Que tal ∃x p(x) → p(a) ?
15
Fórmulas válidas (1)
16
Fórmulas válidas (2)
17
Tableaux semánticos
18
Tableaux semánticos
Ejercicio: Determinar con un tableau semántico si la
siguientes fórmulas son válidas o no
∀x ( p(x) ∨ q(x) ) → ( ∀x p(x) ∨ ∀x q(x) )
∀x A(x) → ¬∃x¬A(x)
19
Descargar