Inicio de la L ogica

Originalmente, la L ogica trataba con argumentos en el lenguage

natural.
Ejemplo: Es el siguiente argumento v alido?
Todos los hombres son mortales.
S ocrates es hombre.
Por lo tanto, S ocrates es mortal.
La l ogica debera poder usarse para demostrar que s.
1
Inicio de la L ogica
Otro ejemplo: Que pasa con el siguiente caso?
Algunas personas son mujeres.
S ocrates es una persona.
Por lo tanto, S ocrates es mujer.
En este caso deberamos decir que el argumento no es v alido.
2
Inicio de la L ogica
Pero los argumentos pueden ser m as complejos ...
Creo que todos los hombres son mortales.
Creo que S ocrates es hombre.
Por lo tanto, creo que S ocrates es mortal.
Es este argumento v alido? Por que?
Que signica creo? Que pasara si reemplazamos creo que por no
se si?
3
Paradojas en el lenguage natural
Un da de la pr oxima semana les voy a hacer una interro-
gaci on, y les aseguro que el da que se las haga van a estar
sorprendidos.
Que da voy a hacer la interrogaci on?
4
Matematica en el lenguage natural: Paradoja de Berry
Podemos representar los n umeros naturales usando oraciones del
lenguage natural: Mil quinientos veinte, el primer n umero, ...
El n umero de palabras en el Diccionario de la Real Academia es
nito.
El n umero de oraciones con a los m as 50 palabras tambien es nito.
5
Matematica en el lenguage natural: Paradoja de Berry
Sea B el siguiente n umero natural:
El primer n umero natural que no puede ser denido por una
oraci on con a lo m as cincuenta palabras tomadas del Diccionario
de la Real Academia.
B est a bien denido, pero con s olo 25 palabras. Tenemos una
contradicci on!
Que pas o?
6
Mas paradojas: Russell (1902)
Tambien pueden aparecer paradojas usando lenguage matem atico.
Sea A = {1, 2, 3}
A A? No.
Sea B = {{1, 2, 3}, {4, 5}}
A B? S.
B B? No.
7
Mas paradojas: Russell (1902)
Sea C el conjunto de todos los conjuntos que tienen a lo menos dos
elementos: C = {A, B, . . .}
C C? S.
Entonces podemos denir el siguiente conjunto: U = {X | X X}.
Tenemos: A U, B U, C U.
U U? Por denici on, U U si y s olo si U U. Tenemos una
contradicci on!
C omo denimos la noci on de conjunto?
8
Por que necesitamos la L ogica?
Necesitamos un lenguage con una sintaxis precisa y una sem antica
bien denida.
Queremos usar este lenguage en matem aticas.
- Denici on de objetos matem aticos: conjunto, n umeros naturales,
n umeros reales.
- Denici on de teoras matem aticas: teora de conjuntos, teora de los
n umero naturales.
- Denici on del concepto de demostraci on.
Tambien queremos usar este lenguage en computaci on. Por que?
9
Por que necesitamos la L ogica en computaci on?
Algunas aplicaciones:
- Bases de datos: Lenguages de consulta, lenguages para restricciones
de integridad.
- Inteligencia articial: Representaci on de conocimiento,
razonamiento con sentido com un.
- Ingeniera de software: Especicaci on de sistemas (lenguage Z),
vericaci on de propiedades.
- Teora de la computaci on: complejidad descriptiva, algoritmos de
aproximaci on.
- Criptografa: vericaci on de protocolos criptogr acos.
- Procesamiento de lenguage natural.
- ...
10
L ogica Proposicional: Sintaxis
Tenemos los siguientes elementos:
- Variables proposicionales (P): p, q, r, . . .
- Conectivos l ogicos: , , , ,
- Smbolos de puntuaci on: (, )
Cada variable proposicional representa una proposici on completa
e indivisible, que puede ser verdadera o falsa.
Ejemplo:
P = {socrates es hombre, socrates es mortal }.
11
L ogica Proposicional: Sintaxis
Conectivos l ogicos son usados para construir expresiones que
tambien pueden ser verdaderas o falsas.
Ejemplos:
socrates es hombre socrates es mortal
socrates es hombre (socrates es mortal )
Smbolos de puntuaci on son usados para evitar ambig uedades.
12
Sintaxis de la L ogica Proposicional: Denici on
Dado: Conjunto P de variables proposicionales.
Denici on: L(P) es el menor conjunto que satisface las siguientes
reglas:
1. P L(P).
2. Si L(P), entonces () L(P).
3. Si , L(P), entonces ( ) L(P), ( ) L(P),
( ) L(P) y ( ) L(P).
Ejercicio: Verique que ((p) (q r)) es una f ormula.
13
Sintaxis de la L ogica Proposicional: Denici on
La naturaleza de la denici on es inductiva.
- Permite construir programas recursivos para chequear si una
f ormula est a bien construida.
- Permite denir inductivamente conceptos asociados a las f ormulas.
- Permite demostrar inductivamente propiedades de las f ormulas.
14
Deniciones inductivas
Queremos denir una funci on la que indica cuantos smbolos tiene
una f ormula: la((p q)) = 5.
Caso base: Para cada p P, la(p) = 1.
Caso inductivo: la(()) = 3 +la() y la(( )) = 3 +la() +la(),
donde corresponde a , , o .
En el ejemplo: la((p q)) = 3 + la(p) + la(q) = 3 + 1 + 1 = 5.
Ejercicio: Dena las funciones pi y pd que indican cu ales son los
n umeros de parentesis izquierdos y derechos en una f ormula,
respectivamente.
15
Demostraciones inductivas
Lo siguiente parece ser cierto: Cada f ormula contiene el mismo
n umero de parentesis izquierdos y derechos.
pi() = pd(), para cada f ormula .
C omo podemos demostrar esto?
Podemos usar inducci on ...
16
Inducci on en los n umeros naturales
Principio de inducci on: para cada A N tal que
Caso base: 0 A,
Caso inductivo: si n A, entonces n + 1 A,
se tiene que A = N.
Este principio se usa para demostrar que los naturales tienen
alguna propiedad. Por que funciona?
Ejercicio: Dar un principio de inducci on para las f ormulas de un
lenguage proposicional L(P).
17
Inducci on en la l ogica proposicional
Principio de inducci on: Para cada A L(P) tal que
Caso base: p A, para cada p P,
Caso inductivo: si , A, entonces () A y ( ) A,
donde {, , , },
se tiene que A = L(P).
Por que funciona?
Ejercicio: Demuestre que cada f ormula contiene el mismo n umero
de parentesis izquierdos y derechos.
18
Inducci on en la l ogica proposicional: Ejercicios
1. Dena v() como el n umero de ocurrencias de variables
proposicionales .
2. Demuestre que para cada f ormula proposicional que no
contiene el smbolo se tiene que la() 3 v()
2
.
Que sucede si contiene el smbolo ?
Que sucede si las f ormulas de la forma (()) no son
permitidas?
3. Demuestre que un prejo propio de una f ormula no es una
f ormula.
19